Transfinite Progressions: A Second Look at Completeness
From MaRDI portal
(Redirected from Publication:4678945)
Recommendations
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
(14)- How to build a hypercomputer
- The scope of Gödel's first incompleteness theorem
- On the metamathematics of the P vs. NP question
- Some thoughts on hypercomputation
- Proof-producing reflection for HOL. With an application to model polymorphism
- scientific article; zbMATH DE number 956479 (Why is no real title available?)
- Hyperfinite transversal theory. II
- The epistemology of computer-mediated proofs
- A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
- Unfolding schematic systems
- Categorical quantification
- Feferman's completeness theorem
- Completeness of the primitive recursive \(\omega \)-rule
- Informal versus formal mathematics
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)
