- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers
Annals of Pure and Applied Logic 175 (1):103358 (2024)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Covering the Baire space by families which are not finitely dominating.Heike Mildenberger, Saharon Shelah & Boaz Tsaban - 2006 - Annals of Pure and Applied Logic 140 (1):60-71.
Equational theory of positive numbers with exponentiation is not finitely axiomatizable.R. Gurevič - 1990 - Annals of Pure and Applied Logic 49 (1):1-30.
Foundational implications of the inner model hypothesis.Tatiana Arrigoni & Sy-David Friedman - 2012 - Annals of Pure and Applied Logic 163 (10):1360-1366.
Forcing absoluteness and regularity properties.Daisuke Ikegami - 2010 - Annals of Pure and Applied Logic 161 (7):879-894.
Generic absoluteness.Joan Bagaria & Sy Friedman - 2001 - Annals of Pure and Applied Logic 108 (1-3):3-13.
Generic absoluteness.Joan Bagaria & Sy D. Friedman - 2001 - Annals of Pure and Applied Logic 108 (1-3):3-13.
Henkin and function quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.
Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.
Quasi finitely axiomatizable totally categorical theories.Gisela Ahlbrandt & Martin Ziegler - 1986 - Annals of Pure and Applied Logic 30 (1):63-82.
Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.
Analytics
Added to PP
2023-09-08
Downloads
13 (#1,066,279)
6 months
6 (#587,658)
2023-09-08
Downloads
13 (#1,066,279)
6 months
6 (#587,658)
Historical graph of downloads
References found in this work
Large cardinals and definable counterexamples to the continuum hypothesis.Matthew Foreman & Menachem Magidor - 1995 - Annals of Pure and Applied Logic 76 (1):47-97.
Inner models from extended logics: Part 1.Juliette Kennedy, Menachem Magidor & Jouko Väänänen - 2020 - Journal of Mathematical Logic 21 (2):2150012.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-lc8fp uwo