A logical study of the correspondence relation
DOI10.1007/BF00297577zbMath0545.03001OpenAlexW2045461689MaRDI QIDQ797569
Publication date: 1984
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00297577
infinitary logicnonstandard modelsLorentz transformationsscientific theoryGalilean transformationsstandard partlogical analysiscore fragments of classical and special relativistic particle mechanicsintertheory reductionlimiting case correspondencestandard approximation
Philosophical and critical aspects of logic and foundations (03A05) Special relativity (83A05) Other applications of nonstandard models (economics, physics, etc.) (03H10)
Related Items (1)
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
This page was built for publication: A logical study of the correspondence relation