Newbetuts
.
New posts in model-theory
Do the axioms of set theory actually define the notion of a set?
logic
soft-question
set-theory
model-theory
Axiom Systems and Formal Systems
logic
model-theory
proof-theory
In what sense of "structure" do group homomorphisms "preserve structure"?
group-theory
terminology
model-theory
First order logic: if A sentence is satisfiable then it is satisfiable in the natural number + even function
logic
first-order-logic
model-theory
natural-numbers
satisfiability
Keisler measures obtained from hyperfinite samples
model-theory
nonstandard-analysis
Distinguishing non-isomorphic groups with a group-theoretic property
group-theory
logic
reference-request
model-theory
group-isomorphism
In plain language, what's the difference between two things that are 'equivalent', 'equal', and 'identical'?
logic
terminology
model-theory
Showing any countable, dense, linear ordering is isomorphic to a subset of $\mathbb{Q}$
elementary-set-theory
order-theory
model-theory
I don't understand Gödel's incompleteness theorem anymore
logic
model-theory
incompleteness
provability
How to verify satisfialibility in a model? (Confusions with Gödel's Completeness Theorem)
logic
model-theory
Cardinality of a language $L_\Sigma$ over a decidable signature $\Sigma$
first-order-logic
model-theory
cardinals
formal-languages
How is the Gödel's Completeness Theorem not a tautology?
logic
model-theory
Is there a 0-1 law for the theory of groups?
group-theory
logic
finite-groups
model-theory
first-order-logic
Prev