Largest fixed points of set continuous operators and Boffa's Anti-Foundation

✍ Scribed by Hisato Muraki

• Publisher: John Wiley and Sons
• Year: 2005
• Tongue: English
• Weight: 180 KB
• Volume: 51
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200410039

✦ Synopsis

In Aczel [1], the existence of largest (written "greatest" in Barwise and Moss [2]) fixed points of set continuous operators is proved assuming the schema version of dependent choices in Zermelo-Fraenkel set theory without the axiom of Foundation. In the present paper, we study whether the existence of largest fixed points of set continuous operators is provable without the schema version of dependent choices, using Boffa's weak antifoundation axioms.