Some observations on the substructure lattice of a 1 ultrapower

Mathematical Logic Quarterly 56 (3):323-330 (2010)
  Copy   BIBTEX

Abstract

Given a Δ1 ultrapower ℱ/[MATHEMATICAL SCRIPT CAPITAL U], let ℒU denote the set of all Π2-correct substructures of ℱ/[MATHEMATICAL SCRIPT CAPITAL U]; i.e., ℒU is the collection of all those subsets of |ℱ/[MATHEMATICAL SCRIPT CAPITAL U]| that are closed under computable functions. Defining in the obvious way the lattice ℒ) with domain ℒU, we obtain some preliminary results about lattice embeddings into – or realization as – an ℒ. The basis for these results, as far as we take the matter, consists of the well-known class of minimal ℱ/[MATHEMATICAL SCRIPT CAPITAL U]'s, which function as atoms, and the class of minimalfree ℱ/[MATHEMATICAL SCRIPT CAPITAL U]'s, to whose nonemptiness a substantial section of the paper is devoted. It is shown that an infinite, convergent monotone sequence together with its limit point is embeddable in an ℒ, and that the initial segment lattices {0, 1,…, n } are not just embeddable in , but in fact realizable as, lattices ℒ. Finally, the diamond is embeddable; and if it is not realizable, then either the 1 - 3 - 1 lattice or the pentagon is at least embeddable

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Similar books and articles

Automorphisms of the lattice of recursively enumerable sets.Peter Cholak - 1995 - Providence, RI: American Mathematical Society.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Filtral powers of structures.P. Ouwehand & H. Rose - 1998 - Journal of Symbolic Logic 63 (4):1239-1254.
A Boolean ultrapower which is not an ultrapower.Bernd Koppelberg & Sabine Koppelberg - 1976 - Journal of Symbolic Logic 41 (1):245-249.
Some remarks on the algebraic structure of the Medvedev lattice.Andrea Sorbi - 1990 - Journal of Symbolic Logic 55 (2):831-853.
On the Structure of the Medvedev Lattice.Sebastiaan A. Terwijn - 2008 - Journal of Symbolic Logic 73 (2):543 - 558.
Possible size of an ultrapower of $\omega$.Renling Jin & Saharon Shelah - 1999 - Archive for Mathematical Logic 38 (1):61-77.

Analytics

Added to PP
2013-12-01

Downloads
13 (#886,512)

6 months
1 (#1,040,386)

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

Models and types of Peano's arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.
Sub-arithmetical ultrapowers: a survey.Thomas G. McLaughlin - 1990 - Annals of Pure and Applied Logic 49 (2):143-191.
Substructure lattices of models of arithmetic.George Mills - 1979 - Annals of Mathematical Logic 16 (2):145.

Add more references