Imagen de Portada

Sparse regular subsets of the reals

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bell, Jason, Gorman, Alexi Block
Formato:	Preprint
Publicado:	2023
Materias:	Logic Formal Languages and Automata Theory 03C64, 03D05, 28A80
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Dichotomy for $k$-automatic expansions of Presburger Arithmetic
por: Bell, Jason, et al.
Publicado: (2025)

Finite-Horizon First-Order Rank Profiles of Regular Languages
por: Bazarova, Madina, et al.
Publicado: (2026)

O-minimal open core is not an elementary property
por: Gorman, Alexi Block, et al.
Publicado: (2026)

Stratifiable formulae are not context-free
por: Ryan-Smith, Calliope
Publicado: (2023)

NL Is Strictly Contained in P
por: Flum, Santiago, et al.
Publicado: (2023)

Externally definable fsg groups in NIP theories
por: Chernikov, Artem
Publicado: (2025)

Languages given by Finite Automata over the Unary Alphabet
por: Czerwiński, Wojciech, et al.
Publicado: (2023)

Run supports and initial algebra supports of weighted automata
por: Droste, Manfred, et al.
Publicado: (2024)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
por: Lin, Deren, et al.
Publicado: (2022)

On the Intersection Problem for Quantum Finite Automata
por: Benso, Andrea, et al.
Publicado: (2024)

Extending orders to types
por: Baglini, Lorenzo Luperi, et al.
Publicado: (2025)

Sequential densities of rational languages
por: Gorman, Alexi Block, et al.
Publicado: (2026)

An automata-based test for bricks over string algebras
por: Kuber, Amit, et al.
Publicado: (2026)

Lindenmayer graph languages, first-order theories and expanders
por: Knapik, Teodor
Publicado: (2024)

The modal theory of linear orders
por: Wołoszyn, Wojciech Aleksander
Publicado: (2026)

The generating power of weighted tree automata with initial algebra semantics
por: Droste, Manfred, et al.
Publicado: (2024)

Definable convolution and idempotent Keisler measures III. Generic stability, generic transitivity, and revised Newelski's conjecture
por: Chernikov, Artem, et al.
Publicado: (2024)

On Some Complexity Results for Even Linear Languages
por: Cojocaru, Liliana
Publicado: (2024)

Elementary Properties of Free Lattices
por: Nation, J. B., et al.
Publicado: (2023)

Elementary properties of free lattices II: Decidability of the universal theory
por: Nation, J. B., et al.
Publicado: (2025)

Elementary properties of free lattices III: Undecidability of the full theory
por: Nation, J. B., et al.
Publicado: (2025)

A vector logic for intensional formal semantics
por: Quigley, Daniel
Publicado: (2026)

On Tameness, Measurability and the Independence Property
por: Krapp, Lothar Sebastian, et al.
Publicado: (2025)

Any function I can actually write down is measurable, right?
por: Hanson, James E.
Publicado: (2025)

Isomorphism Spectra and Computably Composite Structures
por: Lakerdas-Gayle, Joey
Publicado: (2025)

Measurability in the Fundamental Theorem of Statistical Learning
por: Krapp, Lothar Sebastian, et al.
Publicado: (2024)

On the theory of exponential integer parts
por: Jeřábek, Emil
Publicado: (2024)

Multipass automata and group word problems
por: Ceccherini-Silberstein, Tullio, et al.
Publicado: (2014)

Probabilistic Disjunctive Normal Forms in Temporal Logic and Automata Theory
por: Kuznetsov, Alexander
Publicado: (2026)

When is $A + x A =\mathbb{R}$
por: Ye, Jinhe, et al.
Publicado: (2025)

Multidimensional tilings and MSO logic
por: Pallen, Rémi, et al.
Publicado: (2025)

Limit Semigroups with 2 Generators
por: Estrada, Felipe, et al.
Publicado: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
por: Das, Anupam, et al.
Publicado: (2025)

Bounded Ramsey's theorem for triples in computability theory
por: Patey, Ludovic, et al.
Publicado: (2026)

Decision Questions for Probabilistic Automata on Small Alphabets
por: Bell, Paul C., et al.
Publicado: (2021)

Subsets of groups with context-free preimages
por: Levine, Alex
Publicado: (2023)

Openness And Partial Adjacency In One Variable TPTL
por: Krishna, Shankara Narayanan, et al.
Publicado: (2024)

Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)
por: Böhm, Corrado, et al.
Publicado: (2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
por: Pshenitsyn, Tikhon
Publicado: (2025)

A Diamond Structure in the Transducer Hierarchy
por: Kaufmann, Noah
Publicado: (2021)