Model theory for L∞ω1

Annals of Pure and Applied Logic 26 (2):103-122 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

original Friedman, Sy D. (1984) "Model theory for< i> L_< sub>∞ ω1". Annals of Pure and Applied Logic 26(2):103-122

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,072

External links

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

Through your library

Similar books and articles

Cut-elimination for ω1.Toshiyasu Arai - 2018 - Annals of Pure and Applied Logic 169 (12):1246-1269.
Universal graphs and functions on ω1.Saharon Shelah & Juris Steprāns - 2021 - Annals of Pure and Applied Logic 172 (8):102986.
Model theory for "L"[infinity]omega 1.S. D. Friedman - 1984 - Annals of Pure and Applied Logic 26 (2):103.

Analytics

Added to PP
2014-01-16

Downloads
21 (#865,848)

6 months
3 (#1,419,365)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Infinitary logic and admissible sets.Jon Barwise - 1969 - Journal of Symbolic Logic 34 (2):226-252.
The number of countable models.Michael Morley - 1970 - Journal of Symbolic Logic 35 (1):14-18.
Countable models of set theories.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 539--573.
The next admissible set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.
Steel forcing and barwise compactness.Sy D. Friedman - 1982 - Annals of Mathematical Logic 22 (1):31-46.

View all 7 references / Add more references