On the decision problem for theories of finite models

DOI10.1007/BF02759735zbMath0143.24903OpenAlexW2085032839MaRDI QIDQ2523202

Verena Huber-Dyson

Publication date: 1964

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02759735

zbMATH Keywords

mathematical logic

Related Items

Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉, An inductive theory for free products of groups, Computability of finite quotients of finitely generated groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Undecidability of some simple formalized theories
• Elementary properties of Abelian groups