Hod In Natural Models Of Ad+

Annals of Pure and Applied Logic 165 (10):1533-1556 (2014)
  Copy   BIBTEX

Abstract

The goal of this paper is to compute the full HOD of models of AD+AD+ of the form L)L) below “ADR+ΘADR+Θ is regular”. As part of this computation, we give a computation of HOD|ΘHOD|Θ left open in [3] for Θ a successor in the Solovay sequence. Our work, when combined with [3], shows that in AD+AD+ models of the form L)L) below “ADR+ΘADR+Θ is regular”, HOD satisfies GCHGCH

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2014.04.006

Links

PhilArchive



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

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

Statistical Models of Natural Images and Cortical Visual Representation.Aapo Hyvärinen - 2010 - Topics in Cognitive Science 2 (2):251-264.
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.
Verification, Validation, and Confirmation of Numerical Models in the Earth Sciences.Naomi Oreskes, Kristin Shrader-Frechette & Kenneth Belitz - 1994 - Science 263 (5147):641-646.
The cofinality spectrum of the infinite symmetric group.Saharon Shelah & Simon Thomas - 1997 - Journal of Symbolic Logic 62 (3):902-916.
Significance of Models of Computation, from Turing Model to Natural Computation.Gordana Dodig-Crnkovic - 2011 - Minds and Machines 21 (2):301-322.
Models of voting behavior in survey research.Marthe Chandler - 1988 - Synthese 76 (1):25 - 48.
Statistical models as cognitive models of individual differences in reasoning.Andrew J. B. Fugard & Keith Stenning - 2013 - Argument and Computation 4 (1):89 - 102.
Hierarchical Bayesian models as formal models of causal reasoning.York Hagmayer & Ralf Mayrhofer - 2013 - Argument and Computation 4 (1):36 - 45.
Sticking to the manifesto.Mike Page - 2000 - Behavioral and Brain Sciences 23 (4):496-505.
Logical openness in cognitive models.Prof Ignazio Licata - 2008 - Epistemologia:177-192.
What do numerical (climate) models really represent?Gabriele Gramelsberger - 2011 - Studies in History and Philosophy of Science Part A 42 (2):296-302.
Localist models are already here.Stellan Ohlsson - 2000 - Behavioral and Brain Sciences 23 (4):486-487.
The Theory of $\kappa$ -like Models of Arithmetic.Richard Kaye - 1995 - Notre Dame Journal of Formal Logic 36 (4):547-559.
Models.Jay Odenbaugh - manuscript

Analytics

Added to PP
2015-01-22

Downloads
9 (#1,224,450)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hod up to A D R + Θ is measurable.Rachid Atmai & Grigor Sargsyan - 2019 - Annals of Pure and Applied Logic 170 (1):95-108.
Supercompactness Can Be Equiconsistent with Measurability.Nam Trang - 2021 - Notre Dame Journal of Formal Logic 62 (4):593-618.

Add more citations

References found in this work

Scales in K(R) at the End of a Weak Gap.J. R. Steel - 2008 - Journal of Symbolic Logic 73 (2):369 - 390.
Scales in K at the end of a weak gap.J. R. Steel - 2008 - Journal of Symbolic Logic 73 (2):369-390.

Add more references