$L{omega1omega}$ is Enough: A Reduction Theorem for Some Infinitary Languages

Journal of Symbolic Logic 37 (4):705-710 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272417

Links

PhilArchive



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

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 Model Theoretical Generalization of Steinitz’s Theorem.Alexandre Martins Rodrigues & Edelcio De Souza - 2011 - Principia: An International Journal of Epistemology 15 (1):107-110.
Herbrand and Skolem theorems in infinitary languages.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
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.
An example related to Gregory’s Theorem.J. Johnson, J. F. Knight, V. Ocasio & S. VanDenDriessche - 2013 - Archive for Mathematical Logic 52 (3-4):419-434.
Explaining the Gentzen–Takeuti reduction steps: a second-order system.Wilfried Buchholz - 2001 - Archive for Mathematical Logic 40 (4):255-272.
A Remark on Scott's Interpolation Theorem for $L{omega1omega}$.Nobuyoshi Motohashi - 1977 - Journal of Symbolic Logic 42 (1):63-63.
A Remark on Africk's Paper on Scott's Interpolation Theorem for $L{omega1omega}$.Nobuyoshi Motohashi - 1979 - Journal of Symbolic Logic 44 (1):32-32.
On Definitions in an Infinitary Language.Victor Pambuccian - 2002 - Mathematical Logic Quarterly 48 (4):522-524.
The Vaught Conjecture: Do Uncountable Models Count?John T. Baldwin - 2007 - Notre Dame Journal of Formal Logic 48 (1):79-92.
Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..
A topological completeness theorem.Carsten Butz - 1999 - Archive for Mathematical Logic 38 (2):79-101.

Analytics

Added to PP
2013-11-22

Downloads
14 (#989,410)

6 months
1 (#1,469,946)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references