No-categoricity in first-order predicate calculus

Theoria 25 (2):82-94 (1959)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1111/j.1755-2567.1959.tb00294.x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,741
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Completeness of the First-Order Functional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.

Add more references

Citations of this work BETA

Unendliche Formeln in Der Modelltheorie.Erwin Engeler - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):154-160.
Unendliche Formeln in Der Modelltheorie.Erwin Engeler - 1961 - Mathematical Logic Quarterly 7 (7‐10):154-160.

Add more citations

Similar books and articles

Complete Problems in the First-Order Predicate Calculus.David A. Plaisted - 1979 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
The Modal Object Calculus and its Interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Wittgensteinian Predicate Logic.Kai Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Categoricity and Indefinite Extensibility.James Walmsley - 2002 - Proceedings of the Aristotelian Society 102 (3):217–235.
Automatic Proofs for Theorems on Predicate Calculus.Sueli Mendes dos Santos - 1972 - [Rio De Janeiro, Pontificia Universidade Católica Do Rio De Janeiro].
Second Order Logic or Set Theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.

Analytics

Added to PP index
2010-09-13

Total downloads
30 ( #200,115 of 2,263,106 )

Recent downloads (6 months)
1 ( #382,759 of 2,263,106 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature