scientific article; zbMATH DE number 3782998

MaRDI QIDQ3960692zbMATH OpenFDO

Authors Stephen G. Simpson

Publication date 1982

zbMATH Keywords

arithmetical transfinite recursion with restricted inductionconservative extensionfinitely axiomatizable system of set theory

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35)

Cited in

(8)

• Countable algebra and set existence axioms
• Patterns of resemblance and Bachmann-Howard fixed points
• \(\Pi_1^1\)-comprehension as a well-ordering principle
• A categorical construction of Bachmann–Howard fixed points
• Some set-theoretic reduction principles
• Induction on dilators and Bachmann-Howard fixed points
• On Nash-Williams' theorem regarding sequences with finite range
• On constructible sets in Simpson's set theory

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 Q3960692)