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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,626

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
46 (#534,342)

6 months
5 (#855,890)

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.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references