A system of abstract constructive ordinals

DOI10.2307/2272979zbMATH Open0264.02026OpenAlexW1965517429MaRDI QIDQ5680102FDOQ5680102

Authors: 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

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

Cites Work

• Ü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
• An extension of Schütte's Klammersymbole

Cited In (18)

• Theory of proofs (arithmetic and analysis)
• Epsilon substitution for \(ID_1\) via cut-elimination
• Iterated inductive definitions revisited
• An extension of the omega-rule
• How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
• Size-based termination of higher-order rewriting
• Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
• Title not available (Why is that?)
• Natural well-orderings
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• Provable wellorderings of formal theories for transfinitely iterated inductive definitions
• Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen
• On some semi-constructive theories related to Kripke-Platek set theory
• Reflecting on incompleteness
• Well-partial orderings and their maximal order types
• From subsystems of analysis to subsystems of set theory
• Functional interpretation and inductive definitions
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience

This page was built for publication: A system of abstract constructive ordinals

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