A logical study of the correspondence relation

DOI10.1007/BF00297577zbMath0545.03001MaRDI QIDQ797569

N. E. Zubov

Publication date: 1984

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

infinitary logic; nonstandard models; Lorentz transformations; scientific theory; Galilean transformations; standard part; logical analysis; core fragments of classical and special relativistic particle mechanics; intertheory reduction; limiting case correspondence; standard approximation

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

83A05: Special relativity

03H10: Other applications of nonstandard models (economics, physics, etc.)

Related Items

Correspondence as an intertheory relation

Cites Work

• Constructing general models of theory dynamics
• Topoi. The categorial analysis of logic
• Intertheoretic approximation: The Kepler-Newton case
• Lectures on non-standard analysis
• Transformations of systems of relativistic particle mechanics
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Axioms for abstract model theory
• The logical structure of mathematical physics
• Non-standard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item