Models in predicate logic
126549
Confusion over the definition of "model"
62936
Proving equivalencies of two versions of the Axiom of Choice
126713
Strong induction and vacuous truth
106670
Existence of vector space complement and axiom of choice
31392
Examples and Counterexamples of Relations which Satisfy Certain Properties
125950
Proof strategy involving first order logic for existential quantification at very beginning
85338
Equivalence relations on classes instead of sets
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.
42410
How do I dynamically construct a predicate method from an expression tree?
78290
Countable axiom of choice: why you can't prove it from just ZF
151561
Proving 'Law of Excluded Middle' in Fitch system
53199
First-Order Logic: Formalisation of the phrase "Not all that glitters is gold"
48606
Help with a Predicate Logic homework proof
87928
Proof of logical equivalence of biconditional and other proposition
107172
Countable nouns and determiners
102824
Countable set of truth assignments satisfying set of well formed formulas
29110
Propositional Intuitionistic Logic Question