scientific article; zbMATH DE number 1418078
From MaRDI portal
Publication:4944337
zbMATH Open0944.03005MaRDI QIDQ4944337FDOQ4944337
Authors: Michele Grassi, Giacomo Lenzi, Vincenzo Maria Tortorelli 
Publication date: 20 September 2000
Title of this publication is not available (Why is that?)
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
Methodology of mathematics (00A35) Philosophy of mathematics (00A30) Foundations of classical theories (including reverse mathematics) (03B30)
Cited In (12)
- Foundations of applied mathematics. I
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics
- A basic theory with predicates
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics
- Introducing basic theories for the foundations of mathematics
- Title not available (Why is that?)
- Linearly Stratified Models for the Foundations of Nonstandard Mathematics
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
