Use all functions optimally: LOGIN NOW

Filter results

Year of publication

-

Type of media

Source

+ Show more

Subject

Type of material

Licence

Language

1–20 of 4,850 hits

Sort by

  1. Archive for mathematical logic

    GWLB - Gottfried Wilhelm Leibniz Bibliothek | 27.1988 -

  2. Archive for mathematical logic

    National licence
    TIBKAT | 1.1950/52 -

  3. Archive for mathematical logic

    National licence
    GWLB - Gottfried Wilhelm Leibniz Bibliothek | 1.1950/52 -

  4. Archive for mathematical logic

    TIBKAT | 27.1988 -

  5. Archive for mathematical logic

    Online Contents | 1987

  6. Archive for mathematical logic

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

  7. 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

  8. Cut elimination for entailment relations

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

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

    Garlík, Michal | Springer Verlag | 2016

  10. A logic for arguing about probabilities in measure teams

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

  11. A new proof of Ajtai’s completeness theorem for nonstandard finite structures

    Garlík, Michal | Springer Verlag | 2014

  12. Partially definable forcing and bounded arithmetic

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

  13. Generic Vopěnka’s Principle, remarkable cardinals, and the weak Proper Forcing Axiom

    Bagaria, Joan / Gitman, Victoria / Schindler, Ralf | Springer Verlag | 2016

  14. Infinitary stability theory

    Vasey, Sebastien | Springer Verlag | 2016

  15. Katětov order on Borel ideals

    Hrušák, Michael | Springer Verlag | 2017

  16. Using Ramsey’s theorem once

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

  17. Chains of saturated models in AECs

    Boney, Will / Vasey, Sebastien | Springer Verlag | 2017

  18. Free sequences in P ω / fin

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

  19. Structural completeness in propositional logics of dependence

    Iemhoff, Rosalie / Yang, Fan | Springer Verlag | 2016

  20. Resurrection axioms and uplifting cardinals

    Hamkins, Joel David / Johnstone, Thomas A. | Springer Verlag | 2014
Hits per page
10 50
Feedback