Implicit definability and infinitary languages

Journal of Symbolic Logic 33 (3):446-451 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270330

Links

PhilArchive



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

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

Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..
Implicit Definability and Compactness in Infinitary Languages.Jon Barwise - 1968 - Lecture Notes in Mathematics 72 (1):1--35.
Beth definability in infinitary languages.John Gregory - 1974 - Journal of Symbolic Logic 39 (1):22-26.
Uniform inductive definability and infinitary languages.Anders M. Nyberg - 1976 - Journal of Symbolic Logic 41 (1):109-120.
Herbrand and Skolem theorems in infinitary languages.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
Incompactness in infinitary languages with respect to Boolean-valued interpretations.Attila Máté - 1971 - Szeged,: University of Szeged Bolyai Mathematical Institute.
Infinitary languages.John Bell - manuscript
Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
Weak definability in infinitary languages.Saharon Shelah - 1973 - Journal of Symbolic Logic 38 (3):399-404.
Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..

Analytics

Added to PP
2009-01-28

Downloads
229 (#84,165)

6 months
16 (#138,396)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.
Recursively invariant beta-recursion theory.Wolfgand Maass - 1981 - Annals of Mathematical Logic 21 (1):27.

Add more citations

References found in this work

Languages with Expressions of Infinite Length.William P. Hanf - 1964 - Journal of Symbolic Logic 33 (3):477-478.

Add more references