Menu
NEWBEDEV
Python
Javascript
Linux
Cheat sheet
NEWBEDEV
Python 1
Javascript
Linux
Cheat sheet
Contact
New posts in Lo.Logic
Examples of $\aleph_0$-categorical nonhomogeneous structures
Apr 25, 2021
The inconsistency of Graham Arithmetics plus $ \forall n, n < g_{64}$
Apr 25, 2021
Intuition behind stability and instability in model theory
Apr 25, 2021
Is it consistent to have a function that is sensitive to subset relation from the power set of a set to that set?
Apr 25, 2021
Is there a theory in a finite language that is computably axiomatizable but not by a finite number of axiom schemas?
Apr 25, 2021
Is the class of power-associative binars finitely axiomatizable?
Apr 25, 2021
Category theory and set theory: just a different language, or different foundation of mathematics?
Apr 25, 2021
Reverse mathematics of Cousin's lemma
Apr 25, 2021
Tarski's truth theorem — semantic or syntactic?
Apr 25, 2021
Does the "three-set-lemma" imply the Axiom of Choice?
Apr 25, 2021
« Newer Entries
Older Entries »