A note on effective ultrapowers: Uniform failure of bounded collection

Mathematical Logic Quarterly 39 (1):431-435 (1993)
  Copy   BIBTEX

Abstract

By suitably adapting an argument of Hirschfeld , we show that there is a single Δ1 formula that defeats “bounded collection” for any model of II2 Arithmetic that is either a recursive ultrapower or an existentially complete model. Some related facts are noted. MSC: 03F30, 03C62

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390146

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Existentially Incomplete Tame Models and a Conjecture of Ellentuck.Thomas G. McLaughlin - 1999 - Mathematical Logic Quarterly 45 (2):189-202.
Polynomial time ultrapowers and the consistency of circuit lower bounds.Jan Bydžovský & Moritz Müller - 2020 - Archive for Mathematical Logic 59 (1-2):127-147.
Δ1 Ultrapowers are totally rigid.T. G. McLaughlin - 2007 - Archive for Mathematical Logic 46 (5-6):379-384.
Some observations on the substructure lattice of a 1 ultrapower.Thomas G. McLaughlin - 2010 - Mathematical Logic Quarterly 56 (3):323-330.
An Effective Conservation Result for Nonstandard Arithmetic.Erik Palmgren - 2000 - Mathematical Logic Quarterly 46 (1):17-24.
On the structure of kripke models of heyting arithmetic.Zoran Marković - 1993 - Mathematical Logic Quarterly 39 (1):531-538.
Representation of MV-algebras by regular ultrapowers of [0, 1].Antonio Di Nola, Giacomo Lenzi & Luca Spada - 2010 - Archive for Mathematical Logic 49 (4):491-500.
Successor levels of the Jensen hierarchy.Gunter Fuchs - 2009 - Mathematical Logic Quarterly 55 (1):4-20.
On a Spector Ultrapower for the Solovay Model.Vladimir Kanovei & Michiel van Lambalgen - 1997 - Mathematical Logic Quarterly 43 (3):389-395.
Addendum to “A definable nonstandard enlargement”.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (6):666-667.

Analytics

Added to PP
2013-12-01

Downloads
12 (#1,369,278)

6 months
3 (#1,470,638)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Combinatorial Isols and the Arithmetic of Dekker Semirings.Thomas G. McLaughlin - 2002 - Mathematical Logic Quarterly 48 (3):323-342.

Add more citations

References found in this work

No references found.

Add more references