Finitary set theory
DOI10.1215/00294527-2009-009zbMATH Open1190.03043OpenAlexW2038625855WikidataQ29042470 ScholiaQ29042470MaRDI QIDQ1049686FDOQ1049686
Authors: 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
Recommendations
Model theory of finite structures (03C13) Recursive functions and relations, subrecursive hierarchies (03D20) Ordinal and cardinal numbers (03E10) Axiomatics of classical set theory and its fragments (03E30)
Cited In (23)
- Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
- Fin-set: a syntactical definition of finite sets
- Induction and foundation in the theory of hereditarily finite sets
- Ordinal operations on graph representations of sets
- Logic in the \textit{Tractatus}
- Substandard models of finite set theory
- Gödel on deduction
- Finite sets, closed images, and separation axioms
- A hierarchy of hereditarily finite sets
- Extremal Finite Set Theory
- Title not available (Why is that?)
- Digraph parameters and finite set arithmetic
- Finite and infinite sets: definitions and intuitions
- Non Standard Regular Finite Set Theory
- Enumeration of the adjunctive hierarchy of hereditarily finite sets
- Finite sets and frege structures
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version
- Bounded finite set theory
- Hereditarily finite sets in constructive type theory
- A universal algebraic set theory built on mereology with applications
- Title not available (Why is that?)
- Addition and multiplication of sets
- A formalisation of finite automata using hereditarily finite sets
This page was built for publication: Finitary set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1049686)
