Finitary set theory

DOI10.1215/00294527-2009-009zbMath1190.03043OpenAlexW2038625855WikidataQ29042470 ScholiaQ29042470MaRDI QIDQ1049686

Laurence Kirby

Publication date: 13 January 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2009-009

zbMATH Keywords

adjunctionhereditarily finite setsprimitive recursive set functions

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Axiomatics of classical set theory and its fragments (03E30) Recursive functions and relations, subrecursive hierarchies (03D20) Ordinal and cardinal numbers (03E10)

Related Items (12)

Gödel on deduction ⋮ A universal algebraic set theory built on mereology with applications ⋮ Digraph parameters and finite set arithmetic ⋮ Bounded finite set theory ⋮ Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version ⋮ MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY ⋮ A hierarchy of hereditarily finite sets ⋮ Ordinal operations on graph representations of sets ⋮ LOGIC IN THE TRACTATUS ⋮ Substandard models of finite set theory ⋮ Hereditarily Finite Sets in Constructive Type Theory ⋮ Addition and multiplication of sets

This page was built for publication: Finitary set theory