Mike Prest

Publication Activity (10 Years)

Years Active: 1985-2019
Publications (10 Years): 2

Top Topics

Theoretical Foundation

Relation Algebra

Representation Scheme

Top Venues

J. Lond. Math. Soc.

Publications

Mike Prest
Model Theory for Sheaves of Modules. ICLA (2019)
Lorna Gregory, Mike Prest
Representation embeddings, interpretation functors and controlled wild algebras. J. Lond. Math. Soc. 94 (3) (2016)
Mike Prest, Ravi Rajani
Pure-injectivity and model theory for G-sets. J. Symb. Log. 74 (2) (2009)
Ravi Rajani, Mike Prest
Model-theoretic Imaginaries and Coherent Sheaves. Appl. Categorical Struct. 17 (6) (2009)
Mike Prest, Vera Puninskaya, Alexandra Ralph
Some model theory of sheaves of modules. J. Symb. Log. 69 (4) (2004)
Septimiu Crivei, Mike Prest, Geert Reynders
Model theory of comodules. J. Symb. Log. 69 (1) (2004)
Mike Prest, Vera Puninskaya
Modules with Few Types over Some Finite-Dimensional Algebras. J. Symb. Log. 67 (2) (2002)
Annalisa Marcja, Mike Prest, Carlo Toffalori
The Torsionfree Part of The Ziegler Spectrum of RG When R Is A Dedekind Domain and G Is A Finite Group. J. Symb. Log. 67 (3) (2002)
Mike Prest
Tensor Product and Theories of Modules. J. Symb. Log. 64 (2) (1999)
Mike Prest
The Representation Theories of Elementarily Equivalent Rings. J. Symb. Log. 63 (2) (1998)
Mike Prest
Interpreting Modules in Modules. Ann. Pure Appl. Log. 88 (2-3) (1997)
Annalisa Marcja, Mike Prest, Carlo Toffalori
On the Undecidability of Some Classes of Abelian-by-Finite Groups. Ann. Pure Appl. Log. 62 (2) (1993)
Mike Prest
Remarks on Elementary Duality. Ann. Pure Appl. Log. 62 (2) (1993)
Thomas G. Kucera, Mike Prest
Imaginary Modules. J. Symb. Log. 57 (2) (1992)
Thomas G. Kucera, Mike Prest
Four Concepts from "Geometrical" Stability Theory in Modules. J. Symb. Log. 57 (2) (1992)
Annalisa Marcja, Mike Prest, Carlo Toffalori
Classification theory for abelian groups with an endomorphism. Arch. Math. Log. 31 (2) (1991)
Mike Prest
The Generalised RK-Order, Orthogonality and Regular Types for Modules. J. Symb. Log. 50 (1) (1985)