Copertina

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Koul, Prajval, Nandakumar, Satyadev
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic Logic in Computer Science Dynamical Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Zeta Functions and the (Linear) Logic of Markov Processes
di: Seiller, Thomas
Pubblicazione: (2020)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
di: Blanc, Manon, et al.
Pubblicazione: (2023)

Measuring robustness of dynamical systems. Relating time and space to length and precision
di: Blanc, Manon, et al.
Pubblicazione: (2023)

Snakes can be fooled into thinking they live in a tree
di: Bartholdi, Laurent, et al.
Pubblicazione: (2024)

The domino problem is decidable for robust tilesets
di: Aubrun, Nathalie, et al.
Pubblicazione: (2024)

Memoryless concretization relation
di: Calbert, Julien, et al.
Pubblicazione: (2024)

Positivity of Nearly Linearly Recurrent Sequences
di: Pouly, Amaury, et al.
Pubblicazione: (2025)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
di: Monir, Negar, et al.
Pubblicazione: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
di: Kochdumper, Niklas, et al.
Pubblicazione: (2023)

Determining the Winner in Alternating-Move Games
di: Bellaïche, Itamar, et al.
Pubblicazione: (2026)

Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
di: Bournez, Olivier, et al.
Pubblicazione: (2024)

Set Descriptive Complexity of Solvable Functions
di: Gozzi, Riccardo, et al.
Pubblicazione: (2024)

On Piecewise Affine Reachability with Bellman Operators
di: Varonka, Anton, et al.
Pubblicazione: (2025)

Shifts on the lamplighter group
di: Bartholdi, Laurent, et al.
Pubblicazione: (2024)

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2024)

FO logic on cellular automata orbits equals MSO logic
di: Theyssier, Guillaume
Pubblicazione: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
di: Gratzer, Daniel, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

ARCH-COMP25 Category Report: Stochastic Models
di: Abate, Alessandro, et al.
Pubblicazione: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
di: Hermes, Marc, et al.
Pubblicazione: (2023)

On the Axioms of Arboreal Categories
di: Jakl, Tomáš, et al.
Pubblicazione: (2026)

Linear Arboreal Categories
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

Stable functions and Følner's Theorem
di: Conant, Gabriel
Pubblicazione: (2024)

Existentially closed measure-preserving actions of approximately treeable groups
di: Goldbring, Isaac, et al.
Pubblicazione: (2025)

The isomorphism problem for group actions
di: Foreman, Matthew, et al.
Pubblicazione: (2025)

Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties
di: Doucha, Michal, et al.
Pubblicazione: (2025)

Undecidability of Finite Orbit Recognition in Polynomial Maps
di: Gwon, Gwangyong
Pubblicazione: (2025)

Dynamical pair assignments
di: Darji, Udayan B., et al.
Pubblicazione: (2025)

Fixed points on null and tame flows for groups of automorphisms
di: Codenotti, Alessandro
Pubblicazione: (2025)

Computability of Brjuno-like functions
di: Shevchenko, Ivan O., et al.
Pubblicazione: (2025)

Bowen's Problem 32 and the conjugacy problem for systems with specification
di: Deka, Konrad, et al.
Pubblicazione: (2025)

Flows with minimal subdynamics
di: Bernshteyn, Anton, et al.
Pubblicazione: (2025)

Asymptotic dimension and hyperfiniteness of generic Cantor actions
di: Iyer, Sumun, et al.
Pubblicazione: (2024)

Topological groups with tractable minimal dynamics
di: Basso, Gianluca, et al.
Pubblicazione: (2024)

Quasi-invariant measures concentrating on countable structures
di: Conley, Clinton, et al.
Pubblicazione: (2024)

Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property
di: Deka, Konrad, et al.
Pubblicazione: (2022)

Borel graphable equivalence relations
di: Arant, Tyler, et al.
Pubblicazione: (2024)

Nonstandard analysis of asymptotic points of expansive systems
di: Artigue, Alfonso, et al.
Pubblicazione: (2024)

Monotonicity and a Taylor approximation theorem for transseries
di: Mantova, Vincenzo
Pubblicazione: (2026)