Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Non-well-founded set theory
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
== References == * {{citation |last=Aczel |first=Peter |title=Non-Well-Founded Sets |series=CSLI Lecture Notes |volume=14 |publisher=Stanford University, Center for the Study of Language and Information |place=Stanford, CA |year=1988 |pages=[https://archive.org/details/nonwellfoundedse0000acze/page/ xx+137] |isbn=0-937073-22-9 |url=https://archive.org/details/nonwellfoundedse0000acze/page/ |postscript=. |mr=0940014}} * {{citation |first1=David |last1=Ballard |first2=Karel |last2=Hrbáček |title=Standard foundations for nonstandard analysis |journal=Journal of Symbolic Logic |volume=57 |year=1992 |pages=741–748 |postscript=. |jstor=2275304 |issue=2|doi=10.2307/2275304|s2cid=39158351 }} * {{citation |last1=Barwise |first1=Jon |last2=Etchemendy |first2=John |year=1987 |title=The Liar: An Essay on Truth and Circularity |publisher=Oxford University Press |url=https://books.google.com/books?id=L3M8DwAAQBAJ |isbn=9780195059441}} * {{citation |first1=Jon |last1=Barwise |first2=Lawrence S. |last2=Moss |title=Vicious circles. On the mathematics of non-wellfounded phenomena |series=CSLI Lecture Notes |volume=60 |publisher=CSLI Publications |year=1996 |isbn=1-57586-009-0 }} * {{citation |last=Boffa. |first=M. |title=Les ensembles extraordinaires |journal=Bulletin de la Société Mathématique de Belgique |volume=20 |pages=3–15 |year=1968 |zbl=0179.01602}} * {{citation |last=Boffa |first=M. |title=Forcing et négation de l'axiome de Fondement |journal=Acad. Roy. Belgique, Mém. Cl. Sci., Coll. 8∘ |series=Série II |volume=40 |issue=7 |year=1972 |zbl=0286.02068}} * {{citation |last=Devlin |first=Keith |author1-link=Keith Devlin |title=The Joy of Sets: Fundamentals of Contemporary Set Theory |year=1993 |publisher=Springer |isbn=978-0-387-94094-6|edition=2nd |chapter=§7. Non-Well-Founded Set Theory }} * {{citation |last=Finsler |first=P. |title=Über die Grundlagen der Mengenlehre. I: Die Mengen und ihre Axiome |journal=Math. Z. |volume=25 |year=1926 |pages=683–713 |jfm=52.0192.01|doi=10.1007/BF01283862 }}; translation in {{cite book |last1=Finsler |first1=Paul |last2=Booth |first2=David |title=Finsler Set Theory: Platonism and Circularity : Translation of Paul Finsler's Papers on Set Theory with Introductory Comments |year=1996 |publisher=Springer |isbn=978-3-7643-5400-8}} * {{citation |first=Michael |last=Hallett |title=Cantorian set theory and limitation of size |publisher=Oxford University Press |year=1986 |postscript=. |url=https://books.google.com/books?id=TM3AKPYdQVgC |isbn=9780198532835}} * {{citation| last1=Kanovei |first1=Vladimir |author1-link=Vladimir Kanovei |last2=Reeken |first2=Michael |title=Nonstandard Analysis, Axiomatically|year=2004 |publisher=Springer |isbn=978-3-540-22243-9}} * {{citation |first=Azriel |last=Levy |title=Basic set theory |publisher=Dover Publications |orig-year=2002 |postscript=. |url=https://books.google.com/books?id=zbGjAQAAQBAJ |year=2012 |isbn=9780486150734}} * {{citation |last1=Mirimanoff |first1=D. |title=Les antinomies de Russell et de Burali-Forti et le probleme fondamental de la theorie des ensembles |year=1917 |journal=L'Enseignement Mathématique |volume=19 |pages=37–52 |postscript=. |jfm=46.0306.01}} * {{citation | last1 = Nitta | first1 = Takashi <!-- publisher/MR metadata swapped --> | last2 = Okada | first2 = Tomoko <!-- publisher/MR metadata swapped --> | last3 = Tzouvaras | first3 = Athanassios | doi = 10.1002/malq.200310018 | issue = 2 | journal = Mathematical Logic Quarterly | mr = 1961461 | pages = 187–200 | title = Classification of non-well-founded sets and an application | url = https://users.auth.gr/~tzouvara/Texfiles.htm/non-well.pdf | volume = 49 | year = 2003}} * {{citation |last1=Pakkan |first1=M. J. |last2=Akman |first2=V. |author2-link=Varol Akman |doi=10.1007/BF00849061 |title=Issues in commonsense set theory |journal=Artificial Intelligence Review |volume=8 |issue=4 |pages=279–308 |year=1994|url=http://repository.bilkent.edu.tr/bitstream/11693/25955/1/Issues%20in%20commonsense%20set%20theory.pdf |hdl=11693/25955 |s2cid=6323872 |hdl-access=free }} * {{citation|editor1-first=Godehard |editor1-last=Link|title=One Hundred Years of Russell ́s Paradox: Mathematics, Logic, Philosophy|year=2004|publisher=Walter de Gruyter|isbn=978-3-11-019968-0 |chapter=Predicativity, Circularity, and Anti-Foundation |last=Rathjen |first=M. | chapter-url=http://www1.maths.leeds.ac.uk/~rathjen/russelle.pdf}} * {{citation |first=Davide |last=Sangiorgi | year=2011 |chapter=Origins of bisimulation and coinduction | editor1-first = Davide | editor1-last = Sangiorgi | editor2-first = Jan |editor2-last=Rutten |title=Advanced Topics in Bisimulation and Coinduction |publisher=Cambridge University Press| isbn=978-1-107-00497-9}} * {{citation |last=Scott |first=Dana |title=A different kind of model for set theory |work=Unpublished paper, talk given at the 1960 Stanford Congress of Logic, Methodology and Philosophy of Science |year=1960}}
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)