scientific article; zbMATH DE number 1418078

MaRDI QIDQ4944337zbMATH OpenFDO

Authors Michele Grassi, Giacomo Lenzi, Vincenzo Maria Tortorelli

Publication date 20 September 2000

zbMATH Keywords

foundations of mathematicsfirst-order predicate calculusarithmetical modelB-theories

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Philosophy of mathematics (00A30) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• Formalising foundations of mathematics
• scientific article; zbMATH DE number 4197450
• scientific article; zbMATH DE number 1301853
• Model theory and the philosophy of mathematical practice. Formalization without foundationalism
• Model Theory and the Philosophy of Mathematical Practice
• scientific article; zbMATH DE number 957948
• Model theory and the Tannakian formalism
• scientific article; zbMATH DE number 4208051
• Foundations for analysis and proof theory

Cited in

(12)

• scientific article; zbMATH DE number 4197450 (Why is no real title available?)
• A basic theory with predicates
• Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics
• Foundations of applied mathematics. I
• scientific article; zbMATH DE number 4033731 (Why is no real title available?)
• scientific article; zbMATH DE number 4104916 (Why is no real title available?)
• scientific article; zbMATH DE number 4160705 (Why is no real title available?)
• Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics
• Introducing basic theories for the foundations of mathematics
• scientific article; zbMATH DE number 3924746 (Why is no real title available?)
• Linearly Stratified Models for the Foundations of Nonstandard Mathematics
• scientific article; zbMATH DE number 1301853 (Why is no real title available?)

This page was built for publication:

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