scientific article; zbMATH DE number 3333278
From MaRDI portal
Publication:5611004
zbMath0209.30801MaRDI QIDQ5611004
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items
Datalog vs first-order logic ⋮ Minimal elementary end extensions ⋮ Game-based notions of locality over finite models ⋮ Sub-arithmetical ultrapowers: A survey ⋮ A collapse result for constraint queries over structures of small degree