Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 7
Number of items: 7
  • Open Access
    Galeotti, L., Khomskii, Y., & Väänänen, J. (2025). Bounded symbiosis and upwards reflection. Archive for Mathematical Logic, 64(3-4), 579-603. https://doi.org/10.1007/s00153-024-00955-0
  • Open Access
    Carl, M., Galeotti, L., & Passmann, R. (2023). Realisability for infinitary intuitionistic set theory. Annals of Pure and Applied Logic, 174(6), Article 103259. https://doi.org/10.1016/j.apal.2023.103259
  • Open Access
    Wontner, N. J. H. (2023). Views from a peak: Generalisations and descriptive set theory. [Thesis, fully internal, Universiteit van Amsterdam].
  • Carl, M., Galeotti, L., & Passmann, R. (2021). Randomising Realizability. In L. De Mol, A. Weiermann, F. Manea, & D. Fernández-Duque (Eds.), Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5–9, 2021 : proceedings (pp. 82-93). (Lecture Notes in Computer Science; Vol. 12813). Springer. https://doi.org/10.1007/978-3-030-80049-9_8
  • Open Access
    Galeotti, L., Hanafi, A., & Löwe, B. (2020). Relations between notions of gaplessness for non-Archimedean fields. Houston Journal of Mathematics, 46(4), 1017-1031.
  • Open Access
    Carl, M., Galeotti, L., & Löwe, B. (2018). The Bolzano-Weierstrass theorem in generalised analysis. Houston Journal of Mathematics, 44(4), 1081-1109. https://preprint.math.uni-hamburg.de/public/papers/hbm/hbm752.pdf
  • Galeotti, L., & Nobrega, H. (2017). Towards Computable Analysis on the Generalised Real Line. In J. Kari, F. Manea, & I. Petre (Eds.), Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings (pp. 246-257). (Lecture Notes in Computer Science; Vol. 10307). Springer. https://doi.org/10.1007/978-3-319-58741-7_24
Page of