scientific article; zbMATH DE number 4068863

zbMATH Open0655.03039MaRDI QIDQ3801546FDOQ3801546

Andreas Blass

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• Choice and well-ordering
• An intuitionistic version of Zermelo's proof that every choice set can be well-ordered
• Well-ordering and choice in toposes
• Well-foundedness in realizability
• Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness

zbMATH Keywords

well-foundednesswell-orderinggeometric morphismsmonotone inductive definitions

Mathematics Subject Classification ID

Topoi (18B25) Intuitionistic mathematics (03F55)

Cited In (8)

• A Note on (Meta)predicative Wellordering Proofs
• A presentation of the initial lift-algebra
• Choice and well-ordering
• Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Intuitionistically provable recursive well-orderings
• Scattered toposes
• Some results on cut-elimination, provable well-orderings, induction and reflection

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