Switch to: References

Add citations

You must login to add citations.
  1. The axiom of real Blackwell determinacy.Daisuke Ikegami, David de Kloet & Benedikt Löwe - 2012 - Archive for Mathematical Logic 51 (7-8):671-685.
    The theory of infinite games with slightly imperfect information has been developed for games with finitely and countably many moves. In this paper, we shift the discussion to games with uncountably many possible moves, introducing the axiom of real Blackwell determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{Bl-AD}_\mathbb{R}}$$\end{document} (as an analogue of the axiom of real determinacy \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{AD}_\mathbb{R}}$$\end{document}). We prove that the consistency strength of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The restriction of a Borel equivalence relation to a sparse set.Howard Becker - 2003 - Archive for Mathematical Logic 42 (4):335-347.
    We consider sparseness, smoothness and the Glimm-Effros Dichotomy for the restriction of a Borel equivalence relation on a Polish space to definable subsets of that space.
    Download  
     
    Export citation  
     
    Bookmark  
  • Supercompactness Can Be Equiconsistent with Measurability.Nam Trang - 2021 - Notre Dame Journal of Formal Logic 62 (4):593-618.
    The main result of this paper, built on previous work by the author and T. Wilson, is the proof that the theory “ADR+DC + there is an R-complete measure on Θ” is equiconsistent with “ZF+DC+ ADR + there is a supercompact measure on ℘ω1(℘(R))+Θ is regular.” The result and techniques presented here contribute to the general program of descriptive inner model theory and in particular, to the general study of compactness phenomena in the context of ZF+DC.
    Download  
     
    Export citation  
     
    Bookmark  
  • Inner models and ultrafilters in l(r).Itay Neeman - 2007 - Bulletin of Symbolic Logic 13 (1):31-53.
    We present a characterization of supercompactness measures for ω1 in L(R), and of countable products of such measures, using inner models. We give two applications of this characterization, the first obtaining the consistency of $\delta_3^1 = \omega_2$ with $ZFC+AD^{L(R)}$ , and the second proving the uniqueness of the supercompactness measure over ${\cal P}_{\omega_1} (\lambda)$ in L(R) for $\lambda > \delta_1^2$.
    Download  
     
    Export citation  
     
    Bookmark   1 citation