Works by Markus Marzetta

( view other items matching `Markus Marzetta`, view all matches )
4 found
Order:
  1.  15
    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 36 (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 (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  10
    The \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mu$\end{document} quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals. [REVIEW]Markus Marzetta & Thomas Strahm - 1998 - Archive for Mathematical Logic 37 (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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  21
    Review: Thomas Streicher, Semantics of type Theory. Correctness, Completeness and Independence Results. [REVIEW]Markus Marzetta - 1995 - Journal of Symbolic Logic 60 (3):1020-1021.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  15
    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