Recommendations
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
- Substandard models of finite set theory
- Logic in the \textit{Tractatus}
- Gödel on deduction
- A hierarchy of hereditarily finite sets
- Finite sets, closed images, and separation axioms
- Extremal Finite Set Theory
- scientific article; zbMATH DE number 176021 (Why is no real title available?)
- 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
- Hereditarily finite sets in constructive type theory
- Bounded finite set theory
- A universal algebraic set theory built on mereology with applications
- scientific article; zbMATH DE number 6101280 (Why is no real title available?)
- 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)
