|
Alternative Set Theory
In mathematical logic, an alternative set theory is any of the alternative mathematical approaches to the concept of set and any alternative to the de facto standard set theory described in axiomatic set theory by the axioms of Zermelo–Fraenkel set theory. Alternative set theories Alternative set theories include: * Vopěnka's alternative set theory *Von Neumann–Bernays–Gödel set theory * Morse–Kelley set theory * Tarski–Grothendieck set theory * Ackermann set theory *Type theory *New Foundations *Positive set theory *Internal set theory * Pocket set theory *Naive set theory *S (set theory) * Double extension set theory *Kripke–Platek set theory *Kripke–Platek set theory with urelements * Scott–Potter set theory *Constructive set theory * Zermelo set theory * General set theory *Mac Lane set theory Zermelo set theory (sometimes denoted by Z-), as set out in a seminal paper in 1908 by Ernst Zermelo, is the ancestor of modern Zermelo–Fraenkel set theory (Z ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Naive Set Theory
Naive set theory is any of several theories of sets used in the discussion of the foundations of mathematics. Unlike axiomatic set theories, which are defined using formal logic, naive set theory is defined informally, in natural language. It describes the aspects of mathematical sets familiar in discrete mathematics (for example Venn diagrams and symbolic reasoning about their Boolean algebra), and suffices for the everyday use of set theory concepts in contemporary mathematics. Sets are of great importance in mathematics; in modern formal treatments, most mathematical objects (numbers, relations, functions, etc.) are defined in terms of sets. Naive set theory suffices for many purposes, while also serving as a stepping stone towards more formal treatments. Method A ''naive theory'' in the sense of "naive set theory" is a non-formalized theory, that is, a theory that uses natural language to describe sets and operations on sets. Such theory treats sets as platonic absolute o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-well-founded Set Theory
Non-well-founded set theories are variants of axiomatic set theory that allow sets to be elements of themselves and otherwise violate the rule of well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation. The study of non-well-founded sets was initiated by Dmitry Mirimanoff in a series of papers between 1917 and 1920, in which he formulated the distinction between well-founded and non-well-founded sets; he did not regard well-foundedness as an axiom. Although a number of axiomatic systems of non-well-founded sets were proposed afterwards, they did not find much in the way of applications until the book Non-Well-Founded Sets by Peter Aczel introduces hyperset theory in 1988. The theory of non-well-founded sets has been applied in the logical modelling of non-terminating computational processes in computer science ( process algebra and final semantics), linguistics and natural language semantics (situation theo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mac Lane Set Theory
Zermelo set theory (sometimes denoted by Z-), as set out in a seminal paper in 1908 by Ernst Zermelo, is the ancestor of modern Zermelo–Fraenkel set theory (ZF) and its extensions, such as von Neumann–Bernays–Gödel set theory (NBG). It bears certain differences from its descendants, which are not always understood, and are frequently misquoted. This article sets out the original axioms, with the original text (translated into English) and original numbering. The axioms of Zermelo set theory The axioms of Zermelo set theory are stated for objects, some of which (but not necessarily all) are sets, and the remaining objects are urelements and not sets. Zermelo's language implicitly includes a membership relation ∈, an equality relation = (if it is not included in the underlying logic), and a unary predicate saying whether an object is a set. Later versions of set theory often assume that all objects are sets so there are no urelements and there is no need for the unary ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
General Set Theory
General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano axioms. Ontology The ontology of GST is identical to that of ZFC, and hence is thoroughly canonical. GST features a single primitive ontological notion, that of set, and a single ontological assumption, namely that all individuals in the universe of discourse (hence all mathematical objects) are sets. There is a single primitive binary relation, set membership; that set ''a'' is a member of set ''b'' is written ''a ∈ b'' (usually read "''a'' is an element of ''b''"). Axioms The symbolic axioms below are from Boolos (1998: 196), and govern how sets behave and interact. As with Z, the background logic for GST is first order logic with identity. Indeed, GST is the fragment of Z obtained by omitting the axioms Union, Power Set, Element ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zermelo Set Theory
Zermelo set theory (sometimes denoted by Z-), as set out in a seminal paper in 1908 by Ernst Zermelo, is the ancestor of modern Zermelo–Fraenkel set theory (ZF) and its extensions, such as von Neumann–Bernays–Gödel set theory (NBG). It bears certain differences from its descendants, which are not always understood, and are frequently misquoted. This article sets out the original axioms, with the original text (translated into English) and original numbering. The axioms of Zermelo set theory The axioms of Zermelo set theory are stated for objects, some of which (but not necessarily all) are sets, and the remaining objects are urelements and not sets. Zermelo's language implicitly includes a membership relation ∈, an equality relation = (if it is not included in the underlying logic), and a unary predicate saying whether an object is a set. Later versions of set theory often assume that all objects are sets so there are no urelements and there is no need for the unary ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Constructive Set Theory
Constructivism may refer to: Art and architecture * Constructivism (art), an early 20th-century artistic movement that extols art as a practice for social purposes * Constructivist architecture, an architectural movement in the Soviet Union in the 1920s and 1930s * British Constructivists, a group of British artists who were active between 1951 and 1955. Education * Constructivism (philosophy of education), a theory about the nature of learning that focuses on how humans make meaning from their experiences * Constructivism in science education * Constructivist teaching methods, based on constructivist learning theory Mathematics * Constructivism (philosophy of mathematics), a logic for founding mathematics that accepts only objects that can be effectively constructed * Constructivist set theory * Constructivist type theory Philosophy * Constructivism (philosophy of mathematics), a philosophical view that asserts the necessity of constructing a mathematical object to p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scott–Potter Set Theory
An approach to the foundations of mathematics that is of relatively recent origin, Scott–Potter set theory is a collection of nested axiomatic set theories set out by the philosopher Michael Potter, building on earlier work by the mathematician Dana Scott and the philosopher George Boolos. Potter (1990, 2004) clarified and simplified the approach of Scott (1974), and showed how the resulting axiomatic set theory can do what is expected of such theory, namely grounding the cardinal and ordinal numbers, Peano arithmetic and the other usual number systems, and the theory of relations. ZU etc. Preliminaries This section and the next follow Part I of Potter (2004) closely. The background logic is first-order logic with identity. The ontology includes urelements as well as sets, which makes it clear that there can be sets of entities defined by first-order theories not based on sets. The urelements are not essential in that other mathematical structures can be defined as sets, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kripke–Platek Set Theory With Urelements
The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements, based on the traditional (urelement-free) Kripke–Platek set theory. It is considerably weaker than the (relatively) familiar system ZFU. The purpose of allowing urelements is to allow large or high-complexity objects (such as the set of all reals) to be included in the theory's transitive models without disrupting the usual well-ordering and recursion-theoretic properties of the constructible universe; KP is so weak that this is hard to do by traditional means. Preliminaries The usual way of stating the axioms presumes a two sorted first order language L^* with a single binary relation symbol \in. Letters of the sort p,q,r,... designate urelements, of which there may be none, whereas letters of the sort a,b,c,... designate sets. The letters x,y,z,... may denote both sets and urelements. The letters for sets may appear on both sides of \in, while those for urelements may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kripke–Platek Set Theory
The Kripke–Platek set theory (KP), pronounced , is an axiomatic set theory developed by Saul Kripke and Richard Platek. The theory can be thought of as roughly the predicative part of Zermelo–Fraenkel set theory (ZFC) and is considerably weaker than it. Axioms In its formulation, a Δ0 formula is one all of whose quantifiers are bounded. This means any quantification is the form \forall u \in v or \exist u \in v. (See the Lévy hierarchy.) * Axiom of extensionality: Two sets are the same if and only if they have the same elements. * Axiom of induction: φ(''a'') being a formula, if for all sets ''x'' the assumption that φ(''y'') holds for all elements ''y'' of ''x'' entails that φ(''x'') holds, then φ(''x'') holds for all sets ''x''. * Axiom of empty set: There exists a set with no members, called the empty set and denoted . * Axiom of pairing: If ''x'', ''y'' are sets, then so is , a set containing ''x'' and ''y'' as its only elements. * Axiom of union: For any set ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Double Extension Set Theory
In mathematics, the Double extension set theory (DEST) is an axiomatic set theory proposed by Andrzej Kisielewicz consisting of two separate membership relations on the universe of sets, denoted here by \in and \varepsilon, and a set of axioms relating the two. The intention behind defining the two membership relations is to avoid the usual paradoxes of set theory Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ..., without substantially weakening the axiom of unrestricted comprehension. Intuitively, in DEST, comprehension is used to define the elements of a set under one membership relation using formulas that involve only the other membership relation. Let \phi(x) be a first-order formula with free variable x in the language of DEST not involving the membership relation \varepsilo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
S (set Theory)
S is an axiomatic set theory set out by George Boolos in his 1989 article, "Iteration Again". S, a first-order theory, is two-sorted because its ontology includes "stages" as well as sets. Boolos designed S to embody his understanding of the "iterative conception of set" and the associated iterative hierarchy. S has the important property that all axioms of Zermelo set theory ''Z'', except the axiom of extensionality and the axiom of choice, are theorems of S or a slight modification thereof. Ontology Any grouping together of mathematical, abstract, or concrete objects, however formed, is a ''collection'', a synonym for what other set theories refer to as a class. The things that make up a collection are called elements or members. A common instance of a collection is the domain of discourse of a first-order theory. All sets are collections, but there are collections that are not sets. A synonym for collections that are not sets is proper class. An essential task of ax ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
