Works by Rico Zumbrunnen

( view other items matching `Rico Zumbrunnen`, view all matches )
4 found
Order:
  1.  42
    A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π 1 -equivalent to KP.Kentaro Sato & Rico Zumbrunnen - 2015 - Annals of Pure and Applied Logic 166 (2):121-186.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  22
    Explicit mathematics and operational set theory: Some ontological comparisons.Gerhard Jäger & Rico Zumbrunnen - 2017 - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  5
    About the Strength of Operational Regularity.Gerhard Jäger & Rico Zumbrunnen - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 305-324.
    No categories
    $200.66 used   $237.56 new   (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  12
    Explicit mathematics and operational set theory: Some ontological comparisons.Gerhard Jäger & Rico Zumbrunnen - 2014 - Bulletin of Symbolic Logic 20 (3):275-292.
    We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations