TY  - GEN
ID  - cogprints336
UR  - http://cogprints.org/336/
A1  - Akman, Varol
Y1  - 1997/10//
N2  - This is a review of Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, by Jon Barwise and Lawrence Moss, published by CSLI (Center for the Study of Language and Information) Publications in 1996.
KW  - ZF (Zermelo-Fraenkel) set theory
KW  -  circularity
KW  -  paradox
KW  -  non-wellfounded sets (hypersets)
KW  -  bisimulation
KW  -  The Solution Lemma
KW  -  AFA (anti-foundation axiom)
KW  -  modal logic
KW  -  games
KW  -  greatest fixed points.
TI  - Book Review -- Jon Barwise and Lawrence Moss, Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena
SP  - 460
AV  - public
EP  - 464
ER  -

<script src='https://archive-bar.soton.ac.uk/archive-bar.js'></script>
<script src='https://archive-bar.soton.ac.uk/google-analytics.js'></script>