Model theory and the philosophy of mathematical practice. Formalization without foundationalism

DOI10.1017/9781316987216MaRDI QIDQ4599360zbMATH OpenOpenAlexFDO

Authors John T. Baldwin

Publication date 2 January 2018

Full work available at URL https://doi.org/10.1017/9781316987216

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Model-theoretic algebra (03C60) History of mathematical logic and foundations (03-03) Properties of classes of models (03C52) Models of other mathematical theories (03C65)

Recommendations

• Mathematical logic. On numbers, sets, structures, and symmetry
• Philosophy of Mathematics
• Beyond first order model theory
• Mathematical knowledge and the interplay of practices
• scientific article; zbMATH DE number 1764653

Cited in

(10)

• scientific article; zbMATH DE number 4197450 (Why is no real title available?)
• Zilber's notion of logically perfect structure: universal covers
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
• On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge)
• Logic as a methodological discipline
• scientific article; zbMATH DE number 1418078 (Why is no real title available?)
• Set Theory and Structures
• David Hilbert and the foundations of the theory of plane area
• The logical foundations of scientific theories. Languages, structures, and models
• On the virtue of categoricity

This page was built for publication: Model theory and the philosophy of mathematical practice. Formalization without foundationalism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4599360)