Matches in DBpedia 2014 for { <http://dbpedia.org/resource/S_(set_theory)> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- S_(set_theory) abstract "S is an axiomatic set theory set out by George Boolos in his article, Boolos (1989). 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.".
- S_(set_theory) wikiPageID "31080143".
- S_(set_theory) wikiPageRevisionID "534332821".
- S_(set_theory) hasPhotoCollection S_(set_theory).
- S_(set_theory) subject Category:Set_theory.
- S_(set_theory) subject Category:Systems_of_set_theory.
- S_(set_theory) subject Category:Z_notation.
- S_(set_theory) type Artifact100021939.
- S_(set_theory) type Instrumentality103575240.
- S_(set_theory) type Object100002684.
- S_(set_theory) type PhysicalEntity100001930.
- S_(set_theory) type System104377057.
- S_(set_theory) type SystemsOfSetTheory.
- S_(set_theory) type Whole100003553.
- S_(set_theory) comment "S is an axiomatic set theory set out by George Boolos in his article, Boolos (1989). 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.".
- S_(set_theory) label "S (set theory)".
- S_(set_theory) sameAs m.0gg5qvg.
- S_(set_theory) sameAs Q7395333.
- S_(set_theory) sameAs Q7395333.
- S_(set_theory) sameAs S_(set_theory).
- S_(set_theory) wasDerivedFrom S_(set_theory)?oldid=534332821.
- S_(set_theory) isPrimaryTopicOf S_(set_theory).