Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
20 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

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

20 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    CZF does not have the Existence Property
    Swan, Andrew W
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Kripke models for subtheories of CZF
    Iemhoff, Rosalie
    In: Archive for Mathematical Logic, Jg. 49 (2010-03-01), Heft 2, S. 147-167
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    CZF and Second Order Arithmetic
    Lubarsky, Robert
    2015
    academicJournal
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    CZF does not have the Existence Property
    Swan, Andrew W.
    2013
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A simple computational interpretation of set theory
    Méhkeri, Daniel
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    On the existence of Stone-Cech compactification
    Curi, Giovanni
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION.
    RATHJEN, MICHAEL ; SWAN, ANDREW W.
    In: Journal of Symbolic Logic, Jg. 85 (2020-12-01), Heft 4, S. 1342-1375
    academicJournal
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Equivalents of the finitary non-deterministic inductive definitions
    Hirata, Ayana ; Ishihara, Hajime ; et al.
    2019
    academicJournal
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Lifschitz Realizability as a Topological Construction
    Rathjen, Michael ; Swan, Andrew
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Independence Results around Constructive ZF
    Lubarsky, Robert
    2015
    academicJournal
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
    Rathjen, Michael
    2013
    academicJournal
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
    Maietti, Maria Emilia ; Maschio, Samuele ; et al.
    2021
    academicJournal
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Aspects of Predicative Algebraic Set Theory II: Realizability
    Berg, Benno van den ; Moerdijk, Ieke
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    A Unified Approach to Algebraic Set Theory
    Berg, Benno van den ; Moerdijk, Ieke
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    The disjunction and related properties for constructive Zermelo-Fraenkel set theory
    Rathjen, Michael
    In: Journal of Symbolic Logic, Jg. 70 (2005-12-01), S. 1233-1254
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record in JSTOR (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    The disjunction and related properties for constructive Zermelo-Fraenkel set theory
    Rathjen, Michael
    2005
    Online academicJournal
    Zugriff:
    View record in JSTOR (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Topological Forcing Semantics with Settling
    Lubarsky, Robert
    2015
    academicJournal
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    On the Constructive Dedekind Reals
    Lubarsky, Robert ; Rathjen, Michael
    2015
    academicJournal
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    The Axiom of Multiple Choice and Models for Constructive Set Theory
    Berg, Benno van den ; Moerdijk, Ieke
    2012
    academicJournal
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    serialPeriodical
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -