Model-theoretic methods in the study of elementary logic

Journal of Symbolic Logic 34 (1):132--145 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271017

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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

Model-Theoretic Methods in the Study of Elementary Logic.W. Hanf, J. W. Addison, Leon Henkin & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):127-128.
Review: W. Hanf, J. W. Addison, Leon Henkin, Alfred Tarski, Model-Theoretic Methods in the Study of Elementary Logic. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
Vopěnka's principle and compact logics.J. A. Makowsky - 1985 - Journal of Symbolic Logic 50 (1):42-48.
Lk-Equivalence and Hanf Functions for Finite Structures.Russell Barker - 2003
On the Hanf number of souslin logic.John P. Burgess - 1978 - Journal of Symbolic Logic 43 (3):568-571.
Review: William H. Halberstadt, An Introduction to Modern Logic. An Elementary Textbook of Symbolic Logic. [REVIEW]Theodore Hailperin - 1964 - Journal of Symbolic Logic 29 (1):43-43.
Hanf William. On some fundamental problems concerning isomorphism of Boolean algebras. Mathematica Scandinavica, Bd. 5 , S. 205–217. [REVIEW]H. Gericke - 1959 - Journal of Symbolic Logic 24 (3):251-251.
Review: William Gustason, Dolph E. Ulrich, Elementary Symbolic Logic. [REVIEW]James Moor & Jack Nelson - 1978 - Journal of Symbolic Logic 43 (2):382-383.
Category-theoretic aspects of abstract elementary classes.Michael J. Lieberman - 2011 - Annals of Pure and Applied Logic 162 (11):903-915.

Analytics

Added to PP
2014-02-01

Downloads
39 (#398,051)

6 months
5 (#838,466)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Faith & falsity.Albert Visser - 2004 - Annals of Pure and Applied Logic 131 (1-3):103-131.
Rekursive Untrennbarkeit Bei Elementaren Theorien.Hans-Dietrich Hecker - 1971 - Mathematical Logic Quarterly 17 (1):443-463.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references