α Logic and Infinitary Languages

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):105-112 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19760220112

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

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

From finitary to infinitary second‐order logic.George Weaver & Irena Penev - 2005 - Mathematical Logic Quarterly 51 (5):499-506.
Infinitary languages.John Bell - manuscript
Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..
Herbrand and Skolem theorems in infinitary languages.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.
Incompactness in infinitary languages with respect to Boolean-valued interpretations.Attila Máté - 1971 - Szeged,: University of Szeged Bolyai Mathematical Institute.
Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
An Infinitary Extension of Jankov’s Theorem.Yoshihito Tanaka - 2007 - Studia Logica 86 (1):111 - 131.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
A remark on infinitary languages.Jörg Flum - 1971 - Journal of Symbolic Logic 36 (3):461-462.
Forcing for Infinitary Languages.Carol Wood - 1972 - Mathematical Logic Quarterly 18 (25‐30):385-402.
Infinitary S5‐Epistemic Logic.Aviad Heifetz - 1997 - Mathematical Logic Quarterly 43 (3):333-342.
Implicit definability and infinitary languages.Kenneth Kunen - 1968 - Journal of Symbolic Logic 33 (3):446-451.

Analytics

Added to PP
2013-11-24

Downloads
37 (#433,006)

6 months
3 (#982,484)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
Gödel’s Incompleteness Theorems and Physics.Newton C. A. da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references