Urelement - Urelements in Set Theory

Urelements in Set Theory

The Zermelo set theory of 1908 included urelements. It was soon realized that in the context of this and closely related axiomatic set theories, the urelements were not needed because they can easily be modeled in a set theory without urelements. Thus standard expositions of the canonical axiomatic set theories ZF and ZFC do not mention urelements. (For an exception, see Suppes.) Axiomatizations of set theory that do invoke urelements include Kripke–Platek set theory with urelements, and the variant of Von Neumann–Bernays–Gödel set theory described by Mendelson. In type theory, an object of type 0 can be called an urelement; hence the name "atom."

Adding urelements to the system New Foundations (NF) to produce NFU has surprising consequences. In particular, Jensen proved the consistency of NFU relative to Peano arithmetic; meanwhile, the consistency of NF relative to anything remains an open problem. Moreover, NFU remains relatively consistent when augmented with an axiom of infinity and the axiom of choice. Meanwhile, the negation of the axiom of choice is, curiously, an NF theorem. Holmes (1998) takes these facts as evidence that NFU is a more successful foundation for mathematics than NF. Holmes further argues that set theory is more natural with than without urelements, since we may take as urelements the objects of any theory or of the physical universe.

Read more about this topic:  Urelement

Other articles related to "set":

Science Fiction Set in The 23rd Century - Games - Computer Games
... Quake 4 is set in the year 2245, as stated in the USS Hannibal's terminals ... StarQuest Online is set around 2216 ... versus Predator 2, a computer game, is set between November 23, 2230 and January 7, 2231 ...
Instruction Set
... An instruction set, or instruction set architecture (ISA), is the part of the computer architecture related to programming, including the native data types, instructions, registers, addressing modes, memory ... An ISA includes a specification of the set of opcodes (machine language), and the native commands implemented by a particular processor ... Instruction set architecture is distinguished from the microarchitecture, which is the set of processor design techniques used to implement the ...
Star Frontiers - Products
... The basic boxed set was renamed "Alpha Dawn" after the expansions began publication ... It included two ten-sided dice, a large set of cardboard counters, and a folding map with a futuristic city on one side and various wilderness areas ... A second boxed set called "Knight Hawks" followed shortly ...
Ignition Magneto - Automobile
... engines as well as some early luxury cars have had dual-plugged systems with one set of plugs fired by a magneto, and the other set wired to a coil, dynamo, and battery circuit ... other hand, battery ignition systems have almost always had a timing advance system which can set the timing to the best setting for the speed the engine is ...
200 Series Shinkansen - Preserved Examples
221-1 and 237-1 (ex-set E1, later F30) at Sendai General Shinkansen Depot 215-1, 222-1, 226-1 (all ex-set E1, later F30), and 249-5 (ex-set H5 ...

Famous quotes containing the words theory and/or set:

    The theory of the Communists may be summed up in the single sentence: Abolition of private property.
    Karl Marx (1818–1883)

    Old people love to give good advice to console themselves for no longer being able to set a bad example.
    François, Duc De La Rochefoucauld (1613–1680)