- Paris-Harrington principles, reflection principles and transfinite induction up to epsilon 0.Reijiro Kurata - 1986 - Annals of Pure and Applied Logic 31:237.details
|
|
Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.details
|
|
Gödel's incompleteness theorems and computer science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.details
|
|
The interpretability logic of all reasonable arithmetical theories.Joost J. Joosten & Albert Visser - 2000 - Erkenntnis 53 (1-2):3-26.details
|
|
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.details
|
|
On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscriptdetails
|
|
Truth, Pretense and the Liar Paradox.Bradley Armour-Garb & James A. Woodbridge - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 339-354.details
|
|
Socrates did it before Gödel.Josef Wolfgang Degen - 2011 - Logic and Logical Philosophy 20 (3):205-214.details
|
|
The Paradox of the Knower revisited.Walter Dean & Hidenori Kurokawa - 2014 - Annals of Pure and Applied Logic 165 (1):199-224.details
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.details
|
|
Gödel’s Incompleteness Theorem and the Anti-Mechanist Argument: Revisited.Yong Cheng - 2020 - Studia Semiotyczne 34 (1):159-182.details
|
|
Finding the limit of incompleteness I.Yong Cheng - 2020 - Bulletin of Symbolic Logic 26 (3-4):268-286.details
|
|
Presuppositional completeness.Wojciech Buszkowski - 1989 - Studia Logica 48 (1):23 - 34.details
|
|
Resplendent models and $${\Sigma_1^1}$$ -definability with an oracle.Andrey Bovykin - 2008 - Archive for Mathematical Logic 47 (6):607-623.details
|
|
Resplendent models and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma_1^1}$$\end{document} -definability with an oracle. [REVIEW]Andrey Bovykin - 2008 - Archive for Mathematical Logic 47 (6):607-623.details
|
|
The world, the flesh and the argument from design.William Boos - 1994 - Synthese 101 (1):15 - 52.details
|
|
The world, the flesh and the argument from design.William Boos - 1995 - Synthese 104 (2):15 - 52.details
|
|
The transzendenz of mathematical 'experience'.William Boos - 1998 - Synthese 114 (1):49-98.details
|
|
Reflective inquiry and “The Fate of Reason”.William Boos - 2014 - Synthese 191 (18):4253-4314.details
|
|
Consistency and konsistenz.William Boos - 1987 - Erkenntnis 26 (1):1 - 43.details
|
|
Librationist Closures of the Paradoxes.Frode Bjørdal - 2012 - Logic and Logical Philosophy 21 (4):323-361.details
|
|
The logical study of science.Johan Benthem - 1982 - Synthese 51 (3):431 - 472.details
|
|
Incompleteness in a general setting.John L. Bell - 2007 - Bulletin of Symbolic Logic 13 (1):21-30.details
|
|
Positive provability logic for uniform reflection principles.Lev Beklemishev - 2014 - Annals of Pure and Applied Logic 165 (1):82-105.details
|
|
Notes on local reflection principles.Lev Beklemishev - 1997 - Theoria 63 (3):139-146.details
|
|
Induction rules, reflection principles, and provably recursive functions.Lev D. Beklemishev - 1997 - Annals of Pure and Applied Logic 85 (3):193-242.details
|
|
Iterated local reflection versus iterated consistency.Lev Beklemishev - 1995 - Annals of Pure and Applied Logic 75 (1-2):25-48.details
|
|
Some results on cut-elimination, provable well-orderings, induction and reflection.Toshiyasu Arai - 1998 - Annals of Pure and Applied Logic 95 (1-3):93-184.details
|
|
Universal computably enumerable equivalence relations.Uri Andrews, Steffen Lempp, Joseph S. Miller, Keng Meng Ng, Luca San Mauro & Andrea Sorbi - 2014 - Journal of Symbolic Logic 79 (1):60-88.details
|
|
There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.details
|
|
Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - De Gruyter.details
|
|
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.details
|
|
Introduction: An Incomplete Guide to Ontology of Divinity.Mirosław Szatkowski - 2024 - In Ontology of Divinity. De Gruyter. pp. 1-36.details
|
|
Frank Ramsey and the Realistic Spirit.Steven Methven - 2014 - London and Basingstoke: Palgrave Macmillan.details
|
|
In defense of the semantic definition of truth.Jan woleński - 2001 - Synthese 126 (1-2):67 - 90.details
|
|
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.details
|
|
Deflationism, Arithmetic, and the Argument from Conservativeness.Daniel Waxman - 2017 - Mind 126 (502):429-463.details
|
|
On the completenes principle: A study of provability in heyting's arithmetic and extensions.Albert Visser - 1982 - Annals of Mathematical Logic 22 (3):263-295.details
|
|
A general principle for purely model-theoretical proofs of Gödel’s second incompleteness theorem.Dirk Ullrich - 1998 - Logic and Logical Philosophy 6:173.details
|
|
Quantifier probability logic and the confirmation paradox.Theodore Hailperin - 2007 - History and Philosophy of Logic 28 (1):83-100.details
|
|
The transfer principle.Yoshindo Suzuki - 1985 - British Journal for the Philosophy of Science 36 (1):61-66.details
|
|
Calculating self-referential statements, I: Explicit calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.details
|
|
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.details
|
|
A transfer theorem in constructive real algebra.Philip Scowcroft - 1988 - Annals of Pure and Applied Logic 40 (1):29-87.details
|
|
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.details
|
|
Subsystems of true arithmetic and hierarchies of functions.Z. Ratajczyk - 1993 - Annals of Pure and Applied Logic 64 (2):95-152.details
|
|
Satisfaction Classes and Combinatorial Sentences Independent From PA.Z. Ratajczyk - 1982 - Mathematical Logic Quarterly 28 (8‐12):149-165.details
|
|
Satisfaction Classes and Combinatorial Sentences Independent FromPA.Z. Ratajczyk - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (8-12):149-165.details
|
|
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.details
|
|