Login / Signup
Florian Ranzi
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 1
Top Topics
Information Theory
Theoretical Basis
Small Number
Rule Induction
Top Venues
Arch. Math. Log.
Math. Log. Q.
</>
Publications
</>
Florian Ranzi
,
Thomas Strahm
A flexible type system for the small Veblen ordinal.
Arch. Math. Log.
58 (5-6) (2019)
Florian Ranzi
,
Thomas Strahm
A note on the theory SID<ω of stratified induction.
Math. Log. Q.
60 (6) (2014)