New posts in model-theory

What is the importance of “variety of algebras” in Universal Algebra?

model-theory universal-algebra

Structure on $\mathbb{R}$ such that homomorphisms $\mathbb{R} \to \mathbb{R}$ are exactly polynomials?

linear-algebra polynomials model-theory

Do ordered fields and archimedian ordered fields have the same first-order theory?

logic model-theory

Does the absolute fragment of second-order logic satisfy a strong Lowenheim-Skolem property?

logic set-theory model-theory forcing second-order-logic

How is "interpretation" used differently in propositional vs. first-order logic?

logic definition propositional-calculus first-order-logic model-theory

Are there uncountably infinite complete extensions of finite theories of the natural numbers?

elementary-number-theory logic model-theory incompleteness

Constructible problems for which the solution is non-constructible?

model-theory constraints constructive-mathematics

A model of geometry with the negation of Pasch’s axiom? [duplicate]

geometry model-theory axioms

Complete calculus of first-order logic working for empty structures too

logic model-theory

Show that binary < "less than" relation is not definable on set of Natural Numbers with successor function

logic model-theory

Exercise 2.5.5 david marker's [closed]

logic first-order-logic model-theory

Is many sorted logic really a unifying logic?

logic model-theory proof-theory type-theory higher-order-logic

Proving that a propositional theory of any cardinality has an independent set of axioms

logic model-theory propositional-calculus

What's the motivation behind saturated models?

model-theory

Is there a simple way of proving that $\text{GL}_n(R) \not\cong \text{GL}_m(R)$?

matrices group-theory model-theory

Does "=" have to be interpreted as equality?

relations model-theory proof-theory

Axiom of Choice and Determinacy

set-theory axiom-of-choice model-theory descriptive-set-theory

Why isn't there a first-order theory of well order?

model-theory first-order-logic

Is Foundational Research a Dead Field?

logic soft-question set-theory model-theory advice

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

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