References
Barwise, J.: Infinitary logic and admissible sets. JSL34, 226–252 (1969).
Barwise, J.: Axioms for abstract model theory. Ann. Math. Logic7, 221–265 (1945).
Barwise, J.: Admissible sets and structures. Berlin, Heidelberg, New York: Springer 1975.
Barwise, J., Kunen, K.: Hanf numbers for fragments of ℒ℞ω. Israel J. Math. (to appear).
Friedman, H.: Why first order logic (momeographed paper).
Friedman, H.: Adding propositional connectives to countable infinitary logic (to appear).
Lindström, P.: On extension of elementary logic. Theoria35, 1–11 (1969).
Moschovakis, Y.: Elementary induction on abstract structures. Amsterdam: North-Holland 1974.
Author information
Authors and Affiliations
Additional information
The preparation of this paper was supported by NSF Grant MCS 76-08476 and a Sloan Foundation fellowship.
Rights and permissions
About this article
Cite this article
Harrington, L. Extensions of countable infinitary logic which preserve most of its nice properties. Arch math Logik 20, 95–102 (1980). https://doi.org/10.1007/BF02021129
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02021129