scientific article; zbMATH DE number 7732143

arXiv2302.08265MaRDI QIDQ6136030

Eldar Fischer, Johann A. Makowsky, Vsevolod Rakita, Yuval Filmus

Publication date: 28 August 2023

Full work available at URL: https://arxiv.org/abs/2302.08265

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finitenessmonadic second-order logicsupercongruenceMCC-finitenessset partition functionSpecker-Blatter theorem

Mathematics Subject Classification ID

Partitions of sets (05A18) Sequences (mod (m)) (11B50) Interpolation, preservation, definability (03C40)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized \(r\)-Lah numbers
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• The \(r\)-Stirling numbers
• Non-overlapping partitions, continued fractions, Bessel functions and a divergent series
• Symmetric functions and P-recursiveness
• Generalized Stirling and Lah numbers
• Generating functions for generating trees
• The Specker-Blatter theorem does not hold for quaternary relations
• On some non-holonomic sequences
• Bell numbers, their relatives, and algebraic differential equations
• The power of the middle bit of a \(\#\)P function
• Arity and alternation in second-order logic
• Restricted \(r\)-Stirling numbers and their combinatorial applications
• Almost unimodal and real-rooted graph polynomials
• The \(r\)-Lah numbers
• Some applications of $S$-restricted set partitions
• Connection Matrices and the Definability of Graph Parameters
• Six proofs for an identity of the Lah numbers
• An Introduction to Catalan Numbers
• The Hammond Series of a Symmetric Function and Its Application to P-Recursiveness
• The Specker-Blatter Theorem Revisited
• Sequences of Level 1, 2, 3,..., k,...
• Shift Register Synthesis (Modulo m)
• Number of labeled 4-regular graphs
• Right-jumps and pattern avoiding permutations
• Combinatorics of Set Partitions
• Application of Logic to Integer Sequences: A Survey
• On the period mod $m$ of polynomially-recursive sequences: a case study
• Computational Complexity
• Linear Recurrence Relations for Graph Polynomials
• Some Unusual Enumeration Problems
• Counting classes: Thresholds, parity, mods, and fewness

This page was built for publication: