20 found
Order:
  1.  29
    As an abstract elementary class.John T. Baldwin, Paul C. Eklof & Jan Trlifaj - 2007 - Annals of Pure and Applied Logic 149 (1-3):25-39.
    In this paper we study abstract elementary classes of modules. We give several characterizations of when the class of modules A with is abstract elementary class with respect to the notion that M1 is a strong submodel M2 if the quotient remains in the given class.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  17
    Categoricity results for L∞κ.Paul C. Eklof & Alan H. Mekler - 1988 - Annals of Pure and Applied Logic 37 (1):81-99.
  3.  16
    Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.
    We use the Drozd-Warfield structure theorem for finitely presented modules over a serial ring to investigate the model theory of modules over a serial ring, in particular, to give a simple description of pp-formulas and to classify the pure-injective indecomposable modules. We also study the question of whether every pure-injective indecomposable module over a valuation ring is the hull of a uniserial module.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  10
    Kaplansky's Problem on Valuation RingsA Transfer Theorem for Nonstandard UniserialsOn a Conjecture regarding Nonstandard Uniserial ModulesExplicitly Non-Standard Uniserial Modules.Birge Huisgen-Zimmermann, Laszlo Fuchs, Saharon Shelah, Paul C. Eklof, P. C. Eklof & S. Shelah - 2002 - Bulletin of Symbolic Logic 8 (3):441.
  5. Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
    We study the relations between abelian groups B and C that every universal (resp. universal-existential) sentence true in B is also true in C, and give algebraic criteria for these relations to hold. As a consequence we characterize the inductive complete theories of abelian groups and prove that they are exactly the model-complete theories.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  14
    Classes Closed Under Substructures and Direct Limits.Paul C. Eklof - 1976 - Mathematical Logic Quarterly 23 (27‐30):427-430.
  7.  28
    Classes Closed Under Substructures and Direct Limits.Paul C. Eklof - 1977 - Mathematical Logic Quarterly 23 (27-30):427-430.
  8.  5
    Categoricity results for< i> L_< sub>∞ κ.Paul C. Eklof & Alan H. Mekler - 1988 - Annals of Pure and Applied Logic 37 (1):81-99.
  9.  36
    Modules of existentially closed algebras.Paul C. Eklof & Hans-Christian Mez - 1987 - Journal of Symbolic Logic 52 (1):54-63.
    The underlying modules of existentially closed ▵-algebras are studied. Among other things, it is proved that they are all elementarily equivalent, and that all of them are existentially closed as modules if and only if ▵ is regular. It is also proved that every saturated module in the appropriate elementary equivalence class underlies an e.c. ▵-algebra. Applications to some problems in module theory are given. A number of open questions are mentioned.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    [Omnibus Review].Paul C. Eklof - 2001 - Bulletin of Symbolic Logic 7 (2):285-286.
  11.  34
    Set theory generated by Abelian group theory.Paul C. Eklof - 1997 - Bulletin of Symbolic Logic 3 (1):1-16.
    Introduction. This survey is intended to introduce to logicians some notions, methods and theorems in set theory which arose—largely through the work of Saharon Shelah—out of attempts to solve problems in abelian group theory, principally the Whitehead problem and the closely related problem of the existence of almost free abelian groups. While Shelah's first independence result regarding the Whitehead problem used established set-theoretical methods, his later work required new ideas; it is on these that we focus. We emphasize the nature (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  12.  34
    The ideal structure of existentially closed algebras.Paul C. Eklof & Hans-Christian Mez - 1985 - Journal of Symbolic Logic 50 (4):1025-1043.
  13.  2
    Explicitly Non-Standard Uniserial Modules.Birge Huisgen-Zimmermann, Laszlo Fuchs, Saharon Shelah, Paul C. Eklof, P. C. Eklof & S. Shelah - 2002 - Bulletin of Symbolic Logic 8 (3):441.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. REVIEWS-Seven papers.O. Spinas & Paul C. Eklof - 2001 - Bulletin of Symbolic Logic 7 (2):285.
  15.  20
    Charles C. Pinter. Set theory. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1971, viii + 216 pp. [REVIEW]Paul C. Eklof - 1976 - Journal of Symbolic Logic 41 (2):548-549.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  26
    Fred Appenzeller. An independence result in quadratic form theory: infinitary combinatorics applied to ε-Hermitian spaces. The journal of symbolic logic, vol. 54 , pp. 689–699. - Otmar Spinas. Linear topologies on sesquilinear spaces of uncountable dimension. Fundamenta mathematicae, vol. 139 , pp. 119–132. - James E. Baumgartner, Matthew Foreman, and Otmar Spinas. The spectrum of the Γ-invariant of a bilinear space. Journal of algebra, vol. 189 , pp. 406–418. - James E. Baumgartner and Otmar Spinas. Independence and consistency proofs in quadratic form theory. The journal of symbolic logic, vol. 56 , pp. 1195–1211. - Otmar Spinas. Iterated forcing in quadratic form theory. Israel journal of mathematics, vol. 79 , pp. 297–315. - Otmar Spinas. Cardinal invariants and quadratic forms. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by t. [REVIEW]Paul C. Eklof - 2001 - Bulletin of Symbolic Logic 7 (2):285-286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  15
    Jon Barwise, Matt Kaufmann, and Michael Makkai. Stationary logic. Annals of mathematical logic, vol. 13 no. 2 , pp. 171–224. [REVIEW]Paul C. Eklof - 1981 - Journal of Symbolic Logic 46 (4):867-868.
  18.  28
    Review: Charles C. Pinter, Set Theory. [REVIEW]Paul C. Eklof - 1976 - Journal of Symbolic Logic 41 (2):548-549.
  19. Review: Jon Barwise, Matt Kaufmann, Michael Makkai, Stationary Logic. [REVIEW]Paul C. Eklof - 1981 - Journal of Symbolic Logic 46 (4):867-868.
  20.  5
    The Journal of Symbolic Logic. [REVIEW]Paul C. Eklof - 2001 - Bulletin of Symbolic Logic 7 (2):285-286.