Friedman-reflexivity. (English) Zbl 1521.03221
Reviewer: Lukasz Stepien (Kraków)
Found 17 Documents (Results 1–17)
The interpretation existence lemma. (English) Zbl 1429.03212
Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 101-144 (2017).
Transductions in arithmetic. (English) Zbl 1357.03043
Reviewer: Mladen Vuković (Zagreb)
The arithmetics of a theory. (English) Zbl 1350.03045
Reviewer: Mladen Vuković (Zagreb)
Peano Corto and Peano Basso: a study of local induction in the context of weak theories. (English) Zbl 1326.03071
Interpretability degrees of finitely axiomatized sequential theories. (English) Zbl 1301.03061
Reviewer: Jaime Gaspar (Lisboa)
Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem. (English) Zbl 1191.03044
Reviewer: Saeed Salehi (Tabriz)
MSC:
03F40
Pairs, sets and sequences in first-order theories. (English) Zbl 1158.03037
Reviewer: Emil Jeřábek (Praha)
Sufficient conditions for cut elimination with complexity analysis. (English) Zbl 1145.03033
MSC:
03F05
Passive induction and a solution to a Paris-Wilkie open question. (English) Zbl 1115.03083
Reviewer: Roman Murawski (Poznań)
MSC:
03F30
The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem. (English) Zbl 1262.03122
Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 213-226 (2006).
A generalization of the second incompleteness theorem and some exceptions to it. (English) Zbl 1103.03059
Reviewer: Roman Kossak (New York)
Faith & falsity. (English) Zbl 1065.03038
Rules and arithmetics. (English) Zbl 0968.03071
Filter Results by …
Document Type
- Journal Articles (15)
- Collection Articles (2)
Author
- Visser, Albert (11)
- Willard, Dan E. (4)
- de Jonge, Maartje (1)
- Gerhardy, Philipp (1)
- Rasga, João (1)
Serial
- Ann. Pure Appl. Logic (6)
- Notre Dame J. Formal Logic (3)
- Arch. Math. Logic (3)
- Math. Log. Q. (2)
- Inf. Comput. (1)
Main Field
- 03-XX (17)
Software
- Pesca (1)
