Premium
The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier
Author(s) -
Goltz HansJoachim
Publication year - 1985
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19850310902
Subject(s) - quantifier elimination , quantifier (linguistics) , mathematics , sentence , boolean algebra , algebra over a field , order (exchange) , complete boolean algebra , abelian group , discrete mathematics , combinatorics , computer science , pure mathematics , two element boolean algebra , artificial intelligence , filtered algebra , finance , economics