The quantifier complexity of polynomial-size iterated definitions in first-order logic
From MaRDI portal
Publication:3066290
DOI10.1002/malq.200910111zbMath1209.03005OpenAlexW2144615401MaRDI QIDQ3066290
Alan S. Johnson, Samuel R. Buss
Publication date: 10 January 2011
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200910111
Related Items
Cites Work