Non-well-founded set theory
Em ZFC sem o axioma da regularidade, a possibilidade de infundados conjuntos surgem. Estes conjuntos, se existem, são também chamados hiperconjuntos. Claramente, se A ∈ A, então A é um hiperconjunto. Em 1988, Peter Aczel publicou um trabalho influente, Non-Well-Founded Sets (Conjuntos Não-Bem-Fundados). A teoria dos hiperconjuntos tem sido aplicada à ciência computacional (processamento algébrico e semântica limite), linguística (teoria da situação), e filosofia (trabalho sobre o paradoxo de Liar).
Aczel's anti-foundation axiomAlternative set theoryAxiom of regularityAxiom of superuniversalityCircular definitionConstructive set theoryCorecursionDmitry MirimanoffEpsilon-inductionFinite setFuzzy conceptGeneral formal ontologyHereditary setHypersetJon BarwiseLiar paradoxMostowski collapse lemmaNew FoundationsNon-well-founded setNon-well-founded set theoriesNon-wellfounded set theoryNonstandard set theoryNonwellfounded set theoryOrdinal numberPaul FinslerPeter AczelRevision theoryRooted graphSelf-similaritySituation semanticsSituation theoryUniversal setUrelement
Link from a Wikipage to another Wikipage
primaryTopic
Non-well-founded set theory
Em ZFC sem o axioma da regularidade, a possibilidade de infundados conjuntos surgem. Estes conjuntos, se existem, são também chamados hiperconjuntos. Claramente, se A ∈ A, então A é um hiperconjunto. Em 1988, Peter Aczel publicou um trabalho influente, Non-Well-Founded Sets (Conjuntos Não-Bem-Fundados). A teoria dos hiperconjuntos tem sido aplicada à ciência computacional (processamento algébrico e semântica limite), linguística (teoria da situação), e filosofia (trabalho sobre o paradoxo de Liar).
has abstract
Em ZFC sem o axioma da regular ...... lho sobre o paradoxo de Liar).
@pt
La théorie des ensembles non b ...... ) et en analyse non standard.
@fr
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,021,650,510
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
comment
Em ZFC sem o axioma da regular ...... lho sobre o paradoxo de Liar).
@pt
La théorie des ensembles non b ...... axiome impliquant sa négation.
@fr
label
Hiperconjunto
@pt
Non-well-founded set theory
@en
Théorie des ensembles non bien fondés
@fr