{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T05:41:00Z","timestamp":1773812460093,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1984,2,1]],"date-time":"1984-02-01T00:00:00Z","timestamp":444441600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1984,2]]},"DOI":"10.1007\/bf00297577","type":"journal-article","created":{"date-parts":[[2004,10,6]],"date-time":"2004-10-06T11:25:44Z","timestamp":1097061944000},"page":"47-84","source":"Crossref","is-referenced-by-count":16,"title":["A logical study of the correspondence relation"],"prefix":"10.1007","volume":"13","author":[{"given":"David","family":"Pearce","sequence":"first","affiliation":[]},{"given":"Veikko","family":"Rantala","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"E. W. Adams, Axiomatic Foundations of Rigid Body Mechanics. Unpublished diss., Stanford University, 1955."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0003-4843(74)90016-3","volume":"7","author":"K. J. Barwise","year":"1974","unstructured":"K. J. Barwise, ?Axioms for abstract model theory?, Annals of Mathematical Logic 7 (1974), 221?265.","journal-title":"Annals of Mathematical Logic"},{"key":"CR3","volume-title":"A Course in Mathematical Logic","author":"J. Bell","year":"1977","unstructured":"J. Bell and M. Machover, A Course in Mathematical Logic. North-Holland, Amsterdam, 1977."},{"key":"CR4","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"H. B. Enderton, A Mathematical Introduction to Logic. Academic Press, New York-London, 1972."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"153","DOI":"10.4064\/fm-82-2-153-165","volume":"82","author":"S. Feferman","year":"1974","unstructured":"S. Feferman, ?Two notes on abstract model theory I?, Fundamenta Mathematica 82 (1974), 153?165.","journal-title":"Fundamenta Mathematica"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1093\/bjps\/33.1.17","volume":"33","author":"K. Friedman","year":"1982","unstructured":"K. Friedman, ?Is intertheoretic reduction feasible??, British Journal for the Philosophy of Science 33 (1982), 17?40.","journal-title":"British Journal for the Philosophy of Science"},{"key":"CR7","series-title":"A.M.S. Proc. Symp. in Pure Math.","first-page":"21","volume-title":"Proceedings of the Tarski Symposium","author":"H. Gaifman","year":"1974","unstructured":"H. Gaifman, ?Operations on relational structures, functors and classes I in L. Henkin et al. (eds), Proceedings of the Tarski Symposium, A.M.S. Proc. Symp. in Pure Math. 25, A.M.S., Providence, R.I., 1974, pp. 21?39."},{"key":"CR8","volume-title":"Topoi: A Categorial Analysis of Logic","author":"R. Goldblatt","year":"1979","unstructured":"R. Goldblatt, Topoi: A Categorial Analysis of Logic. North-Holland, Amsterdam, 1979."},{"key":"CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1178-5","volume-title":"Correspondence Principle and Growth of Science","author":"W. Krajewski","year":"1977","unstructured":"W. Krajewski, Correspondence Principle and Growth of Science. D. Reidel, Dordrecht, 1977."},{"key":"CR10","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0101447","volume-title":"Lectures on Non-Standard Analysis","author":"M. Machover","year":"1969","unstructured":"M. Machover and J. Hirschfeld, Lectures on Non-Standard Analysis. Lecture Notes in Mathematics 94, Springer-Verlag, Berlin-Heidelberg-New York, 1969."},{"key":"CR11","volume-title":"Categories for the Working Mathematicians","author":"S. Maclane","year":"1971","unstructured":"S. Maclane, Categories for the Working Mathematicians. Springer-Verlag, Berlin-Heidelberg-New York, 1971."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF00214724","volume":"10","author":"D. Mayr","year":"1976","unstructured":"D. Mayr, ?Investigations of the concept of reduction I?, Erkenntnis 10 (1976), 275?294.","journal-title":"Erkenntnis"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00219646","volume":"17","author":"D. Mayr","year":"1981","unstructured":"D. Mayr, ?Investigations of the concept of reduction II?, Erkenntnis 17 (1981), 109?129.","journal-title":"Erkenntnis"},{"key":"CR14","first-page":"253","volume":"2","author":"J. C. C. McKinsey","year":"1953","unstructured":"J. C. C. McKinsey, A. C. Sugar, and P. Suppes, ?Axiomatic foundations of classical particle mechanics?, Journal of Rational Mechanics and Analysis 2 (1953), 253?272.","journal-title":"Journal of Rational Mechanics and Analysis"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BF02221785","volume":"45","author":"C. U. Moulines","year":"1980","unstructured":"C. U. Moulines, Intertheoretic approximation: the Kepler-Newton case, Synthese 45 (1980), 387?412.","journal-title":"Synthese"},{"key":"CR16","unstructured":"D. Pearce, ?A mathematical characterization of interpretation, reduction and definitional equivalence?, Studia Logica (forthocoming)."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00485393","volume":"56","author":"D. Pearce","year":"1983","unstructured":"D. Pearce and V. Rantala, ?New foundations for metascience?, Synthese 56 (1983), pp. 1?26.","journal-title":"Synthese"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"D. Pearce and V. Rantala, ?Constructing general models of theory dynamics?, Studia Logica (forthcoming).","DOI":"10.1007\/BF01063852"},{"key":"CR19","unstructured":"D. Pearce and V. Rantala, ?Logical aspects of scientific reduction?, in P. Weingartner and H. Czermak (eds), Epistemology and Philosophy of Science, Vienna, 1983, pp. 333?336."},{"key":"CR20","unstructured":"D. Pearce and V. Rantala, ?The logical study of symmetries in scientific change?, ibid., pp. 330-332."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0039-3681(71)90042-2","volume":"2","author":"H. R. Post","year":"1971","unstructured":"H. R. Post, ?Correspondence, invariance and heuristics: in parise of conservative induction?, Studies in History and Philosophy of Science 2 (1971), 213?255.","journal-title":"Studies in History and Philosophy of Science"},{"key":"CR22","series-title":"Acta Philosophica Fennica","first-page":"366","volume-title":"The Logic and Epsitemology of Scientific Change","author":"V. Rantala","year":"1979","unstructured":"V. Rantala, ?Correspondence and non-standard models: a case study?, in I. Niiniluoto and R. Tuomela (eds), The Logic and Epsitemology of Scientific Change. Acta Philosophica Fennica 30, Nos. 2?4, North-Holland, Amsterdam, 1979, pp. 366?378."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF00485113","volume":"32","author":"M. L. G. Redhead","year":"1975","unstructured":"M. L. G. Redhead, ?Symmetry in intertheory relation?, Synthese 32 (1975), 77?112.","journal-title":"Synthese"},{"issue":"A","key":"CR24","first-page":"432","volume":"64","author":"A. Robinson","year":"1961","unstructured":"A. Robinson, ?Non-standard analysis?, Proceedings of the Royal Academy of Sciences (A) 64 (1961), 432?440.","journal-title":"Proceedings of the Royal Academy of Sciences"},{"key":"CR25","volume-title":"Non-Standard Analysis","author":"A. Robinson","year":"1966","unstructured":"A. Robinson, Non-Standard Analysis. North-Holland, Amsterdam, 1966."},{"key":"CR26","first-page":"109","volume-title":"Applications of Model Theory to Algebra, Analysis, and Probability","author":"A. Robinson","year":"1969","unstructured":"A. Robinson and E. Zakon, ?A set-theoretical characterization of enlargements?, in W. A. J. Luxemburg (ed.), Applications of Model Theory to Algebra, Analysis, and Probability. Holt, Rinehart and Winston, New York, 1969, pp. 109?122."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"563","DOI":"10.2140\/pjm.1954.4.563","volume":"4","author":"H. Rubin","year":"1954","unstructured":"H. Rubin and P. Suppes, ?Transformations of systems of relativistic particle mechanics?, Pacific Journal of Mathematics 4 (1954), 563?601.","journal-title":"Pacific Journal of Mathematics"},{"key":"CR28","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"J. R. Shoenfield, Mathematical Logic. Addison-Wesley, Reading, Mass., 1967."},{"key":"CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-3066-3","volume-title":"The Logical Structure of Mathematical Physics","author":"J. D. Sneed","year":"1971","unstructured":"J. D. Sneed, The Logical Structure of Mathematical Physics. D. Reidel, Dordrecht, 1971."},{"key":"CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-01671-8","volume-title":"The Structure and Dynamics of Theories","author":"W. Stegm\u00fcller","year":"1976","unstructured":"W. Stegm\u00fcller, The Structure and Dynamics of Theories. Springer-Verlag, New York-Heidelberg-Berlin, 1976."},{"key":"CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-95360-6","volume-title":"The Structuralist View of Theories","author":"W. Stegm\u00fcller","year":"1979","unstructured":"W. Stegm\u00fcller, The Structuralist View of Theories. Springer-Verlag, New York-Heidelberg-Berlin, 1979."},{"key":"CR32","volume-title":"Introduction to the Theory of Infinitesimals","author":"K. Stroyan","year":"1976","unstructured":"K. Stroyan and W. A. J. Luxemburg, Introduction to the Theory of Infinitesimals. Academic Press, New York, 1976."},{"key":"CR33","volume-title":"Introduction to Logic","author":"P. Suppes","year":"1957","unstructured":"P. Suppes, Introduction to Logic. Van Nostrand, New York, 1957."},{"key":"CR34","volume-title":"Logic, Foundations of Mathematics, and Computability Theory","author":"L. W. Szczerba","year":"1977","unstructured":"L. W. Szczerba, ?Interpretability of elementary theories?, in R. E. Butts and J. Hintikka (eds), Logic, Foundations of Mathematics, and Computability Theory. D. Reidel, Dordrecht, 1977."},{"key":"CR35","volume-title":"Topics in the Formal Methodology of Empirical Sciences","author":"R. W\u00f3jcicki","year":"1979","unstructured":"R. W\u00f3jcicki, Topics in the Formal Methodology of Empirical Sciences. D. Reidel, Dordrecht and Ossolineum, Wroclaw, 1979."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297577.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00297577\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T13:11:51Z","timestamp":1682773911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00297577"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,2]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,2]]}},"alternative-id":["BF00297577"],"URL":"https:\/\/doi.org\/10.1007\/bf00297577","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,2]]}}}