Hypersets

DOI10.1007/BF03028340zbMath0756.03026OpenAlexW3190416762MaRDI QIDQ1181863

Larry Moss, Jon Barwise

Publication date: 27 June 1992

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03028340

zbMATH Keywords

alternatives to the axiom of foundationantifoundation axiom AFA

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Applications of set theory (03E75) Other set-theoretic hypotheses and axioms (03E65)

Related Items

An efficient algorithm for computing bisimulation equivalence, Issues in commonsense set theory, A general construction of hyperuniverses, HYPERSOLVER: A graphical tool for commonsense set theory, HYPERINCURSIVE METHODS FOR GENERATING FRACTALS IN AUTOMATA RELATED TO DIFFUSION AND WAVE EQUATIONS, The graph conception of set, Scanning the structure of ill‐known spaces: Part 1. Founding principles about mathematical constitution of space, Well-quasi-ordering hereditarily finite sets, Final semantics for a higher order concurrent language

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Non-well-founded sets modeled as ideal fixed points
• Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel
• Set theory. An introduction to independence proofs
• A Cook's Tour of the Finitary Non-Well-Founded Sets