Towards a General Theory of Auxiliary Concepts and Definability in First-Order Theories

Publisher Website

1 January 1970

book chapter
Published by Springer Nature

p. 298-330
https://doi.org/10.1007/978-94-010-3296-4_9

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Information, Deduction, and the A Priori
Noûs, 1970
The Axiomatization of Physical Theories
Philosophy of Science, 1970
Are Logical Truths Analytic?
The Philosophical Review, 1965
Distributive Normal Forms in First-Order Logic
Studies in Logic and the Foundations of Mathematics, 1965
DISTRIBUTIVE NORMAL FORMS AND DEDUCTIVE INTERPOLATION
Mathematical Logic Quarterly, 1964
Bases for first-order theories and subtheories
The Journal of Symbolic Logic, 1960
A theorem on permutations in models
Theoria, 1959
A Budget of Problems in the Philosophy of Science
The Philosophical Review, 1957