Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 8
Number of items: 8
  • Ikegami, D., & Väänänen, J. (2015). Boolean-valued second-order logic. Notre Dame Journal of Formal Logic, 56(1), 167-190. https://doi.org/10.1215/00294527-2835065
  • Open Access
    Ikegami, D., de Kloet, D., & Löwe, B. (2012). The Axiom of Real Blackwell Determinacy. Archive for Mathematical Logic, 51(7-8), 671-685. https://doi.org/10.1007/s00153-012-0291-x
  • Open Access
    Ikegami, D. (2010). Games in set theory and logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Ikegami, D. (2010). Forcing absoluteness and regularity properties. Annals of Pure and Applied Logic, 161(7), 879-894. https://doi.org/10.1016/j.apal.2009.10.005
  • Open Access
    Ikegami, D. (2009). Projective absoluteness for Sacks forcing. Archive for Mathematical Logic, 48(7), 679-690. https://doi.org/10.1007/s00153-009-0143-5
  • van Benthem, J., & Ikegami, D. (2008). Modal fixed-point logic and changing models. In A. Avron, N. Dershowitz, & A. Rabinovich (Eds.), Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday (pp. 146-165). (Lecture notes in computer science; No. 4800). Springer. https://doi.org/10.1007/978-3-540-78127-1_9
  • Ikegami, D. (2007). Projective absoluteness under Sacks forcing. The Bulletin of Symbolic Logic, 13(2), 274-274.
  • Ikegami, D. (2006). Projective absoluteness under Sacks forcing. (ILLC Prepublication Series; No. PP-2006-12). Institute for Logic, Language and Computation.
Page of