Showing 1 - 2 results of 2 for search 'Michael Rathjen', query time: 0.46s Refine Results
  1. 1
    A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice

    A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice by Maria Emilia Maietti, Samuele Maschio, Michael Rathjen

    Published 2021-05-01
    Get full text
    Article
  2. 2
    Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

    Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice by Maria Emilia Maietti, Samuele Maschio, Michael Rathjen

    Published 2022-11-01
    Get full text
    Article

Search Tools: