No CrossRef data available.
Article contents
Two Suggestions for Ramsey-Reducts of Infinite Theories
Published online by Cambridge University Press: 01 April 2022
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Discussion
- Information
- Copyright
- Copyright © 1976 by the Philosophy of Science Association
References
REFERENCES
Berent, P. “Theoretical Terms in Infinite Theories.” Philosophy of Science 40 (1973): 129.CrossRefGoogle Scholar
Craig, W. “Replacement of Auxiliary Expressions.” Philosophical Review 65 (1956): 38–55.Google Scholar
Craig, W. “On Axiomatizability Within a System.” Journal of Symbolic Logic 18 (1953): 30–32.CrossRefGoogle Scholar
Craig, W. and Vaught, R. L. “Finite Axiomatizability Using Additional Predicates.” Journal of Symbolic Logic 23 (1958): 289–308.CrossRefGoogle Scholar
Hendry, H. E. “Ramsey-Sentences for Infinite Theories.” Philosophy of Science 42 (1975): 28.CrossRefGoogle Scholar
Henkin, L. “Completeness in the Theory of Types.” Journal of Symbolic Logic 15 (1950): 81–91.CrossRefGoogle Scholar
Ramsey, F. P. The Foundations of Mathematics. Edited by Braithwaite, R. B. New York: Humanities Press 1950.Google Scholar
Sneed, J. D. The Logical Structure of Mathematical Physics. Dordrecht-Holland: Reidel, 1971.CrossRefGoogle Scholar
Swijtink, Z. G. “Eliminability in a Cardinal.” Studia Logica 35 (1976): 71–89.CrossRefGoogle Scholar