Pages that link to "Item:Q2425348"
From MaRDI portal
The following pages link to Finiteness axioms on fragments of intuitionistic set theory (Q2425348):
Displaying 6 items.
- Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509) (← links)
- Induction and foundation in the theory of hereditarily finite sets (Q1330312) (← links)
- (Q3025175) (← links)
- (Q3025192) (← links)
- (Q3476809) (← links)
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)