Compactness, interpolation and Friedman's third problem

Annals of Mathematical Logic 22 (2):197 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(82)90021-3

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

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

A simple solution to Friedman's fourth problem.Xavier Caicedo - 1986 - Journal of Symbolic Logic 51 (3):778-784.
On strong compactness and supercompactness.Telis K. Menas - 1975 - Annals of Mathematical Logic 7 (4):327-359.
Compactness for omitting of types.Miroslav Benda - 1978 - Annals of Mathematical Logic 14 (1):39.
Σ1-well-founded compactness.Nigel Cutland & Matt Kauffmann - 1980 - Annals of Mathematical Logic 18 (3):271-296.
Generalized interpolation and definability.David W. Kueker - 1970 - Annals of Mathematical Logic 1 (4):423.
Steel forcing and barwise compactness.Sy D. Friedman - 1982 - Annals of Mathematical Logic 22 (1):31-46.
List of participants 17 Robert K. Meyer (Camberra, Australia) Barbara Morawska (Gdansk, Poland) Daniele Mundici (Milan, Italy).Kazumi Nakamatsu, Marek Nasieniewski, Volodymyr Navrotskiy, Sergey Pavlovich Odintsov, Carlos Oiler, Mieczyslaw Omyla, Hiroakira Ono, Ewa Orlowska, Katarzyna Palasihska & Francesco Paoli - 2001 - Logic and Logical Philosophy 7:16.
Models with compactness properties relative to an admissible language.J. P. Ressayre - 1977 - Annals of Mathematical Logic 11 (1):31.
Strong compactness and other cardinal sins.Jussi Ketonen - 1972 - Annals of Mathematical Logic 5 (1):47.
On Friedman's problem in mathematical logic.Tadeusz Prucnal - 1978 - Bulletin of the Section of Logic 7 (3):137-140.

Analytics

Added to PP
2014-01-17

Downloads
24 (#967,482)

6 months
1 (#1,581,209)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Geometry of Robinson consistency in Łukasiewicz logic.Manuela Busaniche & Daniele Mundici - 2007 - Annals of Pure and Applied Logic 147 (1):1-22.

Add more citations

References found in this work

One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
Infinitary analogs of theorems from first order model theory.Jerome Malitz - 1971 - Journal of Symbolic Logic 36 (2):216-228.
On descendingly incomplete ultrafilters.Kenneth Kunen & Karel Prikry - 1971 - Journal of Symbolic Logic 36 (4):650-652.
Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.

View all 9 references / Add more references