The following pages link to (Q5079729):
Displaying 6 items.
- Safety, domain independence and generalized quantification (Q2734659) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- Perpetuality for Full and Safe Composition (in a Constructive Setting) (Q3519510) (← links)
- Why Predicative Sets? (Q5049037) (← links)
- Absolute Provability and Safe Knowledge of Axioms (Q5221597) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)