Found 16 Documents (Results 1–16)
Set theory with a proper class of indiscernibles. (English) Zbl 1506.03111
Reviewer: Martin Weese (Potsdam)
Topological models of arithmetic. (English) Zbl 1501.03003
Reviewer: Roman Kossak (New York)
Truth and feasible reducibility. (English) Zbl 1444.03164
Reviewer: Victor V. Pambuccian (Glendale)
Truth, disjunction, and induction. (English) Zbl 1477.03250
MSC:
03F30
Largest initial segments pointwise fixed by automorphisms of models of set theory. (English) Zbl 1477.03152
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\). (English) Zbl 1422.03080
An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN. (English) Zbl 1246.03066
Reviewer: Jan Kraszewski (Wrocław)
A standard model of Peano arithmetic with no conservative elementary extension. (English) Zbl 1156.03035
Reviewer: Roman Kossak (New York)
Model theory of the regularity and reflection schemes. (English) Zbl 1149.03026
Reviewer: Roman Kossak (New York)
Filter Results by …
all
top 5
Author
- Enayat, Ali (16)
- Kaufmann, Matt (2)
- McKenzie, Zachiri (2)
- Wcisło, Bartosz (2)
- Bahrami, Saeideh (1)
- Blanck, Rasmus (1)
- Hamkins, Joel David (1)
- Łełyk, Mateusz Zbigniew (1)
- Mohsenipour, Shahram (1)
- Pakhomov, Fedor N. (1)
- Shelah, Saharon (1)
- Visser, Albert (1)
- Wong, Tin Lok (1)
all
top 5
Serial
- Arch. Math. Logic (6)
- Ann. Pure Appl. Logic (4)
- Fundam. Math. (2)
- J. Symb. Log. (2)
- Proc. Am. Math. Soc. (1)
- Topology Appl. (1)
Software
- ACL2 (1)