A counterexample to a conjecture of Scott and Suppes

Journal of Symbolic Logic 24 (1):15-16 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964569

Other Versions

reprint Tait, W. W. (1968) "A Counterexample to a Conjecture of Scott and Suppes". Journal of Symbolic Logic 33(2):288-288

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

W. W. Tait. A counterexample to a conjecture of Scott and Suppes. The Journal of symbolic logic, vol. 24 no. 1 , pp. 15–16. [REVIEW]Robert L. Causey - 1968 - Journal of Symbolic Logic 33 (2):288-288.
W. W. Tait. The substitution method. The journal of symbolic logic, Bd. 30 , S. 175–192.K. Schütte - 1973 - Journal of Symbolic Logic 38 (4):660.
Review: W. W. Tait, A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic. [REVIEW]Moto-O. Takashaih - 1968 - Journal of Symbolic Logic 33 (2):289-290.
W. W. Tait. Intensional interpretations of functionals of finite type I. The journal of symbolic logic, vol. 32 , pp. 198–212. [REVIEW]J. Y. Girard - 1975 - Journal of Symbolic Logic 40 (4):624-625.
Tait W. W.. Nested recursion. Mathematische Annalen, Bd. 143 , S. 236–250.Rózsa Péter - 1963 - Journal of Symbolic Logic 28 (1):103-104.
Tait W. W.. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 , pp. 980–983. [REVIEW]Moto-O. Takahashi - 1968 - Journal of Symbolic Logic 33 (2):289-290.
Reflections on Reflection in a Multiverse.Geoffrey Hellman - 2018 - In Erich H. Reck (ed.), Logic, Philosophy of Mathematics, and Their History: Essays in Honor of W. W. Tait. College Publications. pp. 77-90.
W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 176–185. [REVIEW]E. G. K. LóPez-Escobar - 1975 - Journal of Symbolic Logic 40 (4):623-624.

Analytics

Added to PP
2009-01-28

Downloads
64 (#327,106)

6 months
14 (#216,207)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

Representation and Invariance of Scientific Structures.Patrick Suppes - 2002 - CSLI Publications (distributed by Chicago University Press).
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Some aspects of model theory and finite structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.
Forbidden Induced Subgraphs and the Łoś–Tarski Theorem.Yijia Chen & Jörg Flum - 2024 - Journal of Symbolic Logic 89 (2):516-548.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references