New posts in model-theory

Does the existence of a $\mathbb{Q}$-basis for $\mathbb{R}$ imply that choice holds up to $\frak c$?

linear-algebra set-theory model-theory axiom-of-choice

The complexity of finiteness

logic set-theory model-theory axiom-of-choice second-order-logic

Preserving equality between different mathematical objects

soft-question model-theory foundations

Can Russell's paradox, Halting problem and Godel's Incompleteness theorem be generalized?

set-theory model-theory computational-mathematics

Embedding of structures in mathematical logic

logic model-theory

A sentence false in a field of characteristic $0$ but true in all fields of positive characteristic?

logic field-theory model-theory

Does a finite first-order theory which has a model always have a finite model?

Most astonishing applications of compactness theorem outside logic

logic model-theory compactness big-list first-order-logic

Is there a bijection between the reals and naturals?

set-theory real-numbers model-theory

Algebraic extensions are isomorphic if the same polynomials have roots

abstract-algebra field-theory model-theory axiom-of-choice

What lessons have mathematicians drawn from the existence of non-standard models?

model-theory philosophy foundations nonstandard-models

Are there non-standard counterexamples to the Fermat Last Theorem?

number-theory logic model-theory nonstandard-analysis reverse-math

Can we write down a sentence $\sigma$ which will characterize all groups in which any two non-identity element have the same order?

abstract-algebra logic model-theory

Compactness and axiomatisability

logic first-order-logic model-theory

Quantifier elimination for $\mathbb Z$ as a group?

logic model-theory quantifier-elimination

Is there a model of $Th(\frac{\mathbb{R}}{\mathbb{Z}})$ which is a periodic group?

group-theory logic model-theory

$2\mathbb Z$ is not a definable set in the structure $(\mathbb Z, 0, S,<)$

logic model-theory

Expressing associativity with only two variables

abstract-algebra logic model-theory universal-algebra associativity

Why can't we prove consistency of ZFC like we can for PA?

logic set-theory model-theory incompleteness

A clarification of this model theory question regarding when two theories are the same