A Lopez-Escobar theorem for continuous domains › Research Explorer

Novosibirsk State University's Research Portal

A Lopez-Escobar theorem for continuous domains

Research output: Contribution to journal › Article › peer-review

DOI

https://doi.org/10.1017/jsl.2024.18
Final published version

Nikolay Bazhenov
Ekaterina Fokina
Dino Rossegger
Alexandra Soskova
Stefan Vatev

Original language	English
Journal	Journal of Symbolic Logic
DOIs	https://doi.org/10.1017/jsl.2024.18
Publication status	Published - 2024

OECD FOS+WOS

1.01 MATHEMATICS

ID: 60477163