Non-well-founded set theory

Non-well-founded set theory
Name	Non-well-founded set theory
Field	Set theory
Introduced	1970s
Founders	Peter Aczel
Notable works	Hyperset Theory

Non-well-founded set theory presents axiomatic alternatives to classical Zermelo–Fraenkel set theory by permitting sets that contain themselves or participate in membership cycles, challenging the traditional Axiom of Foundation while interacting with concepts from Category theory, Model theory, Automata theory, Computer science, and Philosophy of mathematics. Proponents such as Peter Aczel developed frameworks like Aczel's anti-foundation axiom to formalize hypersets and enable dualities with constructs in Domain theory, Coalgebra, Modal logic, Denotational semantics, and Process calculus. These theories have influenced work at institutions including the University of Cambridge, Massachusetts Institute of Technology, University of Oxford, Princeton University, and research groups linked to IBM Research, Microsoft Research, and CNRS.

Introduction

Non-well-founded set theory replaces the classical Axiom of Foundation of Zermelo–Fraenkel set theory with alternative axioms such as Aczel's anti-foundation axiom or related principles that validate circular membership like x ∈ x, enabling the study of hypersets and graph-based representations of sets. Foundational figures include Peter Aczel, whose work connects to Dana Scott's contributions in Domain theory and to developments by Jon Barwise, Kenneth Kunen, Paul Cohen, Solomon Feferman, and Saunders Mac Lane through categorical perspectives. The subject interfaces with Coalgebraic theory studied by J. J. M. M. Rutten and links to logical frameworks from Saul Kripke, Arthur Prior, Hilary Putnam, and Alonzo Church in contexts like modal logic and fixed-point theory.

Axiomatics and Foundations

Aczel's anti-foundation axiom (AFA) provides an alternative to the Axiom of Foundation adopted in Zermelo–Fraenkel set theory and interacts with axioms studied by Kurt Gödel in Constructible universe contexts and with independence techniques from Paul Cohen's forcing. Formal treatments relate AFA to systems developed by Dana Scott and Michael Rathjen and to categorical axioms explored by Saunders Mac Lane and Samuel Eilenberg in category theory. Alternative anti-foundation proposals have been considered by H. Jerome Keisler, Joel David Hamkins, Kenneth McAloon, and John Conway with connections to Conway's work on surreal numbers and tangential interactions with John von Neumann's cumulative hierarchy and Ernst Zermelo's early axiomatizations. Metamathematical analysis leverages techniques from Model theory attributed to Alfred Tarski, Abraham Robinson, and Saharon Shelah.

Models and Constructions

Models of non-well-founded set theory are often built via pointed, accessible, or coalgebraic constructions inspired by Coalgebra approaches of Rutten and modeled after accessibility notions used by Dana Scott and Robin Milner in process calculi. Graph-theoretic representations trace back to methods used by Paul Erdős in combinatorial set constructions and find computational analogues in Automata theory research by John E. Hopcroft, Juris Hartmanis, and Richard Karp. Categorical models use topos-theoretic ideas from William Lawvere and F. William Lawvere's colleagues, with semantics related to Functors studied by Saunders Mac Lane and Samuel Eilenberg. Constructions exploiting fixed-point theorems recall work by Stephen Kleene and Errett Bishop and echo operator-theoretic approaches from John von Neumann's functional analysis lineage.

Applications and Examples

Non-well-founded sets model phenomena with intrinsic circularity in computer science, such as denotational semantics of recursive programs studied at Carnegie Mellon University, University of Edinburgh, and Bell Labs; they inform process algebra frameworks like CCS and π-calculus developed by Robin Milner and Gordon Plotkin. In logic, hypersets interact with modal fixed-point logics investigated by Saul Kripke and Dov Gabbay, and inform semantic paradox analysis linked to Bertrand Russell and Kurt Gödel. Applications appear in linguistics models influenced by work at Massachusetts Institute of Technology (MIT) and Stanford University on self-referential semantics, and in economics literature addressing circular preference structures explored at Princeton University and London School of Economics. Examples include canonical hypersets, bisimilar graph representations from Jan Rutten's coalgebraic studies, and circular constructions analogous to those in John Conway's combinatorial game theory.

Relationships to Other Set Theories

Non-well-founded theories contrast with Zermelo–Fraenkel set theory and with Von Neumann–Bernays–Gödel set theory as they drop the Axiom of Foundation while remaining compatible with fragments of Zermelo set theory and with Constructive set theory approaches explored by Per Martin-Löf and Errett Bishop. Interactions with Large cardinal research trace back to frameworks associated with Paul Cohen and Kurt Gödel's work on independence, while categorical renditions relate to Topos theory developed by William Lawvere and Miles Reid. Comparative metatheory uses tools from Model theory by Saharon Shelah, Chang and Keisler-style ultraproduct constructions, and forcing techniques connected to Paul Cohen.

Historical Development

The field emerged in the late 20th century with seminal contributions by Peter Aczel building on prior inquiries into self-reference by Bertrand Russell, Gottlob Frege, and foundational critiques by Ludwig Wittgenstein. Developments drew on Dana Scott's semantic models, John Conway's combinatorial insights, and cross-disciplinary exchanges with researchers at University of Cambridge, Princeton University, Massachusetts Institute of Technology, University of Oxford, and University of California, Berkeley. Subsequent growth involved collaborations and seminars at institutions like Institut des Hautes Études Scientifiques, CNRS, Max Planck Society, and conferences such as the International Congress of Mathematicians and meetings organized by the Association for Symbolic Logic, where researchers including Jon Barwise, Saul Kripke, Robin Milner, Dana Scott, and Peter Aczel presented foundational results that shaped contemporary hypersets research.

Category:Set theory