On the homogeneity property for certain quantifier logics

Archive for Mathematical Logic 31 (6):445-455 (1992)
  Copy   BIBTEX

Abstract

The local homogeneity property is defined as in [Mak]. We show thatL ωω(Q1) and some related logics do not have the local homogeneity property, whereas cofinality logicL ωω(Q cfω) has the homogeneity property. Both proofs use forcing and absoluteness arguments

Categories

Keywords

Reprint years

DOI

10.1007/bf01277486

Links

PhilArchive



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

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

Pseudo-finite homogeneity and saturation.Jörg Flum & Martin Ziegler - 1999 - Journal of Symbolic Logic 64 (4):1689-1699.
Statistical explanation.Hugh Lehman - 1972 - Philosophy of Science 39 (4):500-506.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
On the homogeneity of space and time in special relativity.José A. Ferrari - 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22 (1):169-171.
Quantum logics with the existence property.Christian Schindler - 1991 - Foundations of Physics 21 (4):483-498.
The simple substitution property of gödel's intermediate propositional logics sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
The simple substitution property of the intermediate propositional logics on finite slices.Katsumi Sasaki - 1993 - Studia Logica 52 (1):41 - 62.
An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
S-homogeneity and automorphism groups.Elisabeth Bouscaren & Michael C. Laskowski - 1993 - Journal of Symbolic Logic 58 (4):1302-1322.
Constructible models of orthomodular quantum logics.Piotr Wilczek - unknown
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.Gemma Robles & José M. Méndez - 2012 - Notre Dame Journal of Formal Logic 53 (2):223-244.

Analytics

Added to PP
2013-11-23

Downloads
39 (#411,962)

6 months
2 (#1,206,727)

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

Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
Remarks in abstract model theory.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 29 (3):255-288.
Stationary logic and its friends. I.Alan H. Mekler & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):129-138.
Infinite games and reduced products.W. Hodges - 1981 - Annals of Mathematical Logic 20 (1):77.

View all 9 references / Add more references