Slow reflection

Annals of Pure and Applied Logic 168 (12):2103-2128 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

The Epistemological Bases of the Slow Switching Argument.Mahmoud Morvarid - 2012 - European Journal of Philosophy 23 (1):17-38.
More on full reflection below $${\aleph_\omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.
Reflection On: On Reflection.Declan Smithies - 2016 - Analysis 76 (1):55-69.
Semistationary and stationary reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
Locke's theory of reflection.Kevin Scharp - 2008 - British Journal for the History of Philosophy 16 (1):25 – 63.
Sleep and synaptic homeostasis.Giulio Tononi & Chiara Cirelli - 2005 - Behavioral and Brain Sciences 28 (1):85-85.
On Reflection.Hilary Kornblith - 2012 - Oxford, GB: Oxford University Press.
Critical reflection, self-knowledge, and the emotions.Catriona Mackenzie - 2002 - Philosophical Explorations 5 (3):186-206.

Analytics

Added to PP
2017-06-23

Downloads
16 (#903,096)

6 months
4 (#778,909)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Short Proofs for Slow Consistency.Anton Freund & Fedor Pakhomov - 2020 - Notre Dame Journal of Formal Logic 61 (1):31-49.
The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.Albert Visser - 2020 - Archive for Mathematical Logic 60 (3-4):441-468.

Add more citations

References found in this work

Reflecting on incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.
Proof-theoretic analysis by iterated reflection.Lev D. Beklemishev - 2003 - Archive for Mathematical Logic 42 (6):515-552.

View all 20 references / Add more references