In set theory, a branch of mathematics, an urelement or ur-element (from the German prefix ur-, 'primordial') is an object that is not a set (has no elements)...
8 KB (995 words) - 13:02, 29 June 2024
theory) Atomic formula, a single predicate in first-order logic Atom, an urelement in set theory Intel Atom, a line of microprocessors Atom (system on chip)...
4 KB (598 words) - 05:54, 14 May 2024
Logical property of being the one and only object satisfying a condition Urelement – Concept in set theory Stoll, Robert (1961). Sets, Logic and Axiomatic...
6 KB (834 words) - 00:10, 15 July 2024
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...
5 KB (664 words) - 21:23, 21 April 2024
New Foundations (category Urelements)
consistency of NF. NF with urelements (NFU) is an important variant of NF due to Jensen and clarified by Holmes. Urelements are objects that are not sets...
50 KB (8,043 words) - 18:58, 22 July 2024
which are stronger than ZFC. The above systems can be modified to allow urelements, objects that can be members of sets but that are not themselves sets...
41 KB (5,051 words) - 03:20, 11 September 2024
whenever x ∈ A {\displaystyle x\in A} , and x {\displaystyle x} is not an urelement, then x {\displaystyle x} is a subset of A {\displaystyle A} . Similarly...
12 KB (1,221 words) - 23:59, 24 August 2024
Administration of the German government Zermelo–Fraenkel set theory with atoms, a urelement This disambiguation page lists articles associated with the title ZFA...
507 bytes (88 words) - 11:54, 15 May 2020
Zermelo (1930). Urelements are objects that are not sets, but which can be elements of sets. In ZF set theory, there are no urelements, but in some other...
24 KB (2,942 words) - 17:56, 1 September 2024
Axiom of extensionality (category Urelements)
The axiom of extensionality, also called the axiom of extent, is an axiom used in many forms of axiomatic set theory, such as Zermelo–Fraenkel set theory...
7 KB (966 words) - 20:50, 26 August 2024
axioms of Zermelo's set theory with urelements. Later work by Paul Cohen showed that the addition of urelements is not needed, and the axiom of choice...
68 KB (8,331 words) - 20:24, 9 September 2024
set theories. In set theories with urelements, one has to further make sure that the definition excludes urelements from appearing in ordinals. If α is...
48 KB (6,719 words) - 01:48, 8 September 2024
Korea Polytechnic University, South Korea Kripke–Platek set theory with urelements, an axiom system for set theory Kwantlen Polytechnic University, a public...
544 bytes (94 words) - 19:04, 21 February 2023
Axiomatic set theory General set theory Kripke–Platek set theory with urelements Morse–Kelley set theory Naive set theory New Foundations Pocket set theory...
9 KB (448 words) - 16:05, 3 August 2022
theory refer only to pure sets and prevent its models from containing urelements (elements of sets that are not themselves sets). Furthermore, proper classes...
46 KB (6,221 words) - 09:31, 9 September 2024
proposed in 1908 the inclusion of urelements, from which he constructed a transfinite recursive hierarchy in 1930. Such urelements are used extensively in model...
21 KB (2,809 words) - 09:08, 28 May 2024
of models in first-order logic. (See Löwenheim–Skolem theorem) urelement An urelement is something that is not a set but allowed to be an element of a...
91 KB (11,519 words) - 01:11, 8 September 2024
Choice. A modification of NF, NFU, due to R. B. Jensen and admitting urelements (entities that can be members of sets but that lack elements), turns out...
57 KB (6,501 words) - 14:50, 31 May 2024
early as 1922 that the axiom of choice may fail in a variant of ZF with urelements, through the technique of permutation models introduced by Abraham Fraenkel...
58 KB (7,665 words) - 16:14, 21 August 2024
which (but not necessarily all) are sets, and the remaining objects are urelements and not sets. Zermelo's language implicitly includes a membership relation...
15 KB (2,239 words) - 00:56, 10 September 2024
Holden-Day. p. xix. ASIN B0006BQH7S. M. Randall Holmes: Inhomogeneity of the urelements in the usual models of NFU, December 29, 2005, on: Semantic Scholar, p...
19 KB (2,429 words) - 17:46, 27 July 2024
formulas with bounded quantifiers, as in Kripke–Platek set theory with urelements. The axiom schema of specification is implied by the axiom schema of replacement...
15 KB (2,194 words) - 20:50, 26 August 2024
replacements: "If M is a set and each element of M is replaced by [a set or an urelement] then M turns into a set again" (parenthetical completion and translation...
21 KB (3,469 words) - 14:41, 20 August 2024
of choice cannot be proved from the axioms of Zermelo set theory with urelements. 1931: Publication of Gödel's incompleteness theorems, showing that essential...
52 KB (6,887 words) - 08:33, 23 August 2024
Alternative set theory Axiomatic set theory Kripke–Platek set theory with urelements Morse–Kelley set theory Naive set theory New Foundations Positive set...
14 KB (1,012 words) - 19:53, 12 November 2023
theory, called ZU because it is equivalent to Zermelo set theory with urelements Zu (fish), a genus of ribbonfish Ziauddin University Zeppelin University...
2 KB (216 words) - 11:28, 17 April 2024
hereditary set is interesting only in a context in which there may be urelements. The inductive definition of hereditary sets presupposes that set membership...
2 KB (279 words) - 23:26, 24 August 2022
Counter-examples to the reverse implications (from weak to strong) in ZF with urelements are found using model theory. Most of these finiteness definitions and...
15 KB (1,998 words) - 22:34, 22 June 2024
Spezia Calcio owner Kripke–Platek set theory Kripke–Platek set theory with urelements This page lists people with the surname Płatek. If an internal link intending...
1,002 bytes (140 words) - 17:29, 22 March 2023
inaccessible cardinal axiom) are denoted ZFCU (not to be confused with ZFC with urelements). This axiomatic system is useful to prove for example that every category...
16 KB (2,223 words) - 07:35, 21 August 2024