On the regular extension axiom and its variants

DOI10.1002/MALQ.200310054zbMath1042.03040OpenAlexW2048212283WikidataQ114018745 ScholiaQ114018745MaRDI QIDQ4434505

Robert S. Lubarsky, Michael Rathjen

Publication date: 10 November 2003

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310054

zbMATH Keywords

constructive set theoryregular extension axiomvariants of REA

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (7)

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice ⋮ Unnamed Item ⋮ On Tarski’s fixed point theorem ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ The generalised type-theoretic interpretation of constructive set theory ⋮ Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory ⋮ Closed subsets in Bishop topological groups

This page was built for publication: On the regular extension axiom and its variants