activity
20152023
most citedAsymptotic Logical Uncertainty and The Benford Test

2 citations · 4 across the 6 of their papers we have counts for

collaborators
Showing 2017 · math.LOShow all

2 papers · 2 filters

math.LO2017

Tameness in least fixed-point logic and McColm's conjecture

Siddharth Bhaskar, Alex Kruckman

We investigate four model-theoretic tameness properties in the context of least fixed-point logic over a family of finite structures. We find that each of these properties depends…

math.LO2017★ 1 cited

Thicket Density

Siddharth Bhaskar

We define a new type of "shatter function" for set systems that satisfies a Sauer-Shelah type dichotomy, but whose polynomial-growth case is governed by Shelah's 2-rank instead of…