Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Omitting types for finite variable fragments of first order logic | 2003 | |||
The class of neat reducts is not elementary | Logic Journal of the IGPL |
| 2001 | |
Omitting types in logics with finitely many variables | 1999 | |||
10.1007/BFb0095612 | ||||
10.1007/978-94-017-0452-6_3 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS | Journal of Algebra and Its Applications |
| 2012 | |
New perspectives in algebraic logic, from neat embeddings to Erdos graphs | Journal of the Egyptian Mathematical Society |
| 2011 | |
Some results about neat reducts | Algebra universalis |
| 4 | 2010 |
Omitting types for finite variable fragments and complete representations of algebras | The Journal of Symbolic Logic |
| 17 | 2008 |
Category | Category Repetition |
---|---|
Science: Mathematics | 4 |
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods | 1 |