Cover Image

A nonsmooth path-connectedness relation in the real 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 Arc-Connectedness Relation in the Plane
by: Uyar, Yusuf
Published: (2025)

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

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

Speedability of computably approximable reals and their approximations
by: Barmpalias, George, et al.
Published: (2026)

Relative leftmost path principles and omega-model reflections of transfinite inductions
by: Suzuki, Yudai
Published: (2024)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
by: Ivanova, Tatyana, et al.
Published: (2021)

Almost real closed fields with real analytic structure
by: Nguyen, Kien Huu, et al.
Published: (2024)

Formalizing the zigzag construction of path spaces of pushouts
by: Štěpančík, Vojtěch
Published: (2025)

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

Approximate equivalence relations
by: Hrushovski, Ehud
Published: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

On the regularity of almost stable relations
by: Girón, Marcos
Published: (2025)

Graphings of arithmetical equivalence relations
by: Arant, Tyler
Published: (2025)

A Borel graphable equivalence relation with no Borel graphing of diameter two
by: Lutz, Patrick
Published: (2026)

Growth and irreducibility in path-incompressible trees
by: Barmpalias, George, et al.
Published: (2022)

Satisfiability in Łukasiewicz logic and its unbounded relative
by: Haniková, Zuzana, et al.
Published: (2025)

Independence relations in the Solovay model I
by: Zapletal, Jindrich
Published: (2025)

Consistency of square bracket partition relation
by: Shelah, Saharon
Published: (2026)

Non-distributive relatives of ETL and NFL
by: Kozhemiachenko, Daniil
Published: (2024)

On ideals related to Laver and Miller trees
by: Cieślak, Aleksander, et al.
Published: (2023)

Equivalence of multiset-based consequence relations
by: Madanshekaf, Ali, et al.
Published: (2024)

The distribution of ITRM-recognizable reals
by: Carl, Merlin
Published: (2012)

A unified relational semantics for BPL, IPL and OL -- axiomatization without disjunction
by: Chen, Zhicheng
Published: (2022)

Order structure of P-point ultrafilters and their relatives
by: Kuzeljevic, Borisa, et al.
Published: (2024)

An order analysis of hyperfinite Borel equivalence relations
by: Gao, Su, et al.
Published: (2024)

Characterizing relative decidability in terms of model completeness
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Partitioning the real line into Borel sets
by: Brian, Will
Published: (2021)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

On approximations of Feynman path integrals
by: Hyttinen, Tapani
Published: (2022)

Orthogonality relations and operators on bounded quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

On a lattice of relational spaces (reducts) for the order of integers
by: Semenov, A. L., et al.
Published: (2024)

Filter-induced entailment relations in paraconsistent Gödel logics
by: Frittella, Sabine, et al.
Published: (2024)

The reals as a subset of an ultraproduct of finite fields
by: Sinai, Roee
Published: (2026)

Cardinal characteristics associated with small subsets of reals
by: Cardona, Miguel A., et al.
Published: (2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
by: Bilkova, Marta, et al.
Published: (2023)

Multi-representation associated to the numbering of a subbasis and formal inclusion relations
by: Rauzy, Emmanuel
Published: (2023)

Naturality for higher-dimensional path types
by: Benjamin, Thibaut, et al.
Published: (2025)

Strong partition relations below the power set: consistency, was Sierpinski right, II?
by: Shelah, Saharon
Published: (1991)

Models of true arithmetic are integer parts of nice real closed fields
by: Carl, Merlin
Published: (2013)