Log in first for optimal use of all functions!

1–20 of 4,831 hits

Sort by: Relevancy | Date newest | Title A-Z

Filter results

Year of publication

-

Type of media

Source

+ Show more

Author

Subject

Type of material

Licence

Language

  1. Archive for mathematical logic

    National licence
    TIBKAT | 1.1950/52 -

  2. Archive for mathematical logic

    TIBKAT | 27.1988 -

  3. Archive for mathematical logic

    Online Contents | 1987

  4. Archive for mathematical logic

    National licence
    Continuation of Archiv für Mathematische Logik und Grundlagenforschung
    Springer Verlag | 1987

  5. Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139–157.Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279–290.Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), pp. 553–562.Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω 2. Journal of Symbolic Logic, vol. 77, no. 3 (2012), pp. 934–946.Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), pp. 483–496.Itay Neeman. The tree property up to אּω+1. Journal of Symbolic Logic. vol. 79, no. 2 (2014), pp. 429–459

    Cummings, James | Online Contents | 2015

  6. Construction of models of bounded arithmetic by restricted reduced powers

    Garlík, Michal | Springer Verlag | 2016

  7. Katětov order on Borel ideals

    Hrušák, Michael | Springer Verlag | 2017

  8. Using Ramsey’s theorem once

    Hirst, Jeffry L. / Mummert, Carl | Springer Verlag | 2019

  9. The binary expansion and the intermediate value theorem in constructive reverse mathematics

    Berger, Josef / Ishihara, Hajime / Kihara, Takayuki et al. | Springer Verlag | 2018

  10. Partially definable forcing and bounded arithmetic

    Atserias, Albert / Müller, Moritz | Springer Verlag | 2014

  11. Infinitary stability theory

    Vasey, Sebastien | Springer Verlag | 2016

  12. Uniform interpolation and sequent calculi in modal logic

    Free access
    Iemhoff, Rosalie | Springer Verlag | 2018

  13. Symmetry in abstract elementary classes with amalgamation

    VanDieren, Monica M. / Vasey, Sebastien | Springer Verlag | 2017

  14. A Wadge hierarchy for second countable spaces

    Pequignot, Yann | Springer Verlag | 2015

  15. Cut elimination for entailment relations

    Rinaldi, Davide / Wessel, Daniel | Springer Verlag | 2018

  16. Free sequences in P ω / fin

    Chodounský, David / Fischer, Vera / Grebík, Jan | Springer Verlag | 2019

  17. A logic for arguing about probabilities in measure teams

    Hyttinen, Tapani / Paolini, Gianluca / Väänänen, Jouko | Springer Verlag | 2017

  18. A herbrandized functional interpretation of classical first-order logic

    Ferreira, Fernando / Ferreira, Gilda | Springer Verlag | 2017

  19. A definable E 0 class containing no definable elements

    Kanovei, Vladimir / Lyubetsky, Vassily | Springer Verlag | 2015

  20. Creature forcing and five cardinal characteristics in Cichoń’s diagram

    Free access
    Fischer, Arthur / Goldstern, Martin / Kellner, Jakob et al. | Springer Verlag | 2017

Number of results: 10 | 20 | 50

Feedback