Showing 1 - 10 results of 10 for search 'Rathjen, Michael', query time: 0.31s Refine Results
  1. 1
    Realizability interpretations for intuitionistic set theories
    by Dihoum, Eman Emhemed
    Published 2016
    Other Authors: “...Rathjen, Michael...”
    Get full text
  2. 2
    Complexities of proof-theoretical reductions
    by Toppel, Michael
    Published 2016
    Other Authors: “...Rathjen, Michael...”
    Get full text
  3. 3
    Large sets in constructive set theory
    by Ziegler, Albert
    Published 2014
    Other Authors: “...Rathjen, Michael...”
    Get full text
  4. 4
    Ordinal analysis of set theories : relativised and intuitionistic
    by Cook, Jacob
    Published 2015
    Other Authors: “...Rathjen, Michael...”
    Get full text
  5. 5
    Well-ordering principles and Π1,1-comprehension + Bar Induction
    by Thomson, Ian Alexander
    Published 2017
    Other Authors: “...Rathjen, Michael...”
    Get full text
  6. 6
    Proof theory of graph minors and tree embeddings
    by Krombholz, Martin Rudolf Arne
    Published 2018
    Other Authors: “...Rathjen, Michael...”
    Get full text
  7. 7
    Type-two well-ordering principles, admissible sets, and π¹₁-comprehension
    by Freund, Anton Jonathan
    Published 2018
    Other Authors: “...Rathjen, Michael...”
    Get full text
  8. 8
    Constructing fixed points and economic equilibria
    by Hendtlass, Matthew
    Published 2013
    Other Authors: “...Rathjen, Michael ; Schuster, Peter...”
    Get full text
  9. 9
    Constructions of uncountable rigid structures
    by Montalvo Ballesteros, Mayra
    Published 2013
    Other Authors: “...Truss, John ; Rathjen, Michael...”
    Get full text
  10. 10
    Homotopy type-theoretic interpretations of constructive set theories
    by Gallozzi, Cesare
    Published 2018
    Other Authors: “...Gambino, Nicola ; Rathjen, Michael...”
    Get full text
Search Tools: Get RSS Feed — Email this Search