The following pages link to Finitary set theory (Q1049686):
Displayed 12 items.
- A hierarchy of hereditarily finite sets (Q948912) (← links)
- A universal algebraic set theory built on mereology with applications (Q2169135) (← links)
- Gödel on deduction (Q2631643) (← links)
- Hereditarily Finite Sets in Constructive Type Theory (Q2829273) (← links)
- Digraph parameters and finite set arithmetic (Q2947232) (← links)
- Substandard models of finite set theory (Q3066294) (← links)
- Addition and multiplication of sets (Q3423150) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- Ordinal operations on graph representations of sets (Q4915216) (← links)
- LOGIC IN THE <i>TRACTATUS</i> (Q5737959) (← links)
- Bounded finite set theory (Q6047677) (← links)
- Synthetic undecidability and incompleteness of first-order axiom systems in Coq. Extended version (Q6156642) (← links)