| Concept lattices and order in fuzzy logic | 2004/08/01 | English | 244 |
| ∑11-Formulae on finite structures | 1983/07/01 | English | 188 |
| Model theory of modules | 1984/04/01 | English | 183 |
| A new strongly minimal set | 1993/07/01 | English | 116 |
| Varieties of complex algebras | 1989/10/01 | English | 112 |
| The logic of proofs, semantically | 2005/02/01 | English | 92 |
| On the scheme of induction for bounded arithmetic formulas | 1987/01/01 | English | 88 |
| A game semantics for linear logic | 1992/04/01 | English | 83 |
| Generic copies of countable structures | 1989/05/01 | English | 80 |
| There may be simple Pℵ1 and Pℵ2-points and the Rudin-Keisler ordering may be downward directed | 1987/01/01 | English | 78 |
| ℵ0-Categorical, ℵ0-stable structures | 1985/03/01 | English | 77 |
| Fixed-point extensions of first-order logic | 1986/01/01 | English | 69 |
| Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information | 2012/01/01 | English | 68 |
| Distinguished algebraic semantics fort-norm based fuzzy logics: Methods and algebraic equivalencies | 2009/07/01 | English | 67 |
| The complexity of first-order and monadic second-order logic revisited | 2004/12/01 | English | 64 |
| A Sahlqvist theorem for distributive modal logic | 2005/01/01 | English | 58 |
| Real closed rings II. model theory | 1983/12/01 | English | 57 |
| Enumerations in computable structure theory | 2005/11/01 | English | 57 |
| On the consistency of some partition theorems for continuous colorings, and the structure of ℵ1-dense real order types | 1985/09/01 | English | 55 |
| Quasi finitely axiomatizable totally categorical theories | 1986/01/01 | English | 54 |
| Pseudo-exponentiation on algebraically closed fields of characteristic zero | 2005/02/01 | English | 53 |
| Algorithmic uses of the Feferman–Vaught Theorem | 2004/04/01 | English | 52 |
| Infinite combinatorics and definability | 1989/02/01 | English | 51 |
| Combinatorial principles in the core model for one Woodin cardinal | 1995/07/01 | English | 51 |
| Toward classifying unstable theories | 1996/08/01 | English | 51 |
| Generalised algebraic theories and contextual categories | 1986/01/01 | English | 49 |
| The negation of the singular cardinal hypothesis from o(K)=K++ | 1989/08/01 | English | 49 |
| On variants of o-minimality | 1996/06/01 | English | 49 |
| Set-theoretical models of λ-calculus: theories, expansions, isomorphisms | 1983/08/01 | English | 48 |
| D-completions and thed-topology | 2009/06/01 | English | 48 |