MATH
Login Or Sign up

List Question

15
75
Views

Need help for a proof in propositional logic about the relevant parts of a valuation.

Published on
#proof-verification #proof-writing #propositional-calculus #metalogic
286
Views

Are there situations where "isomorphism implies elementary equivalence" fails?

Published on
#logic #model-theory #metalogic
37
Views

closed terms in $\mathcal{N}^*$ are the natural numbers

Published on
#model-theory #metalogic
99
Views

Judgment-level negation $\nvdash$

Published on
#logic #first-order-logic #predicate-logic #provability #metalogic
125
Views

Unique parsing means?

Published on
#first-order-logic #metalogic #parsing
1.8k
Views

Expressing "does not imply''

Published on
#logic #propositional-calculus #logic-translation #metalogic
1.4k
Views

What is the difference between $\leftrightarrow$, $\iff$, and $\equiv$, especially when used in the same text?

Published on
#logic #meta-math #metalogic
306
Views

In what formal system is Godel's Incompleteness Theorem (or similar statements of undecidability) proven?

Published on
#logic #incompleteness #meta-math #metalogic
61
Views

Do some rules of syntax permit a sentence to literally be an element of a set?

Published on
#elementary-set-theory #logic #reference-request #definition #metalogic
90
Views

How to show that the intersection of two elementary classes is a elementary class

Published on
#metalogic
150
Views

Intuition behind structural weakening

Published on
#propositional-calculus #metalogic
161
Views

Show that gamma has a model if and only if each set in gamma has a model

Published on
#logic #model-theory #metalogic
127
Views

Consequence of Löwenheim-Skolem theorem

Published on
#logic #model-theory #metalogic
147
Views

Prove that if two theories have the same countably infinite models, then they have the same models of each infinite cardinality.

Published on
#logic #model-theory #metalogic
364
Views

Show that the compactness theorem does not apply to infinite logic

Published on
#logic #metalogic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.