A logical study of the correspondence relation

DOI10.1007/BF00297577MaRDI QIDQ797569zbMATHOpenAlexFDO

Authors N. E. Zubov

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

zbMATH Keywords

Lorentz transformationsnonstandard modelsinfinitary logicscientific theoryGalilean transformationsstandard partlogical analysiscore fragments of classical and special relativistic particle mechanicsintertheory reductionlimiting case correspondencestandard approximation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Special relativity (83A05) Other applications of nonstandard models (economics, physics, etc.) (03H10)

Recommendations

• Correspondence as an intertheory relation
• scientific article; zbMATH DE number 4047694
• Correspondence analysis for some fragments of classical propositional logic
• Correspondence theory in proof theory
• Publication:4896505
• scientific article; zbMATH DE number 52771
• scientific article; zbMATH DE number 1150148
• scientific article; zbMATH DE number 1852922
• scientific article; zbMATH DE number 1028833

Cites work

• scientific article; zbMATH DE number 3125691 (Why is no real title available?)
• scientific article; zbMATH DE number 3166227 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3499747 (Why is no real title available?)
• scientific article; zbMATH DE number 3517104 (Why is no real title available?)
• scientific article; zbMATH DE number 3525429 (Why is no real title available?)
• scientific article; zbMATH DE number 3559512 (Why is no real title available?)
• scientific article; zbMATH DE number 3583768 (Why is no real title available?)
• scientific article; zbMATH DE number 3632454 (Why is no real title available?)
• scientific article; zbMATH DE number 3637808 (Why is no real title available?)
• scientific article; zbMATH DE number 3307529 (Why is no real title available?)
• scientific article; zbMATH DE number 3079157 (Why is no real title available?)
• Axioms for abstract model theory
• Constructing general models of theory dynamics
• Intertheoretic approximation: The Kepler-Newton case
• Lectures on non-standard analysis
• Non-standard analysis
• The logical structure of mathematical physics
• Topoi. The categorial analysis of logic
• Transformations of systems of relativistic particle mechanics
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures

Cited in

(6)

• scientific article; zbMATH DE number 1907153 (Why is no real title available?)
• Использование нефинитных методов в исследовании взаимосвязи форм логического исчисления на основе оценки
• scientific article; zbMATH DE number 724685 (Why is no real title available?)
• Structural correspondence between theories and convergence to truth
• scientific article; zbMATH DE number 3930964 (Why is no real title available?)
• Correspondence as an intertheory relation

This page was built for publication: A logical study of the correspondence relation

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