Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):425-430 (1976)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19760220152 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Citations of this work BETA
No citations found.
Similar books and articles
A Reflection Property for Saturated Models.Jerrold M. Gold - 1976 - Mathematical Logic Quarterly 22 (1):425-430.
Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic.Ermek S. Nurkhaidarov & Erez Shochat - 2011 - Notre Dame Journal of Formal Logic 52 (3):315-329.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
Automorphisms of Countable Short Recursively Saturated Models of PA.Erez Shochat - 2008 - Notre Dame Journal of Formal Logic 49 (4):345-360.
Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic.Ermek S. Nurkhaidarov & Erez Shochat - 2016 - Notre Dame Journal of Formal Logic 57 (1):127-139.
Saturated Models in Institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.
A Galois Correspondence for Countable Short Recursively Saturated Models of PA.Erez Shochat - 2010 - Mathematical Logic Quarterly 56 (3):228-238.
On Chains of Relatively Saturated Submodels of a Model Without the Order Property.Rami Grossberg - 1991 - Journal of Symbolic Logic 56 (1):124-128.
Remarks on Structure Theorems for -Saturated Models.Tapani Hyttinen - 1995 - Notre Dame Journal of Formal Logic 36 (2):269-278.
Elementary Cuts in Saturated Models of Peano Arithmetic.James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (1):1-13.
The Complexity of Classification Problems for Models of Arithmetic.Samuel Coskey & Roman Kossak - 2010 - Bulletin of Symbolic Logic 16 (3):345-358.
An Omitting Types Theorem for Saturated Structures.A. D. Greif & M. C. Laskowski - 1993 - Annals of Pure and Applied Logic 62 (2):113-118.
Remarks on Structure Theorems for $\Omega_{1}$ -Saturated Models.Tapani Hyttinen - 1995 - Notre Dame Journal of Formal Logic 36 (2):269-278.
Analytics
Added to PP index
2016-02-04
Total views
19 ( #537,361 of 2,410,617 )
Recent downloads (6 months)
1 ( #540,271 of 2,410,617 )
2016-02-04
Total views
19 ( #537,361 of 2,410,617 )
Recent downloads (6 months)
1 ( #540,271 of 2,410,617 )
How can I increase my downloads?
Downloads
