New posts in first-order-logic

Show that $\exists x \exists y (\varphi \land \varphi^{\frac{y}{x}} \land x \neq y)\models \forall x \exists y (\varphi^{\frac{y}{x}} \land x \neq y)$

logic first-order-logic

Why ZFC+FOL cannot uniquely describe/characterize R or N?

set-theory first-order-logic

Counter-example of o-minimal structure but do not admit elimination of quantifiers

logic first-order-logic model-theory quantifier-elimination

Formalizing the meta-language of First order Logic and studying it as a formal system

logic first-order-logic meta-math metalogic

What will be the negation of this statement:

logic predicate-logic first-order-logic quantifiers

Where are the model theory concepts from?

logic soft-question first-order-logic model-theory

A question on the diagonal lemma

logic first-order-logic predicate-logic fixed-point-theorems

Is it possible for a set of well-formed formulas to satisfy a formula and its negation?

first-order-logic

Model of Robinson Arithmetic but not Peano Arithmetic

logic induction model-theory first-order-logic peano-axioms

Logically Necessary but NOT Tautologically necessary? Help

logic propositional-calculus first-order-logic predicate-logic

A *finite* first order theory whose finite models are exactly the $\Bbb F_p$?

logic field-theory finite-fields model-theory first-order-logic

Simple Fitch Proof without using DeMorgan's Law

logic solution-verification proof-explanation first-order-logic predicate-logic

โŠขโˆƒ๐‘ฅ(๐œ™โŸนโˆ€๐‘ฅ๐œ™) using Hilbert-style proof [duplicate]

logic first-order-logic predicate-logic formal-proofs

Is there a model of $\operatorname{Th}(\mathbb{R})$ which is not a complete ordered field?

logic first-order-logic model-theory second-order-logic

Infinitely many axioms of ZFC vs. finitely many axioms of NBG

logic soft-question set-theory first-order-logic philosophy

Why is quantifier elimination desirable for a given theory?

first-order-logic predicate-logic model-theory quantifiers quantifier-elimination

If $\Gamma \cup \{ \neg \varphi \}$ is inconsistent, then $\Gamma \vdash \varphi$

logic first-order-logic

Distributive property of division over addition and logic

algebra-precalculus first-order-logic quantifiers

English statements to first order logic?

first-order-logic

Can't EF game theory be applied to finite languages WITH function symbols?

logic model-theory game-theory first-order-logic