Implicit Definability and Compactness in Infinitary Languages

Lecture Notes in Mathematics 72 (1):1--35 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272628

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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

Implicit definability and compactness in infinitary languages.Mihály Makkai - 1972 - Journal of Symbolic Logic 37 (1):201-202.
Karp Carol. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages, edited by Barwise Jon, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 80–95. [REVIEW]N. J. Cutland - 1974 - Journal of Symbolic Logic 39 (2):335-335.
Implicit definability and infinitary languages.Kenneth Kunen - 1968 - Journal of Symbolic Logic 33 (3):446-451.
Barwise Jon and Moss Lawrence. Vicious circles. On the mathematics of non-wellfounded phenomena. CSLI lecture notes, no. 60. CSLI Publications, Stanford1996, also distributed by Cambridge University Press, New York, x + 390 pp. [REVIEW]M. Boffa - 1997 - Journal of Symbolic Logic 62 (3):1039-1040.
A proofless proof of the Barwise compactness theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.
Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.

Analytics

Added to PP
2011-03-20

Downloads
18 (#1,123,254)

6 months
3 (#1,486,845)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Σ1 compactness for next admissible sets.Judy Green - 1974 - Journal of Symbolic Logic 39 (1):105 - 116.

Add more citations

References found in this work

No references found.

Add more references