9 found
Sort by:
See also:
  1. Peter Koellner, Independence and Large Cardinals. Stanford Encyclopedia of Philosophy.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Peter Koellner (2010). On the Question of Absolute Undecidability. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic. 153-188.
    The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Peter Koellner (2010). Strong Logics of First and Second Order. Bulletin of Symbolic Logic 16 (1):1-36.
    In this paper we investigate strong logics of first and second order that have certain absoluteness properties. We begin with an investigation of first order logic and the strong logics ω-logic and β-logic, isolating two facets of absoluteness, namely, generic invariance and faithfulness. It turns out that absoluteness is relative in the sense that stronger background assumptions secure greater degrees of absoluteness. Our aim is to investigate the hierarchies of strong logics of first and second order that are generically invariant (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Peter Koellner (2009). On Reflection Principles. Annals of Pure and Applied Logic 157 (2):206-219.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Peter Koellner & W. Hugh Woodin (2009). Incompatible Ω-Complete Theories. Journal of Symbolic Logic 74 (4):1155 - 1170.
    In 1985 the second author showed that if there is a proper class of measurable Woodin cardinals and $V^{B1} $ and $V^{B2} $ are generic extensions of V satisfying CH then $V^{B1} $ and $V^{B2} $ agree on all $\Sigma _1^2 $ -statements. In terms of the strong logic Ω-logic this can be reformulated by saying that under the above large cardinal assumption ZFC + CH is Ω-complete for $\Sigma _1^2 $ Moreover. CH is the unique $\Sigma _1^2 $ -statement (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman (2006). Of the Association for Symbolic Logic. Bulletin of Symbolic Logic 12 (3-4):503.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman (2006). The Hilton New York Hotel New York, NY December 27–29, 2005. Bulletin of Symbolic Logic 12 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. N. Griffin & Peter Koellner (2005). REVIEWS-Selected Papers From The Cambridge Companion to Bertrand Russell. Bulletin of Symbolic Logic 11 (1):72-76.
    No categories
     
    My bibliography  
     
    Export citation  
  9. Peter Koellner (2005). The Cambridge Companion to Bertrand Russell, Edited by Griffin Nicholas, Cambridge University Press, Cambridge, UK and New York, USA, 2003, Xvii+ 550 Pp. [REVIEW] Bulletin of Symbolic Logic 11 (1):72-77.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation