scientific article; zbMATH DE number 3906494

MaRDI QIDQ3684119zbMATH OpenFDO

Authors Jacqueline Vauzeilles

Publication date 1982

zbMATH Keywords

Bachmann hierarchydilatorflowergardenpi-one-two-logic

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Categorical logic, topoi (03G30)

Recommendations

• Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• A simplified functorial construction of the veblen hierarchy
• Equalization of finite flowers
• Boundedness theorems for flowers and sharps

Cited in

(10)

• Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
• A topos-theorist looks at dilators
• Ordinals. II: Some applications and a functorial approach
• Introduction to \(\Pi^1_2\)-logic
• Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs
• Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy
• Functors and ordinal notations. IV: The Howard ordinal and the functor ∧.
• Natural well-orderings
• Equalization of finite flowers
• Boundedness theorems for flowers and sharps

This page was built for publication:

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