Pages that link to "Item:Q2482456"
From MaRDI portal
The following pages link to Constructibility and decidability versus domain independence and absoluteness (Q2482456):
Displaying 9 items.
- Safety, domain independence and translation of complex value database queries (Q1031675) (← links)
- Exact Query Reformulation with First-Order Ontologies and Databases (Q2915072) (← links)
- WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER (Q3386608) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Why Predicative Sets? (Q5049037) (← links)
- (Q5079729) (← links)
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)
