Zermelo-Fraenkel set theory - Factbites
 Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Zermelo-Fraenkel set theory


    Note: these results are not from the primary (high quality) database.


Related Topics

In the News (Mon 22 Jul 19)

  
 Zermelo-Fraenkel set theory - Wikipedia, the free encyclopedia
Appending this axiom to Zermelo set theory yields the theory denoted by ZF.
ZFC consists of a single primitive ontological notion, that of set, and a single ontological assumption, namely that all individuals in the universe of discourse (i.e., all mathematical objects) are sets.
This axiomatic theory did not allow the construction of the ordinal numbers, and hence was inadequate for all of ordinary mathematics.
en.wikipedia.org /wiki/Zermelo-Fraenkel_set_theory   (1050 words)

  
 Talk:Zermelo-Fraenkel set theory - Wikipedia, the free encyclopedia
The limited interest in set theory and metamathematics nowadays may be largely driven by the lack of interest in those subjects on the part of granting agencies.
Taking set theory seriously seems limited nowadays to Berkeley, Tarski's students, a number of Israeli and Eastern European mathematicians, and the coterie studying Quinian set theory.
This set, just like the set in Russell's paradox, is not well defined.The question that comes up is whether it is the set N of all finite ordinals or the set of Burali-Forti paradox.The following reasoning makes me think that it is the set N itself.
en.wikipedia.org /wiki/Talk:Zermelo-Fraenkel_set_theory   (1072 words)

  
 Set Theory. Zermelo-Fraenkel Axioms. Russell's Paradox. Infinity. By K.Podnieks
The set theory adopting the axiom of extensionality (C1), the axiom C1', the separation axiom schema (C21), the pairing axiom (C22), the union axiom (C23), the power-set axiom (C24), the replacement axiom schema (C25), the axiom of infinity (C26) and the axiom of regularity (C3), is called Zermelo-Fraenkel set theory, and is denoted by ZF.
set theory, axioms, Zermelo, Fraenkel, Frankel, infinity, Cantor, Frege, Russell, paradox, formal, axiomatic, Russell paradox, axiom, axiomatic set theory, comprehension, axiom of infinity, ZF, ZFC
The set theory ZF+AC is denoted traditionally by ZFC.
www.ltn.lv /~podnieks/gt2.html   (8336 words)

  
 PlanetMath: axiom of power set
The axiom of power set is an axiom of Zermelo-Fraenkel set theory which postulates that for any set
(Mathematical logic and foundations :: Set theory :: Axiomatics of classical set theory and its fragments)
This is version 7 of axiom of power set, born on 2003-06-26, modified 2004-11-17.
planetmath.org /encyclopedia/AxiomOfPowerSet.html   (103 words)

  
 Zermelo-Fraenkel set theory - TheBestLinks.com - ZFC, Axiom of choice, Axiom, Axiom of regularity, ...
The Zermelo-Fraenkel axioms of set theory (ZF), are the standard axioms of axiomatic set theory on which, together with the axiom of choice, all of ordinary mathematics is based.
The axioms are the result of work by Thoralf Skolem in 1922, based on earlier work by Adolf Fraenkel in the same year, which was based on the axiom system put forth by Ernst Zermelo in 1908 (Zermelo set theory).
Axiom of union: For any set x, there is a set y such that the elements of y are precisely the elements of the elements of x.
www.thebestlinks.com /ZFC.html   (523 words)

  
 Zermelo-Fraenkel Set Theory: A Supplement to Set Theory
Since it is provable from this axiom and the previous axiom that there is a unique such set, we may introduce the notation ‘Ø’ to denote it.
This axiom asserts that when sets x and y have the same members, they are the same set.
A member y of a set x with this property is called a ‘minimal’ element.
plato.stanford.edu /entries/set-theory/ZF.html   (698 words)

  
 PlanetMath: Zermelo-Fraenkel axioms
Ernst Zermelo and Abraham Fraenkel proposed the following axioms as a foundation for what is now called Zermelo-Fraenkel set theory, or ZF.
(Mathematical logic and foundations :: Set theory :: Miscellaneous)
If this set of axioms are accepted along with the Axiom of Choice, it is often denoted ZFC.
planetmath.org /encyclopedia/ZermeloFraenkelAxioms.html   (216 words)

  
 Variants of Classical Set Theory and their Applications
Zermelo Fraenkel set theory with the Axiom of Choice, has been used, through much of this century, as the foundational theory for modern pure mathematics.
This is axiomatic set theory, modified by dropping the Axiom of Foundation and instead adding some of a variety of possible axioms that assert the existence of non-well-founded sets.
Constructive Set Theory is intended to be a set theoretical approach to constructive mathematics.
www.cs.man.ac.uk /~petera/LogicWeb/settheory.html   (509 words)

  
 Zermelo-Fraenkel Axiomatic Set Theory - Wikibooks, collection of open-content textbooks
Zermelo-Fraenkel Axiomatic Set Theory - Wikibooks, collection of open-content textbooks
Union, the union of all members of a set is a set.
Extensionality, two sets with the same elements are equal.
en.wikibooks.org /wiki/Zermelo-Fraenkel_Axiomatic_Set_Theory   (92 words)

  
 03E: Set theory
Fuzzy set theory replaces the two-valued set-membership function with a real-valued function, that is, membership is treated as a probability, or as a degree of truthfulness.
The theory of finite sets is, arguably, a definition of Combinatorics.
Since Axiomatic Set Theory is often used to construct the natural numbers (satisfying the Peano axioms, say) it is possible to translate statements about Number Theory to Set Theory.
www.math.niu.edu /~rusin/known-math/index/03EXX.html   (1585 words)

  
 A linear conservative extension of Zermelo-Fraenkel set theory - Shirahata (ResearchIndex)
Abstract: In this paper, we develop the system LZF of set theory with the unrestricted comprehension in full linear logic and show that LZF is a conservative extension of ZF 0 i.e., the Zermelo-Fraenkel set theory without the axiom of regularity.
A linear conservative extension of Zermelo-Fraenkel set theory.
However, it has been also noticed that the standard extetensionality axiom cannot be added to such a set theory without causing...
citeseer.ist.psu.edu /24614.html   (495 words)

  
 zf-010499
ZERMELO-FRAENKEL set theory is the extension of this system by the axiom-scheme of REPLACEMENT, which was first formulated by Adolf (later Abraham) Fraenkel, Nels Lennes and Thoralf Skolem in 1922, although Dimitry Mirimanoff already had something of the idea in 1917.
Recall that ZERMELO set theory (1908), which is essentially equivalent to the categorists' notion of ELEMENTARY TOPOS with natural numbers and the axiom of choice, is adequate for most of the purposes of mathematics, though not, as I shall try to explain, logic (and theoretical computer science).
However, in set theory due to the presence of ``impredicative'' axioms the proof theoretic strength is incredibly stronger than set of Martin-Laoef type theory with $\omega4 universes.
www.mta.ca /~cat-dist/catlist/1999/zf-010499   (2571 words)

  
 Typed lambda-calculus in classical Zermelo-Frænkel set theory (ResearchIndex)
Abstract: this paper, we develop a system of typed lambda-calculus for the Zermelo-Frnkel set theory, in the framework of classical logic.
3 The consistency of classical set theory relative to a set th..
0.3: Consequences of Arithmetic for Set Theory - Halbeisen, SHELAH (1994)
citeseer.ist.psu.edu /252411.html   (302 words)

  
 Set Theory: Foundations of Mathematics
An important part of Cantor's set theory, which forms the foundations of mathematics, is the concept of transfinite ordinals.
A set theory is defined in which Generalized Continuum Hypothesis and Axiom of Choice are theorems.
Two axioms which define intuitive set theory, Axiom of Combinatorial Sets and Axiom of Infinitesimals, are stated.
www.ece.rutgers.edu /~knambiar/intuitive_set_theory.html   (390 words)

  
 Open Directory - Science: Math: Logic and Foundations: Set Theory
Set Theory - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
Extending Set Theory - Extends the language of set theory through restricted self-reference and through certain large cardinals.
The Mathematics of Set Theory - Detailed description of parts of introductory set theory.
dmoz.org /Science/Math/Logic_and_Foundations/Set_Theory   (538 words)

  
 Set Theory
First, the axioms for Zermelo-Fraenkel set theory with the axiom of choice and non-set "atoms" or ur-elements are shown in full, since the version accommodating ur-elements is not found in most set theory texts.
The "cloud-capped V of infinitistic set theory" is the cumulative hierarchy of sets, starting traditionally with the empty set and built up (through systematic application of the axioms of set theory) to higher and higher orders of infinity.
The potential advantages of NWF sets for modeling numerous aspects of reality involving "circularity" of one kind or another are extensively discussed in [Barwise and Etchemendy 87].
www.greenshade.com /sets.html   (849 words)

  
 ZF Set Theory
However, most of the work on set theory is done in Zermelo-Fraenkel (ZF) set theory.
In this set theory, no loops can occur, there is no set of all sets that do not contain themselves, and the paradox is averted.
A theorem of Godel and Cohen proves that ZF set theory can neither prove nor disprove CH, even with the addition of the Axiom of Choice (a standard addition, giving what is called ZFC) The purpose of this page is to show exactly why and how, by the introduction of chaotic real numbers.
www.wall.org /~aron/zf.html   (772 words)

  
 Bibliography: Set Theory with a Universal Set
Sheridan, K.J. The singleton function is a set in a slight extension of Church's set theory.
Church, A. Set theory with a universal set.
Set theory and hierarchy theory, Springer Lecture Notes in Mathematics 619, pp.
math.boisestate.edu /~holmes/holmes/setbiblio.html   (3932 words)

  
 april
From: weigand@informatik.uni-erlangen.de (Ulrich Weigand) Subject: Re: Is Zermelo-Fraenkel set theory inconsistent?
[long snip] > Let L(0) be Zermelo set theory > (or the axioms for an elementary topos).
It was >posted by Paul Taylor to the category theory mailing list.
www.math.niu.edu /~rusin/known-math/99/april   (605 words)

  
 MAT4610 - Axiomatic set theory
An introduction to Zermelo-Fraenkel set theory, constructible sets, forcing.
The student will be acquainted with axiomatic set theory and two basic methods for proving independence results in mathematics.
Students who are admitted to study programmes or individual courses at UiO must each semester register which courses and exams they wish to sign up for by registering a study plan in StudentWeb.
www.uio.no /studier/emner/matnat/math/MAT4610/index-eng.xml   (185 words)

  
 The Factasia Glossary - Z
Zermelo-Fraenkel set theory, an axiomatisation of set theory consisting of Zermelo set theory (see above) strengthened with the axiom of replacement, due to Abraham Fraenkel, the effect of which is to ensure that any collection of sets which can be shown to be no greater in size than an existing set is itself a set.
Zermelo-Fraenkel set theory augmented by the axiom of choice.
The first axiomatisation of set theory published by Ernst Zermelo in 1908 [Zermelo08] in response to the antinomies found in informal set theory by Russell and others.
www.rbjones.com /rbjpub/philos/glossary/z.htm   (197 words)

  
 Zermelo-Fraenkel set theory - Wikipedia, the free encyclopedia
The Zermelo-Fraenkel axioms of set theory together with the axiom of choice are the standard axioms of axiomatic set theory.
The axioms are the result of work by Thoralf Skolem in 1922, based on earlier work by Abraham Fraenkel in the same year, which was based on the axiom system put forth by Ernst Zermelo in 1908 (Zermelo set theory).
Axiom of union: For any set x, there is a set y such that the elements of y are precisely the elements of the elements of x.
en.wikipedia.org /wiki/Zermelo-Fraenkel_axioms   (538 words)

  
 Class (set theory) - Wikipedia, the free encyclopedia
A proper class cannot be an element of a set or a class and is not subject to the Zermelo-Fraenkel axioms of set theory; thereby a number of paradoxes of naive set theory are avoided.
The standard Zermelo-Fraenkel set theory axioms do not talk about classes; classes exist only in the metalanguage as equivalence classes of logical formulas.
In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) that can be unambiguously defined by a property that all its members share.
www.bexley.us /project/wikipedia/index.php/Class_(set_theory)   (382 words)

  
 Set Theory. Zermelo-Fraenkel Axioms. Russell's Paradox. Infinity. By K.Podnieks
The set theory adopting the axiom of extensionality (C1), the axiom C1', the separation axiom schema (C21), the pairing axiom (C22), the union axiom (C23), the power-set axiom (C24), the replacement axiom schema (C25), the axiom of infinity (C26) and the axiom of regularity (C3), is called Zermelo-Fraenkel set theory, and is denoted by ZF.
set theory, axioms, Zermelo, Fraenkel, Frankel, infinity, Cantor, Frege, Russell, paradox, formal, axiomatic, Russell paradox, axiom, axiomatic set theory, comprehension, axiom of infinity, ZF, ZFC
The set theory ZF+AC is denoted traditionally by ZFC.
www.ltn.lv /~podnieks/gt2.html   (8336 words)

  
 PlanetMath: Zermelo-Fraenkel axioms
Ernst Zermelo and Abraham Fraenkel proposed the following axioms as a foundation for what is now called Zermelo-Fraenkel set theory, or ZF.
If this set of axioms are accepted along with the Axiom of Choice, it is often denoted ZFC.
Union over a set: If is a set, then there exists a set that contains every element of each
planetmath.org /encyclopedia/ZermeloFraenkelSetTheory.html   (215 words)

  
 zf-010499
ZERMELO-FRAENKEL set theory is the extension of this system by the axiom-scheme of REPLACEMENT, which was first formulated by Adolf (later Abraham) Fraenkel, Nels Lennes and Thoralf Skolem in 1922, although Dimitry Mirimanoff already had something of the idea in 1917.
Recall that ZERMELO set theory (1908), which is essentially equivalent to the categorists' notion of ELEMENTARY TOPOS with natural numbers and the axiom of choice, is adequate for most of the purposes of mathematics, though not, as I shall try to explain, logic (and theoretical computer science).
However, in set theory due to the presence of ``impredicative'' axioms the proof theoretic strength is incredibly stronger than set of Martin-Laoef type theory with $\omega4 universes.
www.mta.ca /~cat-dist/catlist/1999/zf-010499   (2571 words)

  
 A linear conservative extension of Zermelo-Fraenkel set theory - Shirahata (ResearchIndex)
Abstract: In this paper, we develop the system LZF of set theory with the unrestricted comprehension in full linear logic and show that LZF is a conservative extension of ZF 0 i.e., the Zermelo-Fraenkel set theory without the axiom of regularity.
A linear conservative extension of Zermelo-Fraenkel set theory.
However, it has been also noticed that the standard extetensionality axiom cannot be added to such a set theory without causing...
citeseer.ist.psu.edu /24614.html   (472 words)

  
 Theories
An encoding of Zermelo-Fraenkel Set Theory in Coq [here]
An axiomatization of intuitionistic Zermelo-Fraenkel set theory [here]
Paradoxes in Set Theory and Type Theory [here]
pauillac.inria.fr /cdrom_a_graver/www/coq/contribs/theories-eng.html   (52 words)

  
 Zermelo set theory - Wikipedia, the free encyclopedia
The accepted standard for set theory is Zermelo-Fraenkel set theory.
Zermelo set theory, as set out in an important paper in 1908 by Ernst Zermelo, is the ancestor of modern set theory.
Zermelo is of course referring to the "Russell antinomy".
en.wikipedia.org /wiki/Zermelo_set_theory   (986 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.