Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
25 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Schlagwort

Verlag

Sprache

25 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The first-order logic of CZF is intuitionistic first-order logic
    ROBERT, PASSMANN
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    CZF and Second Order Arithmetic
    Lubarsky, Robert
    2015
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    CZF does not have the Existence Property
    Swan, Andrew W.
    2013
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Constructive Ackermann's interpretation
    Jeon, Hanul
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    The independence of premise rule in intuitionistic set theories
    Nemoto, Takako ; Rathjen, Michael
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Equivalents of the finitary non-deterministic inductive definitions
    Kawai, Tatsuji ; Hirata, Ayana ; et al.
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Classifying the provably total set functions of KP and KP(P)
    Cook, Jacob ; Rathjen, Michael
    2016
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Independence Results around Constructive ZF
    Lubarsky, Robert
    2015
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Higher-order Games with Dependent Types
    Escardó, Martín ; Oliva, Paulo
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Constructing categories and setoids of setoids in type theory
    Palmgren, Erik ; Wilander, Olov
    2014
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
    Rathjen, M
    2013
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Are There Enough Injective Sets?
    Aczel, Peter ; Berg, Benno van den ; et al.
    2011
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Very large set axioms over constructive set theories
    Jeon, Hanul ; Matthews, Richard
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Towards constructivising the Freyd-Mitchell embedding theorem
    Montaruli, Anna Giulia
    2022
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    A simple computational interpretation of set theory
    Méhkeri, Daniel
    2010
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    The cumulative hierarchy in Homotopy Type Theory
    Eleftheriadis, Ioannis
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
    Maietti, Maria Emilia ; Maschio, Samuele ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
    Maietti, Maria Emilia ; Maschio, Samuele ; et al.
    2021
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Extensional realizability for intuitionistic set theory
    Frittaion, Emanuele ; Rathjen, Michael
    2020
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    A Note on OTM-Realizability and Constructive Set Theories
    Carl, Merlin
    2019
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -