scientific article; zbMATH DE number 7732143

arXiv2302.08265MaRDI QIDQ6136030FDOQ6136030

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

Publication date: 28 August 2023

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

Title of this publication is not available (Why is that?)

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)

Cites Work

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

Cited In (2)

• Extensions and limits of the Specker-Blatter theorem
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6136030)