Transfinite Progressions: A Second Look at Completeness

DOI10.2178/BSL/1102022662MaRDI QIDQ4678945zbMATH OpenOpenAlexFDO

Authors Torkel Franzén

Publication date 24 May 2005

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.686.8236

zbMATH Keywords

transfinite progressionreflexion principles

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Reflection principles and provability algebras in formal arithmetic
• scientific article; zbMATH DE number 1431685
• Autonomous progression and transfinite iteration of self-applicable truth
• Iterated local reflection versus iterated consistency
• Reflecting on incompleteness

Cites work

• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• Incompleteness along paths in progressions of theories
• Inexhaustibility: A non-exhaustive treatment
• Iterated local reflection versus iterated consistency
• Mathematical logic.
• On the completeness of some transfinite recursive progressions of axiomatic theories
• Solution of a problem of Leon Henkin
• Transfinite recursive progressions of axiomatic theories

Cited in

(13)

• The epistemology of computer-mediated proofs
• How to build a hypercomputer
• Informal versus formal mathematics
• Completeness of the primitive recursive \(\omega \)-rule
• Some thoughts on hypercomputation
• scientific article; zbMATH DE number 956479 (Why is no real title available?)
• On the metamathematics of the P vs. NP question
• Proof-producing reflection for HOL. With an application to model polymorphism
• A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
• Unfolding schematic systems
• Categorical quantification
• Hyperfinite transversal theory. II
• The scope of Gödel's first incompleteness theorem

This page was built for publication: Transfinite Progressions: A Second Look at Completeness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4678945)