Original Paper

On the regular extension axiom and its variants

  1. Michael Rathjen2,
  2. Robert S. Lubarsky3

Article first published online: 3 JUL 2003

DOI: 10.1002/malq.200310054

Issue

Mathematical Logic Quarterly

Mathematical Logic Quarterly

Volume 49, Issue 5, pages 511–518, September 2003

Additional Information

How to Cite

Rathjen, M. and Lubarsky, R. S. (2003), On the regular extension axiom and its variants. Mathematical Logic Quarterly, 49: 511–518. doi: 10.1002/malq.200310054

Author Information

  1. 2

    Department of Mathematics, Ohio State University, Columbus, OH 43210, U. S. A.

  2. 3

    Institute for Mathematics and Computer Science, Plantation, FL 33317, U. S. A.

Publication History

  1. Issue published online: 3 JUL 2003
  2. Article first published online: 3 JUL 2003
  3. Manuscript Accepted: 11 APR 2003
  4. Manuscript Revised: 4 APR 2003
  5. Manuscript Received: 28 JAN 2003

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (138K)

Keywords:

  • Constructive set theory;
  • regular extension axiom;
  • independence results

Abstract

The regular extension axiom, REA, was first considered by Peter Aczel in the context of Constructive Zermelo-Fraenkel Set Theory as an axiom that ensures the existence of many inductively defined sets. REA has several natural variants. In this note we gather together metamathematical results about these variants from the point of view of both classical and constructive set theory.

Get PDF (138K)