Filtral Powers of Structures

Journal of Symbolic Logic 63 (4):1239-1254 (1998)
  Copy   BIBTEX

Abstract

Among the results of this paper are the following: 1. Every Boolean power is the union of an updirected elementary family of direct ultrapowers. 2. Under certain conditions, a finitely iterated Boolean ultrapower is isomorphic to a single Boolean ultrapower. 3. A $\omega$-bounded filtral power is an elementary substructure of a filtral power. 4. Let $\mathscr{K}$ be an elementary class closed under updirected unions ; then $\mathscr{K}$ is closed under finite products if and only if $\mathscr{K}$ is closed under reduced products if and only if $\mathscr{K}$ is a Horn class.

Links

PhilArchive



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

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

Filtral powers of structures.P. Ouwehand & H. Rose - 1998 - Journal of Symbolic Logic 63 (4):1239-1254.
Initial Segments of the Lattice of $\Pi^0_1$ Classes.Douglas Cenzer & Andre Nies - 2001 - Journal of Symbolic Logic 66 (4):1749-1765.
Cauchy Completeness in Elementary Logic.J. C. Cifuentes, A. M. Sette & D. Mundici - 1996 - Journal of Symbolic Logic 61 (3):1153-1157.
Elementary Cuts in Saturated Models of Peano Arithmetic.James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (1):1-13.
The Elementary Classes of Direct and Boolean Products.Daniel Gluschankof - 1994 - Mathematical Logic Quarterly 40 (2):191-203.
$t$-convexity And Tame Extensions.Lou van den Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74-102.
Normality and $\mathscr{P}(\kappa)/\mathscr{J}$.R. Zrotowski - 1991 - Journal of Symbolic Logic 56 (3):1064-1067.
Cauchy completeness in elementary logic.J. C. Cifuentes, A. M. Sette & D. Mundici - 1996 - Journal of Symbolic Logic 61 (4):1153-1157.
A Hierarchy Of Maps Between Compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.
Counting Finite Models.Alan R. Woods - 1997 - Journal of Symbolic Logic 62 (3):925-949.
A hierarchy of maps between compacta.Paul Bankston - 1999 - Journal of Symbolic Logic 64 (4):1628-1644.
The Pure Part of $mathrm{HYP}(mathscr{M}$).Mark Nadel & Jonathan Stavi - 1977 - Journal of Symbolic Logic 42 (1):33-46.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,546,680)

6 months
1 (#1,478,830)

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

No references found.

Add more references