An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion

zbMath1235.03085MaRDI QIDQ662344

Hitoshi Kitada

Publication date: 22 February 2012

Published in: Communications in Mathematical Analysis (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.cma/1322489163

zbMATH Keywords

validityincompletenessself-referenceinconsistencyGödel

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Recursive ordinals and ordinal notations (03F15) Set theory (03E99) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Set theory. An introduction to independence proofs
• An implication of G\"odel's incompleteness theorem
• Iterated reflection principles and the ω-rule
• Transfinite recursive progressions of axiomatic theories
• Extensions of some theorems of Gödel and Church
• Systems of Logic Based on Ordinals^†
• Mathematics and Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion