Partitioning Subsets of Stable Models

Journal of Symbolic Logic 66 (4):1899-1908 (2001)


This paper discusses two combinatorial problems in stability theory. First we prove a partition result for subsets of stable models: for any A and B, we can partition A into |B|$^{ |B|, then we try to find A' $\subset$ A and B' $\subset$ B such that |A'| is as large as possible, |B'| is as small as possible, and A' $\&2ADD;$ $\underset{B'}$ B. We prove some positive results in this direction, and we discuss the optimality of these results under ZFC + GCH.

Download options


    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

9 (#958,009)

6 months
1 (#388,311)

Historical graph of downloads
How can I increase my downloads?

Similar books and articles

Partitioning Subsets of Stable Models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1899-1908.
An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
Forcing Closed Unbounded Subsets of Ω2.M. C. Stanley - 2001 - Annals of Pure and Applied Logic 110 (1-3):23-87.
A Note on Stable Sets, Groups, and Theories with NIP.Alf Onshuus & Ya'acov Peterzil - 2007 - Mathematical Logic Quarterly 53 (3):295-300.
Ranks and Pregeometries in Finite Diagrams.Olivier Lessmann - 2000 - Annals of Pure and Applied Logic 106 (1-3):49-83.
On Atomic or Saturated Sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
The Spectrum of Maximal Independent Subsets of a Boolean Algebra.J. Donald Monk - 2004 - Annals of Pure and Applied Logic 126 (1-3):335-348.
Expansions of Models of Ω-Stable Theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
Packing Index of Subsets in Polish Groups.Taras Banakh, Nadya Lyaskovska & Dušan Repovš - 2009 - Notre Dame Journal of Formal Logic 50 (4):453-468.

Author's Profile

Timothy Bays
University of Notre Dame

References found in this work

No references found.

Add more references

Citations of this work

No citations found.

Add more citations