A system of abstract constructive ordinals

DOI10.2307/2272979zbMath0264.02026OpenAlexW1965517429MaRDI QIDQ5680102

William Alvin Howard

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272979

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Intuitionistic mathematics (03F55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items

How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study, An extension of the omega-rule, Reflecting on incompleteness, Epsilon substitution for \(ID_1\) via cut-elimination, Size-based termination of higher-order rewriting, Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience, Unnamed Item, Natural well-orderings, Well-Partial Orderings and their Maximal Order Types, From Subsystems of Analysis to Subsystems of Set Theory, Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen, A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal, Iterated Inductive Definitions Revisited, On Some Semi-constructive Theories Related to Kripke–Platek Set Theory, Theory of proofs (arithmetic and analysis), Provable wellorderings of formal theories for transfinitely iterated inductive definitions, Functional interpretation and inductive definitions, Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1

Cites Work

• An extension of Schütte's Klammersymbole
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Intensional interpretations of functionals of finite type I
• Formal systems for some branches of intuitionistic analysis