scientific article; zbMATH DE number 4068863

MaRDI QIDQ3801546zbMATH OpenFDO

Authors Andreas Blass

Publication date 1987

zbMATH Keywords

geometric morphismsmonotone inductive definitionswell-foundednesswell-ordering

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Topoi (18B25)

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

Cited in

(17)

• Some results on cut-elimination, provable well-orderings, induction and reflection
• Intuitionistically provable recursive well-orderings
• Scattered toposes
• A Note on (Meta)predicative Wellordering Proofs
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
• Choice and well-ordering
• A presentation of the initial lift-algebra
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

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)