Newbetuts
.
New posts in model-theory
Confusion of the decidability of $(N,s)$
logic
model-theory
How to finish proof that $T$ has an infinite model?
logic
model-theory
What is the point of expanding a structure $M$ by constants from $M$ itself? [duplicate]
logic
model-theory
Can't EF game theory be applied to finite languages WITH function symbols?
logic
model-theory
game-theory
first-order-logic
Symmetry groups corresponding to terms in an algebra
group-theory
logic
finite-groups
model-theory
universal-algebra
Non-isomorphic structures of the same cardinality which are elementary equivalent
logic
examples-counterexamples
cardinals
model-theory
Proof- vs. model-theoretic definitions of extension and of conservative extension
logic
model-theory
first-order-logic
formal-languages
proof-theory
Confusion over the definition of "model"
logic
definition
propositional-calculus
model-theory
Do we know the index of the minimal stage in the constructible universe which is a model of $ZFC$?
logic
set-theory
model-theory
foundations
Tennenbaum's theorem without overspill
model-theory
computability
peano-axioms
nonstandard-models
Continuations in mathematics: nice examples?
abstract-algebra
category-theory
model-theory
monads
Why continuum hypothesis implies the unique hyperreal system, ${}^{\ast}{\Bbb R}$?
set-theory
model-theory
nonstandard-analysis
Infinitary logic doesn't have (finite) Robinson property: a counterexample?
logic
model-theory
On Pudlak's "Life in an Inconsistent World"
logic
model-theory
proof-theory
Whats wrong with this model theoretic proof of the twin primes conjecture?
number-theory
first-order-logic
model-theory
fake-proofs
prime-twins
Fraïssé limits and groups
group-theory
logic
model-theory
Henkin vs. "Full" Semantics for Second-order Logic and Multi-Sorted First Order Interpretations
logic
model-theory
higher-order-logic
What is Model Theory
logic
soft-question
model-theory
Is Gödel's incompleteness theorem provable without any model-theoretic notion?
logic
model-theory
incompleteness
Comparing Category Theory and Model Theory (with examples from Group Theory).
soft-question
category-theory
model-theory
Prev
Next