Menu
NEWBEDEV
Python
Javascript
Linux
Cheat sheet
NEWBEDEV
Python 1
Javascript
Linux
Cheat sheet
Contact
New posts in Model Theory
An example of an exists-sentence such that the sentence is true on an infinite model M, yet on every submodel, the sentence is false
May 09, 2021
In what sense is $\sf ZFC$ "stronger" than Peano arithmetic?
May 09, 2021
Axiomatic definition of groups
May 09, 2021
Axiomatizability of equational theories with no less than n equations.
May 09, 2021
I don't understand Gödel's incompleteness theorem anymore
May 09, 2021
Given any incomplete theory and an unprovable sentence $\varphi$, are there always strictly weaker consistent unprovable statements?
May 09, 2021
Is there a modal logic axiom corresponding to the condition that for every world w there is some world v such that vRw? (Reverse Seriality)
May 08, 2021
Are $\Pi_2$ consequences of universal theories witnessed by finitely many terms?
May 08, 2021
$ \models A$ vs. $ A \models$
May 08, 2021
Why do models of ZF which are not $\omega$-models have non-standard formulas whose length is "infinitely large natural numbers"?
May 08, 2021
« Newer Entries
Older Entries »