Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,754,793 papers from all fields of science
Search
Sign In
Create Free Account
Zermelo–Fraenkel set theory
Known as:
Zermelo-Fraenkel axiomatization
, Zermelo–Fraenkel framework
, ZFC (disambiguation)
Expand
In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is one of several axiomatic systems that…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
29 relations
Atomic formula
Axiomatic system
Bounded quantifier
Busy beaver
Expand
Broader (1)
Z notation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Energy and Spectral Efficiency of Very Large Multiuser MIMO Systems
H. Ngo
,
E. Larsson
,
T. Marzetta
IEEE Transactions on Communications
2013
Corpus ID: 3332631
A multiplicity of autonomous terminals simultaneously transmits data streams to a compact array of antennas. The array uses…
Expand
2011
2011
FUNDAMENTALS OF ZERMELO-FRAENKEL SET THEORY
Tony Lian
2011
Corpus ID: 17053293
This paper sets out to explore the basics of Zermelo-Fraenkel (ZF) set theory without choice. We will take the axioms (excluding…
Expand
2007
2007
Realizability for Constructive Zermelo-Fraenkel Set Theory
M. Rathjen
2007
Corpus ID: 17037452
Constructive Zermelo-Fraenkel Set Theory, CZF, has emerged as a standard reference theory that relates to constructive…
Expand
2005
2005
The disjunction and related properties for constructive Zermelo-Fraenkel set theory
M. Rathjen
Journal of Symbolic Logic
2005
Corpus ID: 12117179
Abstract This paper proves that the disjunction property, the numerical existence property. Church's rule, and several other…
Expand
2003
2003
Puzzle: Zermelo-Fraenkel set theory is inconsistent
C. Feinstein
2003
Corpus ID: 41373467
In this note, we present a puzzle. We prove that Zermelo-Fraenkel set theory is inconsistent by proving, using Zermelo-Fraenkel…
Expand
Highly Cited
2001
Highly Cited
2001
Typed lambda-calculus in classical Zermelo-Frænkel set theory
J. Krivine
Arch. Math. Log.
2001
Corpus ID: 14144164
system of simple types, which uses the intuitionistic propositional calculus, with the only connective →. It is very important…
Expand
1999
1999
Models of Second-Order Zermelo Set Theory
G. Uzquiano
Bulletin of Symbolic Logic
1999
Corpus ID: 10138274
In [12], Ernst Zermelo described a succession of models for the axioms of set theory as initial segments of a cumulative…
Expand
1985
1985
Global Quantification in Zermelo-Fraenkel Set Theory
J. Mayberry
J. Symb. Log.
1985
Corpus ID: 29115820
My aim here is to investigate the role of global quantifiers—quantifiers ranging over the entire universe of sets—in the…
Expand
Highly Cited
1977
Highly Cited
1977
Internal set theory: A new approach to nonstandard analysis
Edward Nelson
1977
Corpus ID: 1000637
1. Internal set theory. We present here a new approach to Abraham Robinson's nonstandard analysis [10] with the aim of making…
Expand
1968
1968
Zermelo-Fraenkel set theory
Seymour Hayden
,
E. Zermelo
,
A. Fraenkel
,
J. Kennison
1968
Corpus ID: 121427602
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE