Pages that link to "Item:Q2482456"
From MaRDI portal
The following pages link to Constructibility and decidability versus domain independence and absoluteness (Q2482456):
Displayed 4 items.
- Safety, domain independence and translation of complex value database queries (Q1031675) (← links)
- Exact Query Reformulation with First-Order Ontologies and Databases (Q2915072) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269) (← links)