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

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