Cover Image

Stone type representation theorems via games

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aslan, Tuğba, Khaled, Mohamed
Format:	Preprint
Published:	2018
Subjects:	Logic Primary 03G15, Secondary 06E25, 03B45
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

Local finiteness in varieties of MS4-algebras
by: Bezhanishvili, Guram, et al.
Published: (2023)

Local tabularity in MS4 with Casari's axiom
by: Meadors, Chase
Published: (2024)

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

Monoidal Symmetric Models
by: Basak, Dianthe
Published: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Ultracontact algebras and stack systems
by: Carai, Luca, et al.
Published: (2026)

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

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)

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

The first measurable can be the first inaccessible cardinal
by: Gitik, Moti, et al.
Published: (2024)

A mixed logic with binary operators
by: Düntsch, Ivo, et al.
Published: (2024)

A calculus for modal compact Hausdorff spaces
by: Bezhanishvili, Nick, et al.
Published: (2024)

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

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

The Monadic Grzegorczyk Logic
by: Bezhanishvili, Guram, et al.
Published: (2024)

Finite axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

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

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

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)

Bourbaki--Zorn Normal Forms for Maximality Arguments
by: Liu, You-Chang
Published: (2026)

Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

A formula for any real number, maybe
by: Hanson, James E., et al.
Published: (2026)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
by: Knudstorp, Søren Brinck
Published: (2025)

A choice-free proof of Mal'cev's theorem on quasivarieties
by: Shen, Guozhen
Published: (2025)

Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
by: Shapirovsky, Ilya B., et al.
Published: (2025)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Constructibility real degrees in the side-by-side Sacks model
by: Notaro, Lorenzo
Published: (2025)

Derived Models in PFA
by: Levinson, Derek, et al.
Published: (2025)

On the structure of Bochvar algebras
by: Bonzio, Stefano, et al.
Published: (2023)

Canonicity in power and modal logics of finite achronal width
by: Goldblatt, Robert, et al.
Published: (2022)

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Some questions on entangled linear orders
by: Carroy, Raphaël, et al.
Published: (2025)