About: General set theory

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: General set theory Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatSystemsOfSetTheory, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/9fx4W1ZanG

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.

Attributes	Values
rdf:type	yago:Artifact100021939 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 yago:System104377057 yago:Whole100003553 yago:WikicatSystemsOfSetTheory
rdfs:label	General set theory (en) Загальна теорія множин (uk)
rdfs:comment	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. (en) Загальна теорія множин (англ. General set theory — GST) викладена в його статті «Iteration again». (uk)
dcterms:subject	Z notation Systems of set theory
Wikipage page ID	9373204 (xsd:integer)
Wikipage revision ID	1081886774 (xsd:integer)
Link from a Wikipage to another Wikipage	Element (mathematics) Binary relation Z notation Peano arithmetic Peano axioms Richard Montague Von Neumann–Bernays–Gödel set theory Decidability (logic) Infinite set Interpretability Consistency Mathematical analysis Russell's paradox Mathematical object Geometry George Boolos Theorem Andrzej Mostowski Stanford Encyclopedia of Philosophy Empty set Identity (philosophy) Successor ordinal Axiom of Extensionality Axiom schema of specification Axiomatic set theory Burali-Forti paradox Domain of a function Robinson arithmetic Adjoint functor Alfred Tarski First-order logic Cardinality Frege Necessary and sufficient condition Primitive notion Quantifier (logic) Relation algebra Restriction (mathematics) Gödel's incompleteness theorem The Foundations of Arithmetic Systems of set theory Hereditarily finite set ZFC Axiom of empty set Axiom of infinity Axiom of power set Axiom of union Axiom schema Natural number Naïve set theory Ontology Cantor's paradox Set (mathematics) Universe of discourse Zermelo set theory Axiom of Adjunction Pairing axiom Foundation of mathematics First order logic Raphael Robinson Peano's axioms Binary predicate
Link from a Wikipage to an external page	http://plato.stanford.edu/entries/set-theory/
sameAs	General set theory General set theory General set theory General set theory General set theory
dbp:wikiPageUsesTemplate	dbt:Set_theory dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Mathematical_logic
has abstract	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. (en) Загальна теорія множин (англ. General set theory — GST) викладена в його статті «Iteration again». (uk)
gold:hypernym	Name
prov:wasDerivedFrom	wikipedia-en:General_set_theory?oldid=1081886774&ns=0
page length (characters) of wiki page	8899 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:General_set_theory
is Link from a Wikipage to another Wikipage of	List of first-order theories Peano axioms GST List of set theory topics George Boolos Constructive set theory

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software