Cover Image

The Complexity of Arc-Connectedness Relation in the Plane

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Uyar, Yusuf
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Complexity of Connectedness Relations on Polish Spaces
by: Hevessy, Michal, et al.
Published: (2026)

A nonsmooth path-connectedness relation in the real plane
by: Uyar, Yusuf
Published: (2025)

On Nondefinability of Interior-Connectedness via the Contact Relation
by: Gruszczyński, Rafał, et al.
Published: (2025)

Cologic of Closed Covers of Compacta and the Pseudo-Arc
by: Yamamoto, Kentarô
Published: (2025)

Cyclic Implicit Complexity
by: Curzi, Gianluca, et al.
Published: (2021)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
by: Pshenitsyn, Tikhon
Published: (2023)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
by: Nakamura, Yoshiki
Published: (2023)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

The Descriptive Complexity of Relation Modification Problems
by: Chudigiewitsch, Florian, et al.
Published: (2026)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

Relating forcing relations
by: Smykalla, Michel Viana, et al.
Published: (2026)

Relational Companions of Logics
by: Basu, Sankha S., et al.
Published: (2024)

Reduction Complexities in Set Theory
by: Carl, Merlin
Published: (2025)

Some Observations on Infinitary Complexity
by: Carl, Merlin
Published: (2018)

Relevant Consequence Relations: An Invitation
by: Badia, Guillermo, et al.
Published: (2022)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

Complexity of Linear Equations and Infinite Gadgets
by: Grebík, Jan, et al.
Published: (2025)

The Complexity of the Set of Validities of a Theory
by: Hirschfeldt, Denis R., et al.
Published: (2025)

Logical Characterizations of Weighted Complexity Classes
by: Badia, Guillermo, et al.
Published: (2024)

Measuring the Complexity of Countable Presburger Models
by: Block, Jason
Published: (2026)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)

Elementarity of Subgroups and Complexity of Theories for Profinite Groups
by: Block, Jason
Published: (2024)

Axiomatic Theory of Independence Relations in Model Theory
by: d'Elbée, Christian
Published: (2023)

Borel Complexity of the Isomorphism Relation of Archimedean Orders in Finitely Generated Groups
by: Poulin, Antoine
Published: (2024)

Space and Time Complexity for Infinite Time Turing Machines
by: Carl, Merlin
Published: (2019)

The Conjugacy Relation on One-sided Subshifts is Non-treeable
by: Li, Ruiwen
Published: (2026)

Measuring Decidability as Related to Busy Beaver Numbers
by: Tandi, Gurpreet, et al.
Published: (2026)

Relative Unification in Intuitionistic Logic: Towards provability logic of HA
by: Mojtahedi, Mojtaba
Published: (2022)

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
by: Damaj, Jad, et al.
Published: (2024)