Menu
NEWBEDEV
Python
Javascript
Linux
Cheat sheet
NEWBEDEV
Python 1
Javascript
Linux
Cheat sheet
Contact
New posts in Nonstandard Models
Why do models of ZF which are not $\omega$-models have non-standard formulas whose length is "infinitely large natural numbers"?
May 08, 2021
Can proper elementarily equivalent end extensions ever be definable?
May 08, 2021
Relationship between nonstandard analysis and nonstandard models of arithmetic
May 03, 2021
Can additional predicates "eliminate" nonstandard models of true arithmetic?
May 01, 2021
What is an example of a non standard model of Peano Arithmetic?
Apr 30, 2021
How does induction fail in computable nonstandard models?
Apr 30, 2021
Prime numbers on a non-standard model
Apr 29, 2021