Lars Svenonius. ℵ0-categoricity in first-order predicate calculus. Theoria , vol. 25 , pp. 82–94

Journal of Symbolic Logic 31 (3):504-504 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1996

DOI

10.2307/2270480

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

No-categoricity in first-order predicate calculus.Lars Svenonius - 1959 - Theoria 25 (2):82-94.
Review: Lars Svenonius, $aleph_0$-Categoricity in First-Order Predicate Calculus. [REVIEW]G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (3):504-504.
ℵ 0 -Categoricity in First-Order Predicate Calculus.Lars Svenonius - 1966 - Journal of Symbolic Logic 31 (3):504-504.
A Proposal for a Restriction on the Means of Expression in the Predicate Calculus.Lars Svenonius - 1968 - Journal of Symbolic Logic 33 (1):137-137.
Review: Lars Svenonius, A Proposal for a Restriction on the Means of Expression in the Predicate Calculus. [REVIEW]Dagfinn Follesdai - 1968 - Journal of Symbolic Logic 33 (1):137-137.
On minimal models of first-order systems.Lars Svenonius - 1960 - Theoria 26 (1):44-52.
A theorem on permutations in models.Lars Svenonius - 1959 - Theoria 25 (3):173-178.
Three ways to conceive of functions and relations.Lars Svenonius - 1987 - Theoria 53 (1):31-58.
Lars Svenonius. A theorem on permutations in models. Theoria , vol. 25 , pp. 173–178.William Hanf - 1966 - Journal of Symbolic Logic 31 (3):505.
Logic & Natural Language: On Plural Reference and its Semantic and Logical Significance.Hanoch Ben-Yami - 2004 - Routledge.
Complete problems in the first-order predicate calculus.David A. Plaisted - 1979 - Urbana, Ill.: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
Lars Svenonius. Some problems in logical model-theory. Library of Theoria, no. IV. C. W. K. Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1960, 43 pp. [REVIEW]William Hanf - 1966 - Journal of Symbolic Logic 31 (3):505-506.
Attributive adjectives and the predicate calculus.Hanoch Ben-Yami - 1996 - Philosophical Studies 83 (3):277 - 289.
The statistical estimation of provability in the first order predicate calculus.S. Christiaan van Westrhenen - 1969 - [Eindhoven,: Technische Hogeschool (Inslindelaan 2).

Analytics

Added to PP
2014-04-01

Downloads
23 (#678,765)

6 months
1 (#1,462,504)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references