Rico Zumbrunnen

According to our database, Rico Zumbrunnen authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π₁-equivalent to KP.

Kentaro Sato, Rico Zumbrunnen

Ann. Pure Appl. Log., 2015

2014

Explicit Mathematics and Operational Set Theory: some Ontological comparisons.

Gerhard Jäger, Rico Zumbrunnen

Bull. Symb. Log., 2014