JOURNAL ARTICLE
On the decision problem for theories of finite models
Year: 1964 Journal: Israel Journal of Mathematics Vol: 2 (1)Pages: 55-70 Publisher: Hebrew University of Jerusalem
Keywords:
Undecidable problem Decidability Mathematics Elementary theory Abelian group Axiom Model theory Discrete mathematics Algebra over a field Extension (predicate logic) Pure mathematics Computer science
Metrics
9
Cited By
0.00
FWCI (Field Weighted Citation Impact)
4
Refs
0.26
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Advanced Research in Systems and Signal Processing
Physical Sciences → Engineering → Control and Systems Engineering
Related Documents
JOURNAL ARTICLE
A PROBLEM ON THEORIES WITH A FINITE NUMBER OF COUNTABLE MODELS
Year: 2003 Pages: 398-408
JOURNAL ARTICLE
The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models
Journal: Journal of Artificial Intelligence Research Year: 2002 Vol: 16 Pages: 389-423
JOURNAL ARTICLE
Persistently Finite Theories with Hyperarithmetic Models
Journal: Transactions of the American Mathematical Society Year: 1983 Vol: 278 (1)Pages: 91-91
JOURNAL ARTICLE
Theories of arithmetics in finite models
Michał KrynickiKonrad Zdanowski
Journal: Journal of Symbolic Logic Year: 2005 Vol: 70 (1)Pages: 1-28
BOOK-CHAPTER
Efficient decision algorithms for locally finite theories
Lecture notes in computer science Year: 1986 Pages: 262-273