40 citations · 96 across the 32 of their papers we have counts for
5 papers · 1 filter
Extensions and Limits of the Specker-Blatter Theorem
Eldar Fischer, Johann A. Makowsky
The original Specker-Blatter Theorem (1983) was formulated for classes of structures of one or several binary relations definable in Monadic Second Order Logic MSOL.…
Axiomatizing Origami planes
Lev Beklemishev, Anna Dmitrieva, Johann A. Makowsky
We provide a variant of an axiomatization of elementary geometry based on logical axioms in the spirit of Huzita--Justin axioms for the Origami constructions. We isolate the fragme…
A logician's view of graph polynomials
J. A. Makowsky, E. V. Ravve, T. Kotek
Graph polynomials are graph parameters invariant under graph isomorphisms which take values in a polynomial ring with a fixed finite number of indeterminates. We study graph polyno…
Logics of Finite Hankel Rank
Nadia Labai, Johann A. Makowsky
We discuss the Feferman-Vaught Theorem in the setting of abstract model theory for finite structures. We look at sum-like and product-like binary operations on finite structures an…
Fifty Years of the Spectrum Problem: Survey and New Results
Arnaud Durand, Neil Jones, Johann Makowsky +1
In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of…