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

DOI10.1017/9781316987216zbMATH Open1393.03002OpenAlexW4245868793MaRDI QIDQ4599360FDOQ4599360

John T. Baldwin

Publication date: 2 January 2018

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

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

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)

Cited In (9)

• 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
• Title not available (Why is that?)
• Set Theory and Structures
• David Hilbert and the foundations of the theory of plane area
• On the virtue of categoricity
• Title not available (Why is that?)

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)