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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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.
Implicit Definability and Infinitary Languages.Kenneth Kunen - 1970 - Journal of Symbolic Logic 35 (2):341-342.
Review: Kenneth Kunen, Implicit Definability and Infinitary Languages. [REVIEW]E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (2):341-342.
Review: Carol Karp, Jon Barwise, An Algebraic Proof of the Barwise Compactness Theorem. [REVIEW]N. J. Cutland - 1974 - Journal of Symbolic Logic 39 (2):335-335.
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.
Review: Jon Barwise, Infinitary Logic and Admissible Sets. [REVIEW]E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):156-157.
Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.
A proofless proof of the Barwise compactness theorem.Mark Howard - 1988 - Journal of Symbolic Logic 53 (2):597-602.

Analytics

Added to PP
2011-03-20

Downloads
15 (#244,896)

6 months
2 (#1,816,284)

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