Periodic frames
Fuente:
arXiv
Saved in:
| Main Authors: | Beklemishev, Lev D., Wang, Yunsong |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On the unification problem for GLP
by: Beklemishev, Lev D.
Published: (2024)
by: Beklemishev, Lev D.
Published: (2024)
Automatic structures and the problem of natural well-orderings
by: Beklemishev, Lev D., et al.
Published: (2024)
by: Beklemishev, Lev D., et al.
Published: (2024)
Topological dynamics and the complexity of strong types
by: Krupiński, Krzysztof, et al.
Published: (2015)
by: Krupiński, Krzysztof, et al.
Published: (2015)
Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
by: Dimonte, Vincenzo, et al.
Published: (2025)
by: Dimonte, Vincenzo, et al.
Published: (2025)
An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)
by: Bazhenov, Nikolay A., et al.
Published: (2026)
Visser frames for sublogics of $\mathbf{IL}$
by: Okawa, Yuya, et al.
Published: (2022)
by: Okawa, Yuya, et al.
Published: (2022)
On the undefinability of pathological Banach spaces
by: Hamel, Clovis, et al.
Published: (2024)
by: Hamel, Clovis, et al.
Published: (2024)
NTP2 topological structures
by: Guerrero, Pablo Andújar
Published: (2026)
by: Guerrero, Pablo Andújar
Published: (2026)
Dimension functions in weakly o-minimal structures admitting strong cell decomposition
by: Fujita, Masato
Published: (2025)
by: Fujita, Masato
Published: (2025)
Cardinality of the sets of dimension functions in ordered structures
by: Fujita, Masato
Published: (2025)
by: Fujita, Masato
Published: (2025)
Computability of Separation Axioms in Countable Second Countable Spaces
by: DeLapo, Andrew, et al.
Published: (2025)
by: DeLapo, Andrew, et al.
Published: (2025)
Forking independence in differentially closed fields of positive characteristic
by: Kowalski, Piotr, et al.
Published: (2025)
by: Kowalski, Piotr, et al.
Published: (2025)
Machine learning and the Continuum Hypothesis
by: Hart, Klaas Pieter
Published: (2019)
by: Hart, Klaas Pieter
Published: (2019)
On idempotent measure conjecture and decomposition of invariant measures
by: Hoffmann, Daniel Max, et al.
Published: (2025)
by: Hoffmann, Daniel Max, et al.
Published: (2025)
Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)
by: Deakin, Jonte, et al.
Published: (2024)
A proof system for the positive fragment of GL
by: Tanaka, Yoshihito
Published: (2026)
by: Tanaka, Yoshihito
Published: (2026)
Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$
by: Dow, Alan, et al.
Published: (2023)
by: Dow, Alan, et al.
Published: (2023)
Cut-free sequent calculi for the provability logic D
by: Kashima, Ryo, et al.
Published: (2023)
by: Kashima, Ryo, et al.
Published: (2023)
On the structure of modal and tense operators on a boolean algebra
by: Bezhanishvili, Guram, et al.
Published: (2023)
by: Bezhanishvili, Guram, et al.
Published: (2023)
On Tameness, Measurability and the Independence Property
by: Krapp, Lothar Sebastian, et al.
Published: (2025)
by: Krapp, Lothar Sebastian, et al.
Published: (2025)
Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)
by: Visser, Albert, et al.
Published: (2024)
A learning problem whose consistency is equivalent to the non-existence of real-valued measurable cardinals
by: Pestov, Vladimir G.
Published: (2020)
by: Pestov, Vladimir G.
Published: (2020)
On free bases of Banach spaces
by: Pernecká, E., et al.
Published: (2024)
by: Pernecká, E., et al.
Published: (2024)
Forking in valued fields and related structures
by: Hossain, Akash
Published: (2024)
by: Hossain, Akash
Published: (2024)
Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)
by: De Domenico, Andrea, et al.
Published: (2022)
Every Lindelöf scattered subspace of a $Σ$-product of real lines is $σ$-compact
by: Avilés, Antonio, et al.
Published: (2024)
by: Avilés, Antonio, et al.
Published: (2024)
A note on uniform continuity of monotone functions
by: Pol, Roman, et al.
Published: (2025)
by: Pol, Roman, et al.
Published: (2025)
Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)
by: Bezhanishvili, Nick, et al.
Published: (2022)
Products of Directed Sets with Calibre $(ω_1, ω)$
by: Gartside, Paul, et al.
Published: (2024)
by: Gartside, Paul, et al.
Published: (2024)
The Orthologic of Epistemic Modals
by: Holliday, Wesley H., et al.
Published: (2022)
by: Holliday, Wesley H., et al.
Published: (2022)
Automorphism groups of prime models, and invariant measures
by: Pillay, Anand
Published: (2024)
by: Pillay, Anand
Published: (2024)
PAC structures as invariants of finite group actions
by: Hoffmann, Daniel Max, et al.
Published: (2023)
by: Hoffmann, Daniel Max, et al.
Published: (2023)
The category of topological spaces and open maps does not have products
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Finite model property of pretransitive analogues of (w)K4 and GL
by: Dvorkin, Lev
Published: (2024)
by: Dvorkin, Lev
Published: (2024)
Monotonicity versus positivity in modal logics
by: Dvorkin, Lev
Published: (2026)
by: Dvorkin, Lev
Published: (2026)
On Products of $Δ$-sets
by: Carvalho, Rodrigo Rey, et al.
Published: (2023)
by: Carvalho, Rodrigo Rey, et al.
Published: (2023)
Quasiorders for a characterization of iso-dense spaces
by: Richmond, Tom, et al.
Published: (2024)
by: Richmond, Tom, et al.
Published: (2024)
Higher stationarity and derived topologies on $\mathcal{P}_κ(A)$
by: Torres, M. Catalina
Published: (2024)
by: Torres, M. Catalina
Published: (2024)
Models for the common knowledge logic
by: Tanaka, Yoshihito
Published: (2024)
by: Tanaka, Yoshihito
Published: (2024)
Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Similar Items
-
On the unification problem for GLP
by: Beklemishev, Lev D.
Published: (2024) -
Automatic structures and the problem of natural well-orderings
by: Beklemishev, Lev D., et al.
Published: (2024) -
Topological dynamics and the complexity of strong types
by: Krupiński, Krzysztof, et al.
Published: (2015) -
Generalized Descriptive Set Theory at Singular Cardinals of Countable Cofinality
by: Dimonte, Vincenzo, et al.
Published: (2025) -
An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)