A system of abstract constructive ordinals

DOI10.2307/2272979MaRDI QIDQ5680102zbMATH OpenOpenAlexFDO

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

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

Cited in

(18)

• Theory of proofs (arithmetic and analysis)
• Epsilon substitution for \(ID_1\) via cut-elimination
• An extension of the omega-rule
• Iterated inductive definitions revisited
• 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
• scientific article; zbMATH DE number 3693265 (Why is no real title available?)
• Natural well-orderings
• Provable wellorderings of formal theories for transfinitely iterated inductive definitions
• A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
• Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen
• Reflecting on incompleteness
• On some semi-constructive theories related to Kripke-Platek set theory
• Well-partial orderings and their maximal order types
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• From subsystems of analysis to subsystems of set theory
• Functional interpretation and inductive definitions

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)