Narrow Your Search
Related Names
| Narrow: Who Is the Founder of Set Theory · Set Theory Tutorial · Set Theory for Dummies |
![]() |
Encyclopedia: Non-well-founded set theory Source:Wikipedia
Non-well founded set theories
are variants of
axiomatic set theory
which allow sets to contain themselves and otherwise violate the rule of
well-foundedness
. In non-well founded set theories, the
foundation axiom
of
ZFC
is replaced by axioms implying its negation. The theory
...
More »
|
Non-well founded set theories are variants of axiomatic set theory which allow sets to contain themselves and otherwise violate the rule of well-foundedness. In non-well founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation.
en.wikipedia.org/wiki/Non-well-founded_set_theory
en.wikipedia.org/wiki/Non-well-founded_set_theory
Aczel's anti-foundation axiom is an axiom set forth by Aczel (1988). It states that every finite graph corresponds to one or more sets. In particular, the graph consisting of a single vertex with a loop corresponds to a set which contains itself. See also Axiom of foundation von Neumann universe...
en.wikipedia.org/wiki/Aczel's_anti-foundation_axiom
en.wikipedia.org/wiki/Aczel's_anti-foundation_axiom
|
27k - 4 sec @ 56k
|
Modal Logic and non-well-founded Set Theory: translation, ... |
Modal Logic and non-well-founded Set Theory: translation, bisimulation, interpolation (1998) (Make Corrections) Giovanna D'Agostino Home/Search Context Related
citeseer.ist.psu.edu/agostino98modal.html
|
27k - 4 sec @ 56k
|
On Modal -Calculus and (ResearchIndex) |
On Modal -Calculus and (Make Corrections) Non-Well-Founded Set Theory Luca Alberucci Vincenzo Salipante Home/Search Context Related
citeseer.ist.psu.edu/590298.html
On Modal -Calculus and (Make Corrections) Non-Well-Founded Set Theory Luca Alberucci Vincenzo Salipante @ NUS Home/Search Context Related View or download: iam.unibe.ch/~til ...
citeseer.comp.nus.edu.sg/590298.html
Non-well founded set theories are variants of axiomatic set theory which allow sets to contain themselves and otherwise violate the rule of well-foundedness. In...
www.wik3.zalownia.com/Non-well-founded_set_theory.html
www.wik3.zalownia.com/Non-well-founded_set_theory.html
|
123k - 18 sec @ 56k
|
On modal mu-calculus and non-well-founded set theory — TIL |
You are here: Home → Publications → PubItems → On modal mu-calculus and non-well-founded set theory...
www.iam.unibe.ch/til/publications/pubitems/as04
A selection of articles related to non-well-founded set theory ... A Wisdom Archive on non-well-founded set theory...
www.experiencefestival.com/non-well-founded_set_theory
www.experiencefestival.com/non-well-founded_set_theory
|
120k - 17 sec @ 56k
|
Non-well-founded set theory Information |
Non-well-founded set theory summary with 2 pages of encyclopedia entries, research information, and more. ... Another, more recent, approach to non-well-founded set theory, pioneered by M. ...
www.bookrags.com/Hyperset
www.bookrags.com/Hyperset
rdfs:label Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory.
dblp.l3s.de/d2r/resource/publications/conf/tableaux/Pia...
dblp.l3s.de/d2r/resource/publications/conf/tableaux/PiazzaP00
