About: Ackermann set theory

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

About: Ackermann 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/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FAckermann_set_theory&invfp=IFP_OFF&sas=SAME_AS_OFF

In mathematics and logic, Ackermann set theory (AST) is an axiomatic set theory proposed by Wilhelm Ackermann in 1956.

Attributes	Values
rdf:type	work yago:Artifact100021939 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 yago:System104377057 yago:Whole100003553 yago:WikicatSystemsOfSetTheory
rdfs:label	Ackermann-Mengenlehre (de) Ackermann set theory (en)
rdfs:comment	In mathematics and logic, Ackermann set theory (AST) is an axiomatic set theory proposed by Wilhelm Ackermann in 1956. (en) Die Ackermann-Mengenlehre ist eine axiomatische Mengenlehre, die 1955 von Wilhelm Ackermann angegeben wurde. Er versuchte in ihr, Cantors Mengendefinition in ein präzises Axiomensystem umzusetzen. Die Ackermann-Mengenlehre erweitert die Zermelo-Fraenkel-Mengenlehre ZFC um Klassen (dort: Gesamtheiten), unterscheidet sich aber von der bekannteren Neumann-Bernays-Gödel-Mengenlehre dadurch, dass echte Klassen auch Elemente anderer Klassen sein können und es daher auch kleine echte Klassen gibt. Die ZFC-Axiome gelten dort nur in einem echten Teilbereich, der das Fundierungsaxiom erfüllt (man kann ihn mit Neumanns kumulativer Hierarchie aussondern). Die Ackermann-Mengenlehre enthält daher einen erweiterten Mengenbereich mit nicht-fundierten Mengen und kann als Verallgemeinerung der üblichen ZFC- (de)
dcterms:subject	Systems of set theory
Wikipage page ID	8635441 (xsd:integer)
Wikipage revision ID	1111392367 (xsd:integer)
Link from a Wikipage to another Wikipage	Azriel Levy Proper class Binary relation Von Neumann–Bernays–Gödel set theory Interpretability Constant (mathematics) Mathematics Conservative extension Logic Zermelo–Fraenkel set theory Axiomatic set theory Wilhelm Ackermann Alternative set theory First-order logic Formal language Foundations of mathematics Free variable Quantifier (logic) Reflection principle Systems of set theory Axiom of extensionality Axiom of regularity Category theory Von Neumann universe Zermelo set theory Axiom of comprehension Axiom of heredity Equiconsistent Set membership
sameAs	Ackermann set theory Ackermann set theory Ackermann set theory Ackermann set theory Ackermann set theory Ackermann set theory
dbp:wikiPageUsesTemplate	dbt:About dbt:Reflist dbt:Short_description
has abstract	Die Ackermann-Mengenlehre ist eine axiomatische Mengenlehre, die 1955 von Wilhelm Ackermann angegeben wurde. Er versuchte in ihr, Cantors Mengendefinition in ein präzises Axiomensystem umzusetzen. Die Ackermann-Mengenlehre erweitert die Zermelo-Fraenkel-Mengenlehre ZFC um Klassen (dort: Gesamtheiten), unterscheidet sich aber von der bekannteren Neumann-Bernays-Gödel-Mengenlehre dadurch, dass echte Klassen auch Elemente anderer Klassen sein können und es daher auch kleine echte Klassen gibt. Die ZFC-Axiome gelten dort nur in einem echten Teilbereich, der das Fundierungsaxiom erfüllt (man kann ihn mit Neumanns kumulativer Hierarchie aussondern). Die Ackermann-Mengenlehre enthält daher einen erweiterten Mengenbereich mit nicht-fundierten Mengen und kann als Verallgemeinerung der üblichen ZFC-Mengenlehre und der Zermelo-Mengenlehre angesehen werden. (de) In mathematics and logic, Ackermann set theory (AST) is an axiomatic set theory proposed by Wilhelm Ackermann in 1956. (en)
gold:hypernym	Version
prov:wasDerivedFrom	wikipedia-en:Ackermann_set_theory?oldid=1111392367&ns=0
page length (characters) of wiki page	5994 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Ackermann_set_theory
is Link from a Wikipage to another Wikipage of	List of first-order theories Wilhelm Ackermann Alternative set theory Ackermann Ackermann Set Theory Reflection principle William Reinhardt Axiom of heredity
is Wikipage redirect of	Ackermann Set Theory Axiom of heredity
is Wikipage disambiguates of	Ackermann
is foaf:primaryTopic of	wikipedia-en:Ackermann_set_theory

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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