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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,874

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.Jorg Flum & Martin Ziegler - 1999 - Journal of Symbolic Logic 64 (4):1689-1699.
Shelah's stability spectrum and homogeneity spectrum in finite diagrams.Rami Grossberg & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (1):1-31.
A short proof of the preservation of the ωω‐bounding property.Chaz Schlindwein - 2004 - Mathematical Logic Quarterly 50 (1):29-32.
Non-homogeneity of quotients of Prikry forcings.Moti Gitik & Eyal Kaplan - 2019 - Archive for Mathematical Logic 58 (5-6):649-710.
Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Definability properties and the congruence closure.Xavier Caicedo - 1990 - Archive for Mathematical Logic 30 (4):231-240.
Understanding preservation theorems: chapter VI of Proper and Improper Forcing, I.Chaz Schlindwein - 2014 - Archive for Mathematical Logic 53 (1-2):171-202.
Arity hierarchies.Martin Grohe - 1996 - Annals of Pure and Applied Logic 82 (2):103-163.
Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Archive for Mathematical Logic 51 (5-6):661-670.
Large cardinals and gap-1 morasses.Andrew D. Brooke-Taylor & Sy-David Friedman - 2009 - Annals of Pure and Applied Logic 159 (1-2):71-99.

Analytics

Added to PP
2013-11-23

Downloads
48 (#442,814)

6 months
8 (#533,737)

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.
On models with power-like ordering.Saharon Shelah - 1972 - Journal of Symbolic Logic 37 (2):247-267.

View all 8 references / Add more references