Nagashima Takashi. An extension of the Craig-Schütte interpolation theorem. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 , pp. 12–18 [Book Review]
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem.Takashi Nagashima -1966 -Annals of the Japan Association for Philosophy of Science 3 (1):12-18.
Leon Henkin. An extension of the Craig-Lyndon interpolation theorem. The journal of symbolic logic, vol. 28 no. 3 , pp. 201–216.M. A. Taitslin -1965 -Journal of Symbolic Logic 30 (1):98-99.
Takeuti Gaisi. On the formal theory of the ordinal diagrams. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 3 , pp. 151–170. [REVIEW]Kurt Schütte -1959 -Journal of Symbolic Logic 24 (1):65-65.
Shôji Maehara, Toshio Nishimura, und Setsuya Seki. Non-constructive proofs of a metamathematical theorem concerning the consistency of analysis and its extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 , S. 269–288. [REVIEW]K. Schütte -1967 -Journal of Symbolic Logic 32 (2):283-284.
How Can We Avoid Popper's Collapsing Problem and Have Craig Interpolation?Masanobu Toyooka &Katsuhiko Sano -2024 -Annals of the Japan Association for Philosophy of Science 33:145-162.
An extension of the Craig-Lyndon interpolation theorem.Leon Henkin -1963 -Journal of Symbolic Logic 28 (3):201-216.
Interpolation Theorem and Characterization Theorem.Nobuyoshi Motohashi -1972 -Annals of the Japan Association for Philosophy of Science 4 (2):85-150.
Nagai Hiroshi. The concept of formality in mathematics. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 5 , pp. 289–312. [REVIEW]Kurt Schütte -1963 -Journal of Symbolic Logic 28 (3):249-250.
Analytics
Added to PP
2013-11-22
Downloads
33 (#763,874)
6 months
7 (#614,157)
2013-11-22
Downloads
33 (#763,874)
6 months
7 (#614,157)
Historical graph of downloads
How can I increase my downloads?Author's Profile
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-g6h22 uwo