A characterization of Σ 1 1 -reflecting ordinals

Annals of Pure and Applied Logic 172 (10):103009 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2021.103009

Other Versions

No versions found

Links

PhilArchive



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

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

Generic absoluteness.Joan Bagaria & Sy D. Friedman - 2001 - Annals of Pure and Applied Logic 108 (1-3):3-13.
Proof theory for theories of ordinals II: Π3-reflection.Toshiyasu Arai - 2004 - Annals of Pure and Applied Logic 129 (1):39-92.
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ 1 1 collection. [REVIEW]Kentaro Sato - 2023 - Annals of Pure and Applied Logic 174 (3):103207.
A strong boundedness theorem for dilators.A. S. Kechris & W. H. Woodin - 1991 - Annals of Pure and Applied Logic 52 (1-2):93-97.
Σ 1 -elementarity and Skolem hull operators.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):162-175.
On the expressiveness of frame satisfiability and fragments of second-order logic.Thomas Eiter & Georg Gottlob - 1998 - Journal of Symbolic Logic 63 (1):73-82.
Countably decomposable admissible sets.Menachem Magidor, Saharon Shelah & Jonathan Stavi - 1984 - Annals of Pure and Applied Logic 26 (3):287-361.
Stationary logic of ordinals.Alan H. Mekler - 1984 - Annals of Pure and Applied Logic 26 (1):47-68.

Analytics

Added to PP
2021-07-08

Downloads
21 (#1,020,825)

6 months
3 (#1,498,028)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Weak axioms of determinacy and subsystems of analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
Weak axioms of determinacy and subsystems of analysis I: δ20 games.Kazuyuki Tanaka - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491.
Shortening clopen games.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1541-1554.

View all 8 references / Add more references