E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388 [Book Review]

Journal of Symbolic Logic 34 (2):301-302 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271121

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.
E. G. K. Lopez-Escobar. On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 , pp. 739–743. [REVIEW]Martin Helling - 1970 - Journal of Symbolic Logic 35 (4):586-586.
Lopez-Escobar E. G. K.. A non-interpolation theorem. English with Russian summary. Bulletin de l'Académic Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 17 , pp. 109–112, V. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (3):457-458.
E. G. K. Lopez-Escobar. On defining well-orderings. Fundamenta mathematicae, vol. 59 , pp. 13–21. - E. G. K. Lopez-Escobar. An addition to “On defining well-orderings.“Fundamenta mathematicae, vol. 59 , pp. 299–300. [REVIEW]Jerome Malitz - 1968 - Journal of Symbolic Logic 33 (1):123.
E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 , pp. 93–103. [REVIEW]Wolfram Schwabhauser - 1970 - Journal of Symbolic Logic 35 (3):467.
P. Vopěnka. The limits of sheaves and applications on constructions of models. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 189–192. - P. Vopěnka. On ∇-model of set theory. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 267–272. - P. Vopěnka. Properties of ∇-model. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 441–444. - P. Vopěnka and P. Hájek. Permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 611–614. - P. Hájek and P. Vopěnka. Some permutation submodels of the model ∇. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 , pp. 1–7. - P. Vopěnka. ∇-models in which the generalized conti. [REVIEW]Kenneth Kunen - 1969 - Journal of Symbolic Logic 34 (3):515-516.
Příkrý K.. The consistency of the continuum hypothesis for the first measurable cardinal. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 , pp. 193–197. [REVIEW]M. Boffa - 1973 - Journal of Symbolic Logic 38 (4):652-652.
Bukowský L. and Příkry K.. Some matamathematical properties of measurable cardinals. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 14 , pp. 9–14. [REVIEW]Peter G. Hinman - 1968 - Journal of Symbolic Logic 33 (3):476-476.
Kreisel G.. Analysis of Cantor-Bendixson theorem by means of the analytic hierarchy. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 , pp. 621–626. [REVIEW]Yiannis N. Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):334-334.

Analytics

Added to PP
2015-02-05

Downloads
45 (#485,968)

6 months
9 (#454,186)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Local definability theory.Gonzalo E. Reyes - 1970 - Annals of Mathematical Logic 1 (1):95-137.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
A Note on Counterexamples to the Vaught Conjecture.Greg Hjorth - 2007 - Notre Dame Journal of Formal Logic 48 (1):49-51.
Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.
An Ehrenfeucht‐Fraïssé game for Lω1ω.Jouko Väänänen & Tong Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):357-370.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references