Pages that link to "Item:Q781509"
From MaRDI portal
The following pages link to Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509):
Displaying 13 items.
- The strength of extensionality. II: Weak weak set theories without infinity (Q639665) (← links)
- Necessary uses of abstract set theory in finite mathematics (Q1088658) (← links)
- Finite sets and natural numbers in intuitionistic TT (Q1374211) (← links)
- On the independence of premiss axiom and rule (Q2204366) (← links)
- Finiteness axioms on fragments of intuitionistic set theory (Q2425348) (← links)
- Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics (Q2869900) (← links)
- Finite and infinite sets: definitions and intuitions (Q3150329) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- (Q3581788) (← links)
- (Q4790668) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- (Q5211988) (← links)
- The first-order structure of weakly Dedekind-finite set (Q5486247) (← links)