Rico Zumbrunnen - Info zur Person mit Bilder, News & Links

Kentaro Sato & Rico Zumbrunnen (2015). A New Model Construction by Making a Detour Via Intuitionistic Theories I: Operational Set Theory Without Choice is ...

Bücher

(1 - 1 von 5

–alle anzeigen

)

A new model construction by making a detour via intuitionistic ...

ur.booksc.me

... by making a detour via intuitionistic theories I: Operational set theory without choice is Π1 -equivalent to KP ✩ SATO Kentaro ∗,1 , Rico Zumbrunnen › book

Dokumente zum Namen

§1. Introduction. The purpose of this article is to discuss several ...

doc.rero.ch

GERHARD J ¨AGER AND RICO ZUMBRUNNEN. Abstract. We discuss several ontological properties of explicit mathematics and opera- tional set theory: global choice ... › record › files

Wissenschaftliche Veröffentlichungen

(1 - 4 von 5

–alle anzeigen

)

dblp: Rico Zumbrunnen

dblp.uni-trier.de

List of computer science publications by Rico Zumbrunnen

Rico Zumbrunnen - dblp

dblp.org

› Persons

dblp: Annals of Pure and Applied Logic, Volume 166

dblp.uni-trier.de

Bibliographic content of Annals of Pure and Applied Logic, Volume 166

dblp: Kentaro Sato

dblp.org

List of computer science publications by Kentaro Sato

Veröffentlichungen allgemein

Interpretability Lower Bound of Feferman's Explici - CORE

core.ac.uk

— The author would like to express his gratitude to Rico Zumbrunnen, the co-author of the preceding paper. [37]. He would also like to thank ... › download

Verwandte Suchanfragen zu Rico Zumbrunnen

Gerhard Jäger
Kentaro Sato

Personen
Vorname "Rico" (5290)
Name "Zumbrunnen" (37)

sortiert nach Relevanz / Datum

Erweiterte Suche

Dossier exportieren

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Rico Zumbrunnen Person-Info

News

Proof, Sep 2013, Berne, Switzerland

Interessen

Gerhard Jäger And Rico Zumbrunnen, Explicit mathematics and ...

Kentaro Sato & Rico Zumbrunnen, A new model construction ...

Citations of: A new model construction by making a detour via...

Works by Kentaro Sato - PhilPapers

Bücher

A new model construction by making a detour via intuitionistic ...

Dokumente zum Namen

§1. Introduction. The purpose of this article is to discuss several ...

Wissenschaftliche Veröffentlichungen

dblp: Rico Zumbrunnen

Rico Zumbrunnen - dblp

dblp: Annals of Pure and Applied Logic, Volume 166

dblp: Kentaro Sato

Veröffentlichungen allgemein

Interpretability Lower Bound of Feferman's Explici - CORE

Sonstiges

Roman Kuznets's website - Justification Logics seminar (Spring 2010)

Rico Zumbrunnen - The Mathematics Genealogy Project

Algebraic and Logical Aspects of Knowledge Processing

A new model construction by making a detour via intuitionistic...

Citations of: Operational set theory and small large cardinals ...

EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY

§1. Introduction. The purpose of this article is to discuss several ...

филиал РАНХиГС адаптированная для о