Search Results - STEILA, SILVIA

  • Showing 1 - 18 results of 18
Refine Results
  1. 1
    A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM

    A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM by OLIVA, PAULO, STEILA, SILVIA

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Reverse mathematical bounds for the Termination Theorem

    Reverse mathematical bounds for the Termination Theorem by Steila, Silvia, Yokoyama, Keita

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    An intuitionistic version of Ramsey's Theorem and its use in Program Termination

    An intuitionistic version of Ramsey's Theorem and its use in Program Termination by Berardi, Stefano, Steila, Silvia

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    RAMSEY'S THEOREM FOR PAIRS AND K COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC

    RAMSEY'S THEOREM FOR PAIRS AND K COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC by BERARDI, STEFANO, STEILA, SILVIA

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS

    GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS by AUDRITO, GIORGIO, STEILA, SILVIA

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    An analysis of the Podelski–Rybalchenko termination theorem via bar recursion

    An analysis of the Podelski–Rybalchenko termination theorem via bar recursion by Berardi, Stefano, Oliva, Paulo, Steila, Silvia

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

    ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS by JÄGER, GERHARD, STEILA, SILVIA

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    The strength of SCT soundness

    The strength of SCT soundness by Frittaion, Emanuele, Pelupessy, Florian, Steila, Silvia, Yokoyama, Keita

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Some algebraic equivalent forms of \(\mathbb{R} \subseteq L\)

    Some algebraic equivalent forms of \(\mathbb{R} \subseteq L\) by Steila, Silvia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem

    A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem by Oliva, Paulo, Steila, Silvia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Generic Large Cardinals and Systems of Filters

    Generic Large Cardinals and Systems of Filters by Audrito, Giorgio, Steila, Silvia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Ramsey's Theorem for Pairs and \(k\) Colors as a Sub-Classical Principle of Arithmetic

    Ramsey's Theorem for Pairs and \(k\) Colors as a Sub-Classical Principle of Arithmetic by Berardi, Stefano, Steila, Silvia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Reverse Mathematical Bounds for the Termination Theorem

    Reverse Mathematical Bounds for the Termination Theorem by Steila, Silvia, Yokoyama, Keita

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    The strength of the SCT criterion

    The strength of the SCT criterion by Frittaion, Emanuele, Steila, Silvia, Yokoyama, Keita

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    The strength of SCT soundness

    The strength of SCT soundness by Frittaion, Emanuele, Pelupessy, Florian, Steila, Silvia, Yokoyama, Keita

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Proving termination with transition invariants of height omega

    Proving termination with transition invariants of height omega by Berardi, Stefano, Oliva, Paulo, Steila, Silvia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    A Boolean Algebraic Approach to Semiproper Iterations

    A Boolean Algebraic Approach to Semiproper Iterations by Viale, Matteo, Audrito, Giorgio, Steila, Silvia

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Varia

    Varia by Aucouturier, Michel, Barthélémy, Christophe, Berelowitch, André, Breuillard, Sabine, Budnickij, Олег Будницкий - Oleg, Carton de Grammont, Sarah, Cerovic, Masha, Chaigneau, Aurore, Chartreux, Félix, Cœuré, Sophie, Dahlke, Sandra, Daucé, Françoise, Depretto, Jean-Paul, Dudoignon, Stéphane A, Dullin, Sabine, Gousseff, Catherine, Gouzévitch, Dmitri, Guichard, Benjamin, Hohmann, Sophie, Kivelson, Valerie, Kozovoï, Andreï, KROPOTKINE, ANNE, Lavrov, Aleksandr, Le Foll, Claire, Le Huérou, Anne, Mandrillon, Marie-Hélène, Moine, Nathalie, Nérard, François-Xavier, Ohayon, Isabelle, Pettinaroli, Laura, Peyrouse, Sébastien, Pomian, Krzysztof, Regamey, Amandine, Rittersporn, Gábor T, Savelli, Dany, Serrano, Silvia, Sieca-Kozlowski, Elisabeth, SNOW, KAREN, Stanziani, Alessandro, Steila, Daniela, Sumpf, Alexandre, Suržikova, Наталья В. Суржикова - Natal’ja V, T. Rittersporn, Gábor, tchoudinov, Alexandre, Troubetzkoy, Laure, Urjewicz, Charles, Williams, Stephen F, ZABOROV, Petr, ZINK, Michel

    Published in Cahiers du monde russe
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: