SciELO - Scientific Electronic Library Online

 
vol.13 número2Remarks on the Generation of Semigroups of Nonlinear Operators on p-Fréchet Spaces, 0 < p < 1Closure of Pointed Cones and Maximum Principle in Hilbert Spaces índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos  

Serviços Personalizados

Journal

Artigo

Indicadores

Links relacionados

  • Em processo de indexaçãoCitado por Google
  • Não possue artigos similaresSimilares em SciELO
  • Em processo de indexaçãoSimilares em Google

Compartilhar


Cubo (Temuco)

versão On-line ISSN 0719-0646

Cubo vol.13 no.2 Temuco jun. 2011

http://dx.doi.org/10.4067/S0719-06462011000200003 

CUBO A Mathematical Journal Vol.13, Nº02, (59-72). June 2011


On λ strong homogeneity existence for cofinality logic


Saharon Shelah 1
Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel. email: shelah@math.huji.ac.il
url: http://shelah.logic.at


ABSTRACT
Let C Reg be a non-empty class (of regular cardinals). Then the logic has additional nice properties: it has the homogeneous model existence property.

Keywords and phrases: Model theory, soft model theory, cofinality quantifier.

Mathematics Subject Classification: 03C95, 03C80.


RESUMEN
Sea C Reg una clase no vacía (de cardinales regulares). Entonces la lógica tiene propiedades adicionales: Esta tiene la propiedad de modelo existencia homogénea.


1The author thanks Alice Leonhardt for the beautiful typing. The author would like to thank the Israel Science
Foundation for partial support of this research (Grants No. 451/99 and 710/07). Publication 750.

Referencias
[Mak85] Johann A. Makowsky, Compactnes, embeddings and definability, Model-Theoretic Logics (J. Barwise and S. Feferman, eds.), Springer-Verlag, 1985, pp. 645-716.         [ Links ]

[Sh:h] Saharon Shelah, Classification Theory for Abstract Elementary Classes, Studies in Logic: Mathematical logic and foundations, vol. 18, College Publications, 2009.         [ Links ]

[Sh:3] Finite diagrams stable in power, Annals of Mathematical Logic 2 (1970), 69-118.         [ Links ]

[Sh:43] Generalized quantifiers and compact logic, Transactions of the American Mathematical Society 204 (1975), 342-364.         [ Links ]

[Sh:54] The lazy model-theoretician's guide to stability, Logique et Analyse 18 (1975), 241-308.         [ Links ]

[Sh:88r] Abstract elementary classes near , Chapter I Studies in Logic, College Publ. 18 (2009). 0705.4137. 0705.4137.         [ Links ]

[MkSh:166] Alan H. Mekler and Saharon Shelah, Stationary logic and its friends. I, Notre Dame Journal of Formal Logic 26 (1985), 129-138, Proceedings of the 1980/1 Jerusalem Model Theory year.         [ Links ]

[Sh:199] Saharon Shelah, Remarks in abstract model theory, Annals of Pure and Applied Logic 29 (1985), 255-288.         [ Links ]


Received: April 2009. Revised: December 2009.

Creative Commons License Todo o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons