Order:
Disambiguations
S. Ranzi [12]I. Ranzi [4]Florian Ranzi [2] Ranzi [1]
  1.  11
    A Flexible Type System for the Small Veblen Ordinal.Florian Ranzi & Thomas Strahm - 2019 - Archive for Mathematical Logic 58 (5-6):711-751.
    We introduce and analyze two theories for typed inductive definitions and establish their proof-theoretic ordinal to be the small Veblen ordinal \. We investigate on the one hand the applicative theory \ of functions, inductive definitions, and types. It includes a simple type structure and is a natural generalization of S. Feferman’s system \\). On the other hand, we investigate the arithmetical theory \ of typed inductive definitions, a natural subsystem of \, and carry out a wellordering proof within \ (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  10
    Políticas educacionais integradoras: propostas curriculares do Brasil e da Argentina // Integrative Educational Policies: Argentina and Brazil’s plans of studies.Léia Adriana da Silva Santiago & Ranzi - 2016 - Conjectura: Filosofia E Educação 21 (1):144-181.
    O objeto da reflexão, neste artigo, são as propostas curriculares veiculadas a partir da segunda metade do século XIX, no Brasil e na Argentina. A questão que se coloca é perceber quais os conteúdos que estão incluídos sobre a América Latina, nestas propostas curriculares, se há semelhanças e diferenças entre estes documentos e se os conteúdos veiculados nas propostas curriculares implantadas a partir de 1995, nestes dois países, refletem as mudanças no ensino de história, sugeridas pelo MERCOSUL Educacional. O texto (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  7
    A Note on the Theory SID<Ω of Stratified Induction.Florian Ranzi & Thomas Strahm - 2014 - Mathematical Logic Quarterly 60 (6):487-497.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark