Model theory for< i> L_< sub>∞ ω1

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(84)90012-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

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

Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Uniting model theory and the universalist tradition of logic: Carnap’s early axiomatics.Iris Loeb - 2014 - Synthese 191 (12):2815-2833.
Saturated model theory.Gerald E. Sacks - 1972 - Reading, Mass.,: W. A. Benjamin.
" The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part One. Development of a new model for nursing theory evaluation and application of this model to theory description of the SAUC model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (1):10-34.
A Silver-like Perfect Set Theorem with an Application to Borel Model Theory.Joël Combase - 2011 - Notre Dame Journal of Formal Logic 52 (4):415-429.
Ideal objects as models in science.Władysław Krajewski - 1997 - International Studies in the Philosophy of Science 11 (2):185-190.
" The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part Two. Application of the evaluation model to theory analysis, theory critique and theory support of the SAUC model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (2):19-38.
Models of set theory with definable ordinals.Ali Enayat - 2005 - Archive for Mathematical Logic 44 (3):363-385.
Formalized Token Models and Duality in Semantics: An Algebraic Approach.Lars Hansen - 2004 - Journal of Symbolic Logic 69 (2):443 - 477.
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..
Continuous model theory.Chen Chung Chang - 1966 - Princeton,: Princeton University Press. Edited by H. Jerome Keisler.
Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
Scientific Explanation: From Covering Law to Covering Theory.Fritz Rohrlich - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:69 - 77.

Analytics

Added to PP
2014-04-08

Downloads
6 (#1,456,990)

6 months
1 (#1,464,097)

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.
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.
Scott sentences and admissible sets.Mark Nadel - 1974 - Annals of Mathematical Logic 7 (2):267.

View all 7 references / Add more references