Model Theory and the Philosophy of Mathematical Practice
From MaRDI portal
Publication:4599360
DOI10.1017/9781316987216zbMath1393.03002OpenAlexW4245868793MaRDI QIDQ4599360
Publication date: 2 January 2018
Full work available at URL: https://doi.org/10.1017/9781316987216
Model-theoretic algebra (03C60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Properties of classes of models (03C52) Models of other mathematical theories (03C65)
Related Items (5)
Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries ⋮ Set Theory and Structures ⋮ Logic as a methodological discipline ⋮ On the virtue of categoricity ⋮ David Hilbert and the foundations of the theory of plane area
This page was built for publication: Model Theory and the Philosophy of Mathematical Practice