The following pages link to Laura Crosilla (Q691123):
Displaying 17 items.
- Objects: a study in Kantian formal epistemology (Q691124) (← links)
- Binary refinement implies discrete exponentiation (Q861570) (← links)
- (Q1612479) (redirect page) (← links)
- Inaccessible set axioms may have little consistency strength (Q1612481) (← links)
- Predicativity and constructive mathematics (Q2080590) (← links)
- Beyond logical pluralism and logical monism (Q2183711) (← links)
- Are there enough injective sets? (Q2377052) (← links)
- (Q3081642) (← links)
- Error and Predicativity (Q3195675) (← links)
- Finite Methods in Mathematical Practice (Q3452183) (← links)
- A generalized cut characterization of the fullness axiom in CZF (Q4925158) (← links)
- (Q4981442) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- (Q5457300) (← links)
- (Q5718560) (← links)
- On constructing completions (Q5718698) (← links)
- Exploring predicativity (Q6600647) (← links)
