scientific article; zbMATH DE number 3333278

zbMath0209.30801MaRDI QIDQ5611004

Haim Gaifman

Publication date: 1970

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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