Zermelo–Fraenkel set theory

Known as: Zermelo-Fraenkel axiomatization, Zermelo–Fraenkel framework, Zermelo-Fraenkel set theory 
In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is one of several axiomatic systems that… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1969-2017
020406019692017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
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
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
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
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
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
Is this relevant?
2005
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
This paper proves that the disjunction property, the numerical existence property, Church’s rule, and several other… (More)
Is this relevant?
2004
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
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
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?