Cover Image

On Expansions of Monadic Second-Order Logic with Dynamical Predicates

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nieuwveld, Joris, Ouaknine, Joël
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Number Theory 11B37 11J86 11B40 11K16 F.4.0; G.2.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Near-squares in binary recurrence sequences
by: Tzanakis, Nikos, et al.
Published: (2021)

On quotients of derivatives of $L$-functions inside the critical strip
by: Lunia, Rashi
Published: (2024)

Transcendence for Pisot Morphic Words over an Algebraic Base
by: Kebis, Pavol, et al.
Published: (2024)

Generalizing the Eight Levels Theorem: A Journey to Mersenne Prime Discoveries and New Polynomial Classes
by: Ibrahim, Moustafa
Published: (2024)

Orbits of Second Order Linear Recurrences over Finite Fields
by: Panraksa, Chatchawan, et al.
Published: (2024)

Intervals without primes near an iterated linear recurrence sequence
by: Saito, Kota
Published: (2025)

Palindromic concatenations of two distinct repdigits in Narayana's cows sequence
by: Ddamulira, Mahadi, et al.
Published: (2023)

Extensions of $D(4)$-pairs $\{a, ka\}$ with $k\in \{7,8,10,11,12,13\}$
by: Trebješanin, Marija Bliznac, et al.
Published: (2025)

Ratios of two powers of van der Laan-Padovan numbers
by: Yamada, Tomohiro
Published: (2025)

Additive Diophantine Equations involving S-Units, Factorials and Ternary Recurrences with repeated root
by: Godara, Vikas, et al.
Published: (2026)

Exponential Diophantine approximation and symbolic dynamics
by: Akiyama, Shigeki, et al.
Published: (2022)

Diophantine transference principle over function fields
by: Das, Sourav, et al.
Published: (2023)

Inhomogeneous Khitchine-Groshev type theorems on manifolds over function fields
by: Das, Sourav, et al.
Published: (2022)

Atkin and Swinnerton-Dyer congruences for meromorphic modular forms
by: Allen, Michael, et al.
Published: (2025)

On the number of residues of certain second-order linear recurrences
by: Accossato, Federico, et al.
Published: (2024)

Deciding subspace reachability problems with application to Skolem's Problem
by: Everett, Samuel
Published: (2024)

Sums of S-units in X-coordinates of Pell equations
by: Nair, Parvathi S, et al.
Published: (2024)

On the $p$-adic Skolem Problem
by: Bacik, Piotr, et al.
Published: (2025)

Coset-refined trace statistics, nodal characters, and affine branches in cubic norm tori
by: Shin, Henry
Published: (2026)

Making High-Level AI Design Decisions Explicit Using a Binary Stream System-Designation Approach
by: Mossbridge, Julia
Published: (2024)

A new converse theorem for Borcherds products
by: Metzler, Ingmar
Published: (2025)

Resurgence, Habiro elements and strange identities
by: Crew, Samuel, et al.
Published: (2023)

Congruence conditions for the mod $λ$ values of the Fourier coefficients of classical eigenforms
by: Daas, Michael A.
Published: (2025)

A symmetric $p$-adic symbol for triples of modular forms
by: Ghantous, Wissam
Published: (2022)

Galois orbits of torsion points over polytopes near atoral sets
by: Lin, Chenying
Published: (2024)

The extensibility of the Diophantine triple $\{2, b, c\}$
by: Adžaga, Nikola, et al.
Published: (2026)

Evaluation of some alternating series involving the binomial coefficients $C(4n,2n)$
by: Adegoke, Kunle, et al.
Published: (2024)

Golden ratios, Lucas Sequences and the Quadratic Family
by: Tapia, Arturo Ortiz
Published: (2018)

Residual paramodularity of a certain Calabi-Yau threefold
by: Dummigan, Neil, et al.
Published: (2024)

Upper and lower estimates for integer complexity
by: Konyagin, Sergei, et al.
Published: (2026)

A Non-Trivial Minoration for the Set of Salem Numbers
by: Verger-Gaugry, Jean-Louis
Published: (2024)

Regularity properties of the $α$-Wilton functions
by: Bakhtawar, Ayreena, et al.
Published: (2024)

Quantum Modular Forms and Resurgence
by: McSpirit, Eleanor, et al.
Published: (2025)

Extreme value theorem for geodesic flow on the quotient of the theta group
by: Kim, Jaelin, et al.
Published: (2026)

On Mixed Concatenations of Pell and Pell-Lucas Numbers which are Pell Numbers
by: Adédji, Kouèssi Norbert, et al.
Published: (2023)

A survey of some arithmetic applications of ergodic theory in negative curvature
by: Parkkonen, Jouni, et al.
Published: (2015)

Weighted sums of Lucas numbers of the first and second kind
by: Mbirika, aBa
Published: (2025)

Low moments of random multiplicative functions twisted by Fourier coefficients of modular forms
by: Gao, Peng, et al.
Published: (2026)

Computing torsion for plane quartics without using height bounds
by: van Bommel, Raymond
Published: (2023)

Kolyvagin systems of rank 0 and the structure of the Selmer group of elliptic curves over abelian extensions
by: Angurel, Alberto
Published: (2025)