Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Aczel's_anti-foundation_axiom> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- Aczel's_anti-foundation_axiom abstract "In the foundations of mathematics, Aczel's anti-foundation axiom is an axiom set forth by Peter Aczel (1988), as an alternative to the axiom of foundation in Zermelo–Fraenkel set theory. It states that every accessible pointed directed graph corresponds to a unique set. In particular, according to this axiom, the graph consisting of a single vertex with a loop corresponds to a set which contains only itself as element, i.e. a Quine atom. A set theory obeying this axiom is necessarily a non-well-founded set theory.".
- Aczel's_anti-foundation_axiom wikiPageExternalLink jiis.pdf.
- Aczel's_anti-foundation_axiom wikiPageExternalLink chapter_seven.htm.
- Aczel's_anti-foundation_axiom wikiPageExternalLink contents.html.
- Aczel's_anti-foundation_axiom wikiPageID "8933657".
- Aczel's_anti-foundation_axiom wikiPageRevisionID "584932093".
- Aczel's_anti-foundation_axiom authorlink "Peter Aczel".
- Aczel's_anti-foundation_axiom first "Peter".
- Aczel's_anti-foundation_axiom hasPhotoCollection Aczel's_anti-foundation_axiom.
- Aczel's_anti-foundation_axiom last "Aczel".
- Aczel's_anti-foundation_axiom year "1988".
- Aczel's_anti-foundation_axiom subject Category:Axioms_of_set_theory.
- Aczel's_anti-foundation_axiom subject Category:Directed_graphs.
- Aczel's_anti-foundation_axiom type Abstraction100002137.
- Aczel's_anti-foundation_axiom type AuditoryCommunication107109019.
- Aczel's_anti-foundation_axiom type AxiomsOfSetTheory.
- Aczel's_anti-foundation_axiom type Communication100033020.
- Aczel's_anti-foundation_axiom type Maxim107152948.
- Aczel's_anti-foundation_axiom type Saying107151380.
- Aczel's_anti-foundation_axiom type Speech107109196.
- Aczel's_anti-foundation_axiom comment "In the foundations of mathematics, Aczel's anti-foundation axiom is an axiom set forth by Peter Aczel (1988), as an alternative to the axiom of foundation in Zermelo–Fraenkel set theory. It states that every accessible pointed directed graph corresponds to a unique set. In particular, according to this axiom, the graph consisting of a single vertex with a loop corresponds to a set which contains only itself as element, i.e. a Quine atom.".
- Aczel's_anti-foundation_axiom label "Aczel's anti-foundation axiom".
- Aczel's_anti-foundation_axiom label "Axiome d'anti-fondation".
- Aczel's_anti-foundation_axiom sameAs Axiome_d'anti-fondation.
- Aczel's_anti-foundation_axiom sameAs m.027q832.
- Aczel's_anti-foundation_axiom sameAs Q2874789.
- Aczel's_anti-foundation_axiom sameAs Q2874789.
- Aczel's_anti-foundation_axiom sameAs Aczel's_anti-foundation_axiom.
- Aczel's_anti-foundation_axiom wasDerivedFrom Aczel's_anti-foundation_axiom?oldid=584932093.
- Aczel's_anti-foundation_axiom isPrimaryTopicOf Aczel's_anti-foundation_axiom.