Stretchings

Journal of Symbolic Logic

Volumn 61, Issue 2, 1996, Pages 563-585

  Finkel, O ^a   Ressayre, J P ^a  

^a UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030546336     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275676     Document Type: Article

References (9)

1. F. R. DRAKE, Set theory: an introduction to large cardinals, North Holland, Amsterdam, 1974.
2. A. EHRENFEUCHT and A. MOSTOWSKI, Models of axiomatic theories admitting automorphisms, Fundamenta Mathematicae, vol. 43 (1956), pp. 50-68.
3. O. FINKEL, Local languages, closure and decidability results, submitted to TCS, 1995.
4. _, Propriétés de cloture des ω-langages localement finis, preprint.
5. _, Langages de Büchi et ω-langages locaux, Comptes Rendus de l'Académie des Sciences, Paris t. 309, vol. 1 (1989), pp. 991-994.
6. _, Théorie des modèles des formules locales et étude des langages formels qu'elles définissent, Thèse de doctorat, Université Paris 7, Mai 1993.
7. K. MCALOON and J. P. RESSAYRE, Les méthodes de Kirby-Paris et la théorie des ensembles, Model theory and arithmetic (C. Berline, K. McAloon and J. P. Ressayre, editors), Lecture Notes in Mathematics no. 890, Sprineg-Verelag, 1981.
8. J. P. RESSAYRE, Non-standard universes with strong embeddings, Contemporary Mathematics, vol. 65 (1987), pp. 333-357.
9. _, Formal languages defined by the underlying structure of their words, this JOURNAL, vol. 53 (1988), no. 4, pp. 1009-1026.