Model-Theoretic Methods in the Study of Elementary Logic

, , &
Journal of Symbolic Logic 34 (1):127-128 (1969)
  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: 91,122

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

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.
Model-theoretic methods in the study of elementary logic.William Hanf - 1965 - Journal of Symbolic Logic 34 (1):132--145.
Category-theoretic aspects of abstract elementary classes.Michael J. Lieberman - 2011 - Annals of Pure and Applied Logic 162 (11):903-915.
A Modeltheoretic Solution to a Problem of Tarski.Tarek Sayed Ahmed - 2002 - Mathematical Logic Quarterly 48 (3):343-355.
Model-theoretic properties characterizing peano arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
The model-theoretic ordinal analysis of theories of predicative strength.Jeremy Avigad & Richard Sommer - 1999 - Journal of Symbolic Logic 64 (1):327-349.
The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength.Jeremy Avigad & Richard Sommer - 1999 - Journal of Symbolic Logic 64 (1):327-349.
Elementary Theories with Models without Automorphisms.Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin & Alfred Tarski - 1974 - Journal of Symbolic Logic 39 (2):338-338.
Model-theoretic properties characterizing Peano arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
Some model-theoretic results in the algebraic theory of quadratic forms.Vincent Astier - 2001 - Annals of Pure and Applied Logic 112 (2-3):189-223.
Review: Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin, Alfred Tarski, Elementary Theories with Models without Automorphisms. [REVIEW]William Glassmire - 1974 - Journal of Symbolic Logic 39 (2):338-338.
On colimits and elementary embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.
Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics.Seyed Bagheri & Massoud Pourmahdian - 2008 - Logic Journal of the IGPL 16 (6):561-583.
The Downward Transfer of Elementary Satisfiability of Partition Logics.Y. Chen & E. Shen - 2000 - Mathematical Logic Quarterly 46 (4):477-488.

Analytics

Added to PP
2017-02-21

Downloads
15 (#868,066)

6 months
5 (#441,012)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references