This HTML5 document contains 115 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n21https://global.dbpedia.org/id/
n5http://us.metamath.org/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
n12https://randall-holmes.github.io/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n8http://plato.stanford.edu/entries/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n17http://setis.library.usyd.edu.au/stanford/entries/settheory-alternative/

Statements

Subject Item
dbr:Implementation_of_mathematics_in_set_theory
rdf:type
yago:Event100029378 yago:PsychologicalFeature100023100 yago:Act100030358 yago:YagoPermanentlyLocatedEntity yago:Undertaking100795720 yago:WikicatLarge-scaleMathematicalFormalizationProjects yago:Abstraction100002137 yago:Work100575741 yago:Activity100407535
rdfs:label
Implementation of mathematics in set theory
rdfs:comment
This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine's New Foundations shown to be consistent by R. B. Jensen in 1969 (here understood to include at least axioms of Infinity and Choice).
dcterms:subject
dbc:Mathematical_logic dbc:Large-scale_mathematical_formalization_projects dbc:Set_theory dbc:Formalism_(deductive)
dbo:wikiPageID
3486002
dbo:wikiPageRevisionID
1106460690
dbo:wikiPageWikiLink
dbr:Axiom_of_infinity dbr:Union_(set_theory) dbr:Axiom_of_pairing dbr:Axiom_of_choice dbr:Theory_of_descriptions dbr:Bijection dbr:Set-builder_notation dbr:Equivalence_relation dbr:Stratified_formula dbr:Transitive_relation dbr:Mirimanoff's_paradox dbr:Cartesian_product dbr:Bertrand_Russell dbr:Axiomatic_set_theory dbr:Measurable_cardinal dbr:Function_composition dbr:Antisymmetric_relation dbr:Well-founded_relation dbr:Injective_function dbr:Function_(mathematics) dbc:Mathematical_logic dbr:Cantor's_paradox dbr:Urelement dbr:Zermelo–Fraenkel_set_theory dbr:Binary_relation dbr:Ordinal_number dbr:Binary_predicate dbr:Principia_Mathematica dbr:Partial_order dbr:Mahlo_cardinals dbr:Well-ordering dbr:Axiom_schema_of_separation dbr:Von_Neumann_ordinal dbr:Predicate_(logic) dbr:Formal_language dbr:Injective dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Converse_relation dbr:Axiom_of_replacement dbr:Projection_(mathematics) dbr:Inverse_function dbr:Surjection dbr:Up_to dbr:Peano_arithmetic dbr:R._B._Jensen dbc:Large-scale_mathematical_formalization_projects dbr:Well-formed_formula dbr:Rank_(set_theory) dbr:Transfinite_recursion dbr:Image_(mathematics) dbr:Preimage dbr:Cantor–Bernstein–Schroeder_theorem dbr:Kazimierz_Kuratowski dbr:Empty_set dbr:Keith_Devlin dbr:Natural_numbers dbr:Class_(set_theory) dbc:Set_theory dbr:Symmetric_relation dbr:Large_cardinal_property dbr:Scott's_trick dbr:John_von_Neumann dbr:Relation_composition dbr:Free_variables_and_bound_variables dbr:Zermelo_set_theory dbr:Equinumerous dbr:Cardinal_number dbr:Set_theory dbr:Stanford_Encyclopedia_of_Philosophy dbr:Dana_Scott dbr:Reflexive_relation dbr:Representative_(mathematics) dbr:First-order_logic dbr:Norbert_Wiener dbr:Relation_(mathematics) dbr:Proper_class dbc:Formalism_(deductive) dbr:Axiom_of_union dbr:ZFC dbr:New_Foundations dbr:Ordered_pair dbr:Set-theoretic_definition_of_natural_numbers dbr:Linear_order
dbo:wikiPageExternalLink
n5: n8:quine-nf n12:nf.html n17: n12:head.pdf
owl:sameAs
freebase:m.09g1mx yago-res:Implementation_of_mathematics_in_set_theory wikidata:Q17101506 n21:foWM
dbp:wikiPageUsesTemplate
dbt:Main_article dbt:Mathematical_logic
dbo:abstract
This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine's New Foundations shown to be consistent by R. B. Jensen in 1969 (here understood to include at least axioms of Infinity and Choice). What is said here applies also to two families of set theories: on the one hand, a range of theories including Zermelo set theory near the lower end of the scale and going up to ZFC extended with large cardinal hypotheses such as "there is a measurable cardinal"; and on the other hand a hierarchy of extensions of NFU which is surveyed in the New Foundations article. These correspond to different general views of what the set-theoretical universe is like, and it is the approaches to implementation of mathematical concepts under these two general views that are being compared and contrasted. It is not the primary aim of this article to say anything about the relative merits of these theories as foundations for mathematics. The reason for the use of two different set theories is to illustrate that multiple approaches to the implementation of mathematics are feasible. Precisely because of this approach, this article is not a source of "official" definitions for any mathematical concept.
prov:wasDerivedFrom
wikipedia-en:Implementation_of_mathematics_in_set_theory?oldid=1106460690&ns=0
dbo:wikiPageLength
60768
foaf:isPrimaryTopicOf
wikipedia-en:Implementation_of_mathematics_in_set_theory