Generalizing the Mahlo Hierarchy, with Applications to the Mitchell Models

Annals of Pure and Applied Logic 25 (2):103-127 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(83)90010-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

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

Orders of Indescribable Sets.Alex Hellsten - 2006 - Archive for Mathematical Logic 45 (6):705-714.
The Recursively Mahlo Property in Second Order Arithmetic.Michael Rathjen - 1996 - Mathematical Logic Quarterly 42 (1):59-66.
On splitting stationary subsets of large cardinals.James E. Baumgartner, Alan D. Taylor & Stanley Wagon - 1977 - Journal of Symbolic Logic 42 (2):203-214.
Local sentences and Mahlo cardinals.Olivier Finkel & Stevo Todorcevic - 2007 - Mathematical Logic Quarterly 53 (6):558-563.
Adding Closed Unbounded Subsets of ω₂ with Finite Forcing.William J. Mitchell - 2005 - Notre Dame Journal of Formal Logic 46 (3):357-371.
Proper forcing extensions and Solovay models.Joan Bagaria & Roger Bosch - 2004 - Archive for Mathematical Logic 43 (6):739-750.
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
$\Diamond$ at mahlo cardinals.Martin Zeman - 2000 - Journal of Symbolic Logic 65 (4):1813 - 1822.
A notation system for ordinal using ψ‐functions on inaccessible mahlo numbers.Helmut Pfeiffer & H. Pfeiffer - 1992 - Mathematical Logic Quarterly 38 (1):431-456.
Updating theories.Sjoerd D. Zwart - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):375-395.
Hierarchies in φ‐spaces and applications.Victor L. Selivanov - 2005 - Mathematical Logic Quarterly 51 (1):45-61.
The ergodic hierarchy.Roman Frigg & Joseph Berkovitz - 2011 - Stanford Encyclopedia of Philosophy.
The natural hierarchy and quasi-hierarchy of constructibility degrees.Philip Welch - 1986 - Journal of Symbolic Logic 51 (1):130-134.
Solovay models and forcing extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.

Analytics

Added to PP
2014-01-16

Downloads
10 (#1,194,153)

6 months
1 (#1,471,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Between strong and superstrong.Stewart Baldwin - 1986 - Journal of Symbolic Logic 51 (3):547-559.
The comparison lemma.John R. Steel - forthcoming - Annals of Pure and Applied Logic.
Two-cardinal ideal operators and indescribability.Brent Cody & Philip White - forthcoming - Annals of Pure and Applied Logic.
A hierarchy of filters on regular uncountable cardinals.Thomas Jech - 1987 - Journal of Symbolic Logic 52 (2):388-395.

Add more citations

References found in this work

Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.

Add more references