Newbetuts

Putting down axioms for some symbols. Playing with their consequences qualitatively and symbolically. Building theories. The book?

Why does creating a model show consistency?

Saturated Boolean algebras in terms of model theory and in terms of partitions

Choosing a Master Thesis Topic: Logic - Model Theory

If a theory has a countable $\omega$-saturated model does it need to have only countable many countable models?

$\mathcal U$ Grothendieck universe. Is $\mathcal{P(U)}$ a model for NBG?

Tarski's decidability proof on real closed field and Peano arithmetic

Represent the definition of elementary substructure in FOL

First Order Logic: Prove that the infinitely many twin primes conjecture is equivalent to existence of infinite primes

Models in set theory and continuum hypothesis

Why are structures interesting?

The field of algebraic numbers as a recursive structure

Can we always "locate" a transitive model inside some larger transitive model?

Do isomorphic structures always satisfy the same second-order sentences?

ultrafilters as linear orders

What is exactly the meaning of being isomorphic?

New posts in model-theory

Show an AEC with intersections is appropriately named

What formula of ZFC defines the set of natural numbers?

Is there a specific infinitary sentence second-order logic can't capture?

Model-theory and Proof-theory in Propositional Logic

Putting down axioms for some symbols. Playing with their consequences qualitatively and symbolically. Building theories. The book?

Why does creating a model show consistency?

Saturated Boolean algebras in terms of model theory and in terms of partitions

Choosing a Master Thesis Topic: Logic - Model Theory

If a theory has a countable $\omega$-saturated model does it need to have only countable many countable models?

$\mathcal U$ Grothendieck universe. Is $\mathcal{P(U)}$ a model for NBG?

Tarski's decidability proof on real closed field and Peano arithmetic

Represent the definition of elementary substructure in FOL

First Order Logic: Prove that the infinitely many twin primes conjecture is equivalent to existence of infinite primes

Models in set theory and continuum hypothesis

Why are structures interesting?

The field of algebraic numbers as a recursive structure

Can we always "locate" a transitive model inside some larger transitive model?

Do isomorphic structures always satisfy the same second-order sentences?

ultrafilters as linear orders

What is exactly the meaning of being isomorphic?