A formal system for classical particle mechanics, its model-theoretic applications and space-time structure.

DOI10.1007/BF01089803zbMath1059.03516MaRDI QIDQ1578761

Toshio Ishigaki

Publication date: 7 September 2000

Published in: Synthese (Search for Journal in Brave)

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Physics (00A79) Axiomatics, foundations (70A05)

Cites Work

• An architectonic for science. The structuralist program
• The logical structure of mathematical physics. 2nd ed., rev
• Unnamed Item
• Unnamed Item

This page was built for publication: A formal system for classical particle mechanics, its model-theoretic applications and space-time structure.