Transfinite Progressions: A Second Look at Completeness

DOI10.2178/BSL/1102022662zbMATH Open1078.03047OpenAlexW1977614750MaRDI QIDQ4678945FDOQ4678945

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

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

zbMATH Keywords

transfinite progressionreflexion principles

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematical logic.
• Solution of a problem of Leon Henkin
• Inexhaustibility: A non-exhaustive treatment
• Transfinite recursive progressions of axiomatic theories
• Iterated local reflection versus iterated consistency
• Incompleteness along paths in progressions of theories
• On the completeness of some transfinite recursive progressions of axiomatic theories

Cited In (13)

• A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$
• Proof-Producing Reflection for HOL
• The scope of Gödel's first incompleteness theorem
• Informal versus formal mathematics
• Unfolding Schematic Systems
• How to build a hypercomputer
• On the metamathematics of the P vs. NP question
• Categorical quantification
• The Epistemology of Computer-Mediated Proofs
• Some thoughts on hypercomputation
• Hyperfinite transversal theory. II
• Completeness of the primitive recursive \(\omega \)-rule
• Title not available (Why is that?)

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)