Incompactness in infinitary languages with respect to Boolean-valued interpretations

Szeged,: University of Szeged Bolyai Mathematical Institute (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Boolean models and infinitary first order languages.J. -P. Ressayre - 1973 - Annals of Mathematical Logic 6 (1):41.
Boolean Valued Models, Boolean Valuations, and Löwenheim-Skolem Theorems.Xinhe Wu - 2023 - Journal of Philosophical Logic 53 (1):293-330.
Infinitary propositional relevant languages with absurdity.Guillermo Badia - 2017 - Review of Symbolic Logic 10 (4):663-681.
Boolean valued semantics for infinitary logics.Juan M. Santiago Suárez & Matteo Viale - 2024 - Annals of Pure and Applied Logic 175 (1):103333.
Lectures on infinitary model theory.David Marker - 2016 - New York, NY, USA: Cambridge University Press.
Herbrand and Skolem theorems in infinitary languages.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
Model theory of infinitary languages.M. A. Dickmann - 1970 - [Aarhus, Denmark,: Universitet, Matematisk institut].
Large infinitary languages: model theory.M. A. Dickmann - 1975 - New York: American Elsevier Pub. Co..
From finitary to infinitary second‐order logic.George Weaver & Irena Penev - 2005 - Mathematical Logic Quarterly 51 (5):499-506.

Analytics

Added to PP
2009-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Filters closed under Mahlo's and Gaifman's operation.K. Gloede - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 495--530.

Add more citations

References found in this work

No references found.

Add more references