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
Pages (from-to)	854-871
Number of pages	18
Journal	Journal of Symbolic Logic
Volume	90
Issue number	2
DOIs	https://doi.org/10.1017/jsl.2024.18
Publication status	Published - 2024

Research areas

Borel hierarchy, computable infinitary formulas, enumeration operators

OECD FOS+WOS

1.01 MATHEMATICS
6.03.UA PHILOSOPHY
1.01.QL LOGIC

ID: 60477163