Model-theoretic methods in the study of elementary logic

In J. W. Addison (ed.), Journal of Symbolic Logic. Amsterdam: North-Holland Pub. Co.. pp. 132--145 (1965)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2271017
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: 47,299
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

No references found.

Add more references

Citations of this work BETA

Faith & Falsity.Albert Visser - 2004 - Annals of Pure and Applied Logic 131 (1):103-131.
The Boolean Algebra of Formulas of First-Order Logic.Don H. Faust - 1982 - Annals of Pure and Applied Logic 23 (1):27.
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie I.Wolfgang Rautenberg & Kurt Hauschild - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):47-55.

View all 12 citations / Add more citations

Similar books and articles

Model-Theoretic Properties Characterizing Peano Arithmetic.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (3):949-963.
On Colimits and Elementary Embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.
Keeping Semantics Pure.Dominic Gregory - 2005 - Noûs 39 (3):505–528.
Saturated Models of Universal Theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
Model Theoretic Methods in the Theory of Isols.Erik Ellentuck - 1978 - Annals of Mathematical Logic 14 (3):273-285.
Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
The Chang-Łoś-Suszko Theorem in a Topological Setting.Paul Bankston - 2004 - Archive for Mathematical Logic 45 (1):97-112.
A Model of Peano Arithmetic with No Elementary End Extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
Vopěnka's Principle and Compact Logics.J. A. Makowsky - 1985 - Journal of Symbolic Logic 50 (1):42-48.
The Logic of Integration.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2009 - Archive for Mathematical Logic 48 (5):465-492.
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 index
2014-02-01

Total views
23 ( #411,911 of 2,291,017 )

Recent downloads (6 months)
2 ( #581,637 of 2,291,017 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature