- 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
Set-theoretic geology
Annals of Pure and Applied Logic 166 (4):464-501 (2015)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
The downward directed grounds hypothesis and very large cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
Steel's Programme: Evidential Framework, the Core and Ultimate-L.Joan Bagaria & Claudio Ternullo - 2021 - Review of Symbolic Logic:1-25.
Steel’s Programme: Evidential Framework, the Core and Ultimate- L.Joan Bagaria & Claudio Ternullo - 2023 - Review of Symbolic Logic 16 (3):788-812.
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice.Joshua Brot, Mengyang Cao & David Fernández-Bretón - 2021 - Annals of Pure and Applied Logic 172 (6):102961.
On the Hamkins approximation property.William J. Mitchell - 2006 - Annals of Pure and Applied Logic 144 (1-3):126-129.
Model theoretic dynamics in Galois fashion.Daniel Max Hoffmann - 2019 - Annals of Pure and Applied Logic 170 (7):755-804.
Proof-theoretic analysis of termination proofs.Wilfried Buchholz - 1995 - Annals of Pure and Applied Logic 75 (1-2):57-65.
Model-theoretic complexity of automatic structures.Bakhadyr Khoussainov & Mia Minnes - 2010 - Annals of Pure and Applied Logic 161 (3):416-426.
Model theoretic properties of the Urysohn sphere.Gabriel Conant & Caroline Terry - 2016 - Annals of Pure and Applied Logic 167 (1):49-72.
Computability-theoretic categoricity and Scott families.Ekaterina Fokina, Valentina Harizanov & Daniel Turetsky - 2019 - Annals of Pure and Applied Logic 170 (6):699-717.
Analytics
Added to PP
2015-08-28
Downloads
53 (#292,766)
6 months
12 (#306,613)
2015-08-28
Downloads
53 (#292,766)
6 months
12 (#306,613)
Historical graph of downloads
Author's Profile
Citations of this work
The modal logic of set-theoretic potentialism and the potentialist maximality principles.Joel David Hamkins & Øystein Linnebo - 2022 - Review of Symbolic Logic 15 (1):1-35.
Modal Pluralism and Higher‐Order Logic.Justin Clarke-Doane & William McCarthy - 2022 - Philosophical Perspectives 36 (1):31-58.
Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.
The downward directed grounds hypothesis and very large cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
References found in this work
Aronszajn trees and the independence of the transfer property.William Mitchell - 1972 - Annals of Mathematical Logic 5 (1):21.
The lottery preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
Certain very large cardinals are not created in small forcing extensions.Richard Laver - 2007 - Annals of Pure and Applied Logic 149 (1-3):1-6.
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-6686886f5-xdvnm uwo