Cover Image

A Lopez-Escobar Theorem for Continuous Domains

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bazhenov, Nikolay, Fokina, Ekaterina, Rossegger, Dino, Soskova, Alexandra A., Vatev, Stefan V.
Format:	Preprint
Published:	2023
Subjects:	Logic 03C57 (Primary), 03E15 (Secondary) F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning Families of Algebraic Structures from Text
by: Bazhenov, Nikolay, et al.
Published: (2024)

Punctually Standard and Nonstandard Models of Natural Numbers
by: Bazhenov, Nikolay, et al.
Published: (2026)

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)

Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)

Dichotomy results for classes of countable graphs
by: Cipriani, Vittorio, et al.
Published: (2025)

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

Marginalia to a Theorem of Asperó and Schindler
by: Kasum, Obrad, et al.
Published: (2023)

More on setwise climbability properties
by: König, Bernhard, et al.
Published: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
by: Kanovei, Vladimir, et al.
Published: (2025)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
by: Kanovei, Vladimir, et al.
Published: (2024)

The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)

Forcing as a Local Method of Accessing Small Extensions
by: Lau, Desmond
Published: (2024)

A non-computable c.e. closed subset of $[0,1]$
by: Badaev, Serikzhan, et al.
Published: (2025)

$Σ_n$-correct Forcing Axioms
by: Goodman, Ben
Published: (2024)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
by: Lau, Desmond
Published: (2024)

The breadth of constructibility degrees and definable Sierpiński's coverings
by: Andretta, Alessandro, et al.
Published: (2024)

Classifying the complexity of models of arithmetic
by: Gonzalez, David, et al.
Published: (2025)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

Forcing Axioms, the Uniformization and the Basis Property
by: Hoffelner, Stefan
Published: (2020)

Antichain of ordinals in intuitionistic set theory
by: Wang, Shuwei
Published: (2025)

Some notes on plump ordinals
by: Wang, Shuwei
Published: (2026)

Proof complexity of universal algebra in a CSP dichotomy proof
by: Gaysin, Azza
Published: (2024)

On Separating Wholeness Axioms
by: Jeon, Hanul
Published: (2023)

On $\boldsymbolΣ^1_3$- and $Σ^1_4$-uniformization
by: Hoffelner, Stefan
Published: (2026)

Untranscendable order types
by: Ervin, Garrett, et al.
Published: (2026)

A Topological Rainbow Ramsey Theorem
by: Jakob, Hannes, et al.
Published: (2026)

Two $\mathfrak{b}$ or not two $\mathfrak{b}$?
by: Filipów, Rafał, et al.
Published: (2025)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

Online and feasible presentability: from trees to modal algebras
by: Bazhenov, Nikolay, et al.
Published: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)

Uniformity in learning structures
by: Cipriani, Vittorio, et al.
Published: (2025)

The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)

Computability of the Hahn-Banach Theorem Revisited
by: Brattka, Vasco, et al.
Published: (2026)

Learning Equivalence Relations on Polish Spaces
by: Rossegger, Dino, et al.
Published: (2024)

Strong reducibilities and set theory
by: Schweber, Noah
Published: (2024)

The Borel monadic theory of order is decidable
by: Manthe, Sven
Published: (2024)