相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。INCOMPLETENESS VIA PARADOX AND COMPLETENESS
Walter Dean
REVIEW OF SYMBOLIC LOGIC (2020)
Recursive functions and existentially closed structures
Emil Jerabek
JOURNAL OF MATHEMATICAL LOGIC (2020)
ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM
Albert Visser
REVIEW OF SYMBOLIC LOGIC (2020)
A NOTE ON DERIVABILITY CONDITIONS
Taishi Kurahashi
JOURNAL OF SYMBOLIC LOGIC (2020)
From Tarski to Godel-or how to derive the second incompleteness theorem from the undefinability of truth without self-reference
Albert Visser
JOURNAL OF LOGIC AND COMPUTATION (2019)
Arithmetical Completeness Theorem for Modal Logic
Taishi Kurahashi
STUDIA LOGICA (2018)
On constructivity and the Rosser property: a closer look at some Godelean proofs
Saeed Salehi et al.
ANNALS OF PURE AND APPLIED LOGIC (2018)
Godel's second incompleteness theorem for Sigma(n)-definable theories
Conden Chao et al.
LOGIC JOURNAL OF THE IGPL (2018)
Arithmetical Soundness and Completeness for Σ2 Numerations
Taishi Kurahashi
STUDIA LOGICA (2018)
UNIVERSAL ROSSER PREDICATES
Makoto Kikuchi et al.
JOURNAL OF SYMBOLIC LOGIC (2017)
GENERALIZATIONS OF GODEL'S INCOMPLETENESS THEOREMS FOR Σn-DEFINABLE THEORIES OF ARITHMETIC
Makoto Kikuchi et al.
REVIEW OF SYMBOLIC LOGIC (2017)
INCOMPLETENESS IN THE FINITE DOMAIN
Pavel Pudlak
BULLETIN OF SYMBOLIC LOGIC (2017)
HARRINGTON'S PRINCIPLE IN HIGHER ORDER ARITHMETIC
Yong Cheng et al.
JOURNAL OF SYMBOLIC LOGIC (2015)
Weak theories of concatenation and minimal essentially undecidable theories
Kojiro Higuchi et al.
ARCHIVE FOR MATHEMATICAL LOGIC (2014)
SELF-REFERENCE IN ARITHMETIC I
Volker Halbach et al.
REVIEW OF SYMBOLIC LOGIC (2014)
SELF-REFERENCE IN ARITHMETIC II
Volker Halbach et al.
REVIEW OF SYMBOLIC LOGIC (2014)
Rosser-Type Undecidable Sentences Based on Yablo's Paradox
Taishi Kurahashi
JOURNAL OF PHILOSOPHICAL LOGIC (2014)
Yablifying the Rosser Sentence
Graham Leach-Krouse
JOURNAL OF PHILOSOPHICAL LOGIC (2014)
The Scope of Godel's First Incompleteness Theorem
Bernd Buldt
LOGICA UNIVERSALIS (2014)
Slow consistency
Sy-David Friedman et al.
ANNALS OF PURE AND APPLIED LOGIC (2013)
Godelizing the Yablo Sequence
Cezary Cieslinski et al.
JOURNAL OF PHILOSOPHICAL LOGIC (2013)
Phase transitions of iterated Higman-style well-partial-orderings
Lev Gordeev et al.
ARCHIVE FOR MATHEMATICAL LOGIC (2012)
On proofs of the incompleteness theorems based on Berry's paradox by Vopenka, Chaitin, and Boolos
Makoto Kikuchi et al.
MATHEMATICAL LOGIC QUARTERLY (2012)
Can We Make the Second Incompleteness Theorem Coordinate Free?
Albert Visser
JOURNAL OF LOGIC AND COMPUTATION (2011)
Godel incompleteness theorems and the limits of their applicability. I
L. D. Beklemishev
RUSSIAN MATHEMATICAL SURVEYS (2010)
Growing Commas. A Study of Sequentiality and Concatenation
Albert Visser
NOTRE DAME JOURNAL OF FORMAL LOGIC (2009)
Phase transition thresholds for some Friedman-style independence results
Andreas Weiermann
MATHEMATICAL LOGIC QUARTERLY (2007)
A generalization of the Second Incompleteness Theorem and some exceptions to it
Dan E. Willard
ANNALS OF PURE AND APPLIED LOGIC (2006)
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
A Weiermann
ANNALS OF PURE AND APPLIED LOGIC (2005)
The incompleteness theorems after 70 years
H Kotlarski
ANNALS OF PURE AND APPLIED LOGIC (2004)
A classification of rapidly growing Ramsey functions
A Weiermann
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY (2004)
Self-verifying axiom systems, the incompleteness theorem and related reflection principles
DE Willard
JOURNAL OF SYMBOLIC LOGIC (2001)
Existentially closed structures and Godel's second incompleteness theorem
Z Adamowicz et al.
JOURNAL OF SYMBOLIC LOGIC (2001)