Sub-arithmetical ultrapowers: a survey

Annals of Pure and Applied Logic 49 (2):143-191 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(90)90064-9

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,090

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

Using ultrapowers to compare continuous structures.H. Jerome Keisler - forthcoming - Annals of Pure and Applied Logic.
Capturing sets of ordinals by normal ultrapowers.Miha E. Habič & Radek Honzík - 2023 - Annals of Pure and Applied Logic 174 (6):103261.
Loeb extensions and ultrapowers of measures on fragments.Ng Siu-Ah - 1993 - Annals of Pure and Applied Logic 60 (2):179-189.
Arithmetical complexity of fuzzy predicate logics — A survey II.Petr Hájek - 2010 - Annals of Pure and Applied Logic 161 (2):212-219.
On arithmetical completeness of the logic of proofs.Sohei Iwata & Taishi Kurahashi - 2019 - Annals of Pure and Applied Logic 170 (2):163-179.
Upper bounds for the arithmetical degrees.M. Lerman - 1985 - Annals of Pure and Applied Logic 29 (3):225-254.
Stability of recursive structures in arithmetical degrees.C. J. Ash - 1986 - Annals of Pure and Applied Logic 32:113-135.
Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.
Searching problems above arithmetical transfinite recursion.Yudai Suzuki & Keita Yokoyama - 2024 - Annals of Pure and Applied Logic 175 (10):103488.
Menas' conjecture and generic ultrapowers.Yo Matsubara - 1987 - Annals of Pure and Applied Logic 36:225-234.

Analytics

Added to PP
2014-01-16

Downloads
20 (#1,081,413)

6 months
2 (#1,302,720)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Cohesive powers of structures.Valentina Harizanov & Keshav Srinivasan - 2024 - Archive for Mathematical Logic 63 (5):679-702.
Δ1 Ultrapowers are totally rigid.T. G. McLaughlin - 2007 - Archive for Mathematical Logic 46 (5-6):379-384.
Eight problems about nerode semirings.T. G. McLaughlin - 1992 - Annals of Pure and Applied Logic 56 (1-3):137-146.

View all 9 citations / 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.
Near coherence of filters. I. Cofinal equivalence of models of arithmetic.Andreas Blass - 1986 - Notre Dame Journal of Formal Logic 27 (4):579-591.
A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.
Some Extension and Rearrangement Theorems For Nerode Semirings.T. G. McLaughlin - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):197-209.
Some Extension and Rearrangement Theorems For Nerode Semirings.T. G. McLaughlin - 1989 - Mathematical Logic Quarterly 35 (3):197-209.

View all 10 references / Add more references