Buchumschlag

Finitely Bounded Homogeneity Turned Inside-Out

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rydval, Jakub
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic in Computer Science Logic 03D45, 03D15, 68Q17, 03D05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
von: Sorg, Christopher
Veröffentlicht: (2026)

Languages given by Finite Automata over the Unary Alphabet
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2023)

Automatic structures and the problem of natural well-orderings
von: Beklemishev, Lev D., et al.
Veröffentlicht: (2024)

Why the classes P and NP are not well-defined finitarily
von: Anand, Bhupinder Singh
Veröffentlicht: (2024)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Finite-Horizon First-Order Rank Profiles of Regular Languages
von: Bazarova, Madina, et al.
Veröffentlicht: (2026)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Exploring P versus NP
von: Tang, Jian-Gang
Veröffentlicht: (2022)

Learning Equivalence Relations on Polish Spaces
von: Rossegger, Dino, et al.
Veröffentlicht: (2024)

Online and feasible presentability: from trees to modal algebras
von: Bazhenov, Nikolay, et al.
Veröffentlicht: (2025)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

Choiceless Polynomial Space
von: Ferrarotti, Flavio, et al.
Veröffentlicht: (2024)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

Strong Kurtz Randomness and Binary Expansions of Reordered Computable Numbers
von: Hertling, Peter, et al.
Veröffentlicht: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
von: Lopez, Aliaume
Veröffentlicht: (2024)

On the computability of cofinal Fraïssé limits
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2026)

A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem
von: Brossard, Jonathan
Veröffentlicht: (2026)

New definitions in the theory of Type 1 computable topological spaces
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

A generalization of Markov's approach to the continuity problem for Type 1 computable functions
von: Rauzy, Emmanuel
Veröffentlicht: (2023)

Strong reducibilities and set theory
von: Schweber, Noah
Veröffentlicht: (2024)

The equational theory of the Weihrauch lattice with multiplication
von: Neumann, Eike, et al.
Veröffentlicht: (2024)

There is a deep 1-generic set
von: Li, Ang
Veröffentlicht: (2024)

Variants of Solovay reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

A Logspace Constructive Proof of L=SL
von: Buss, Sam, et al.
Veröffentlicht: (2025)

Computable vs Descriptive Combinatorics of Local Problems on Trees
von: Weilacher, Felix
Veröffentlicht: (2022)

Isomorphism Spectra and Computably Composite Structures
von: Lakerdas-Gayle, Joey
Veröffentlicht: (2025)

$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

Solovay reducibility implies S2a-reducibility
von: Titov, Ivan
Veröffentlicht: (2024)

A total Solovay reducibility and totalizing of the notion of speedability
von: Merkle, Wolfgang, et al.
Veröffentlicht: (2024)

Minimal covers in the Weihrauch degrees
von: Lempp, Steffen, et al.
Veröffentlicht: (2023)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

On the incomputability of computable dimension
von: Staiger, Ludwig
Veröffentlicht: (2019)

A Counterexample Regarding C.E. Closed Subsets of [0,1] Under Homeomorphisms
von: Bosserhoff, Volker
Veröffentlicht: (2025)

Information vs Dimension -- an Algorithmic Perspective
von: Reimann, Jan
Veröffentlicht: (2024)

Scott sentence complexities of linear orderings
von: Gonzalez, David, et al.
Veröffentlicht: (2023)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
von: Kattermann, David, et al.
Veröffentlicht: (2025)

Problems with fixpoints of polynomials of polynomials
von: Pradic, Cécilia, et al.
Veröffentlicht: (2026)

Semi-Algebraic Proof Systems for QBF
von: Beyersdorff, Olaf, et al.
Veröffentlicht: (2025)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)