New posts in model-theory

Which ordinals can be "mistaken for" $\aleph_1$?

set-theory model-theory cardinals ordinals forcing

Kees Doets's definitions of logical consequence

logic first-order-logic predicate-logic model-theory satisfiability

A question on linear orders and elementary equivalence

logic model-theory

Elementary equivalence of free groups

group-theory model-theory infinite-groups

Can a model of set theory think it is well-founded and in fact not be?

logic set-theory model-theory

Is there a Second-Order Axiomatization of ZF(C) which is categorical?

logic set-theory model-theory foundations first-order-logic

Finitely axiomatizable theories

logic model-theory

Decidability vs Completeness

logic model-theory proof-theory incompleteness decidability

Is it circular to define the Von Neumann universe using "sets"?

set-theory model-theory philosophy foundations

If the set of S-formula in FOL is infinite, then what means a model can interpret this set?

logic model-theory

In what sense is $\sf ZFC$ "stronger" than Peano arithmetic?

logic model-theory formal-languages provability

advantage of first-order logic over second-order logic

logic model-theory higher-order-logic

Model existence theorem in set theory

logic set-theory model-theory

Category theory from the first order logic point of view

logic category-theory model-theory foundations

Models vs. Structures

logic terminology model-theory

Is there a first-order-logic for calculus?

logic model-theory calculus

Non-standard models of arithmetic for Dummies (2)

set-theory model-theory

Relationship between different Gödel Sentences

logic model-theory

I don't know how to prove some class of models is whether an elementary class or an elementary class in the wider sense. How can I prove what it is?

logic model-theory

Number of automorphisms of saturated models