Log in first for optimal use of all functions!

1–20 of 3,736 hits

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

Filter results

Year of publication

-

Type of media

Source

Author

Subject

Type of material

Licence

Language

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

    Ferreira, F. / Ferreira, G. | British Library Online Contents | 2017

  2. The reverse mathematics of non-decreasing subsequences

    Patey, L. | British Library Online Contents | 2017

  3. A generalized Borel-reducibility counterpart of Shelah’s main gap theorem

    Hyttinen, T. / Kulikov, V. / Moreno, M. | British Library Online Contents | 2017

  4. Definable types in the theory of closed ordered differential fields

    Brouette, Q. | British Library Online Contents | 2017

  5. On constructions with 2-cardinals

    Koszmider, P. | British Library Online Contents | 2017

  6. Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of p-points

    Dobrinen, N. / Mijares, J. G. / Trujillo, T. | British Library Online Contents | 2017

  7. Adding many Baumgartner clubs

    Asperó, D. | British Library Online Contents | 2017

  8. Symmetry in abstract elementary classes with amalgamation

    VanDieren, M. M. / Vasey, S. | British Library Online Contents | 2017

  9. Formula Not Shown and combinatorics at Formula Not Shown

    Shi, X. / Trang, N. | British Library Online Contents | 2017

  10. An order-theoretic characterization of the Howard–Bachmann-hierarchy

    Van der Meeren, J. / Rathjen, M. / Weiermann, A. | British Library Online Contents | 2017

  11. Infinitary stability theory

    Vasey, Sebastien | Online Contents | 2016

  12. Structural completeness in propositional logics of dependence

    Iemhoff, R. / Yang, F. | British Library Online Contents | 2016

  13. Convexity and constructive infima

    Berger, J. / Svindland, G. | British Library Online Contents | 2016

  14. The definable tree property for successors of cardinals

    Daghighi, A. S. / Pourmahdian, M. | British Library Online Contents | 2016

  15. Definable choice for a class of weakly o-minimal theories

    Laskowski, M. C. / Shaw, C. S. | British Library Online Contents | 2016

  16. The joint embedding property and maximal models

    Baldwin, J. T. / Koerwien, M. / Souldatos, I. | British Library Online Contents | 2016

  17. Ramsey algebras and the existence of idempotent ultrafilters

    Teh, W. C. | British Library Online Contents | 2016

  18. A note on the enumeration degrees of 1-generic sets

    Badillo, L. / Bianchini, C. / Ganchev, H. et al. | British Library Online Contents | 2016

  19. Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity

    Cintula, P. / Noguera, C. | British Library Online Contents | 2016

  20. ZF + DC + AX4

    Shelah, S. | British Library Online Contents | 2016

Number of results: 10 | 20 | 50

Feedback