Inner models from extended logics: Part 1

Journal of Mathematical Logic 21 (2):2150012 (2020)

Abstract

If we replace first-order logic by second-order logic in the original definition of Gödel’s inner model L, we obtain the inner model of hereditarily ordinal definable sets [33]. In this paper...

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,879

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2020-09-26

Downloads
11 (#860,140)

6 months
1 (#386,016)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Juliette Kennedy
University of Helsinki
Jouko A Vaananen
University of Helsinki

References found in this work

Internal Cohen Extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
Elementary Embeddings and Infinitary Combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
Axioms for Abstract Model Theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.

View all 17 references / Add more references

Citations of this work

Add more citations

Similar books and articles

Easton’s Theorem in the Presence of Woodin Cardinals.Brent Cody - 2013 - Archive for Mathematical Logic 52 (5-6):569-591.
The HOD Hypothesis and a Supercompact Cardinal.Yong Cheng - 2017 - Mathematical Logic Quarterly 63 (5):462-472.
Generic Derivations on o-Minimal Structures.Antongiulio Fornasiero & Elliot Kaplan - 2020 - Journal of Mathematical Logic 21 (2):2150007.
The Internal Consistency of Easton’s Theorem.Sy-David Friedman & Pavel Ondrejovič - 2008 - Annals of Pure and Applied Logic 156 (2):259-269.
Guessing Models and the Approachability Ideal.Rahman Mohammadpour & Boban Veličković - 2020 - Journal of Mathematical Logic 21 (2):2150003.
Interpolative Fusions.Alex Kruckman, Chieu-Minh Tran & Erik Walsberg - 2020 - Journal of Mathematical Logic 21 (2):2150010.
The Largest Countable Inductive Set is a Mouse Set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Abstract Logic and Set Theory. II. Large Cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
Definability of Satisfaction in Outer Models.Sy-David Friedman & Radek Honzik - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Birkhäuser. pp. 135-160.
Proper Forcing and L(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Proper Forcing and L$$.Itay Neeman & Jindrich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.