In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is one of several axiomatic systems that… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

- Michael Rathjen
- Ann. Pure Appl. Logic
- 2014

In recent years the question of whether adding the limited principle of omniscience, LPO, to constructive Zermelo-Fraenkel set… (More)

Is this relevant?

2014

2014

- Toshiyasu Arai
- J. Symb. Log.
- 2014

We describe the countable ordinals in terms of iterations of Mostowski collapsings. This gives a proof-theoretic bound on… (More)

Is this relevant?

2012

2012

- Ray-Ming Chen, Michael Rathjen
- Arch. Math. Log.
- 2012

A variant of realizability for Heyting arithmetic which validates Church’s thesis with uniqueness condition, but not the general… (More)

Is this relevant?

2011

2011

- TONY LIAN, Georg Cantor
- 2011

This paper sets out to explore the basics of Zermelo-Fraenkel (ZF) set theory without choice. We will take the axioms (excluding… (More)

Is this relevant?

2006

2006

- Wolfgang Windsteiger
- J. Symb. Comput.
- 2006

This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set… (More)

Is this relevant?

2005

2005

- Michael Rathjen
- Ann. Pure Appl. Logic
- 2005

While it is known that intuitionistic ZF set theory formulated with Replacement, IZFR, does not prove Collection it is a… (More)

Is this relevant?

2005

2005

- Michael Rathjen
- J. Symb. Log.
- 2005

This paper proves that the disjunction property, the numerical existence property, Church’s rule, and several other… (More)

Is this relevant?

2004

2004

- Michael Rathjen
- 2004

Constructive Zermelo-Fraenkel Set Theory, CZF, has emerged as a standard reference theory that relates to constructive… (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Jean-Louis Krivine
- Arch. Math. Log.
- 2001

In this paper, we develop a system of typed lambda-calculus for the Zermelo-Frænkel set theory, in the framework of classical… (More)

Is this relevant?

1996

1996

- Miyuki Shirahata
- Studia Logica
- 1996

In this paper, we develop the system LZF of set theory with the unrestricted comprehension in full linear logic and show that LZF… (More)

Is this relevant?