4 found
Order:
  1.  9
    Thomas Streicher. Semantics of Type Theory. Correctness, Completeness and Independence Results. Progress in Theoretical Computer Science. Birkhäuser, Boston, Basel, and Berlin, 1991, Xii + 298 Pp. [REVIEW]Markus Marzetta - 1995 - Journal of Symbolic Logic 60 (3):1020-1021.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  4
    The $\Mu$ Quantification Operator in Explicit Mathematics with Universes and Iterated Fixed Point Theories with Ordinals.Markus Marzetta & Thomas Strahm - 1998 - Archive for Mathematical Logic 37 (5):391-413.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  7
    The [Mathematical Formula] Quantification Operator in Explicit Mathematics with Universes and Iterated Fixed Point Theories with Ordinals.Markus Marzetta & Thomas Strahm - 1997 - Archive for Mathematical Logic 5 (5-6):391-413.
    This paper is about two topics: 1. systems of explicit mathematics with universes and a non-constructive quantification operator $\mu$; 2. iterated fixed point theories with ordinals. We give a proof-theoretic treatment of both families of theories; in particular, ordinal theories are used to get upper bounds for explicit theories with finitely many universes.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  14
    Review: Thomas Streicher, Semantics of Type Theory. Correctness, Completeness and Independence Results. [REVIEW]Markus Marzetta - 1995 - Journal of Symbolic Logic 60 (3):1020-1021.