Result 1 to 20 of 36 total
Aspects of predicative algebraic set theory. III: Sheaves. (English)
Proc. Lond. Math. Soc. (3) 105, No. 5, 1076-1122 (2012).
1
Finitely axiomatizable strongly minimal groups. (English)
J. Symb. Log. 75, No. 1, 25-50 (2010).
2
Arithmetic Turing degrees and categorical theories of computable models. (English)
Goncharov, S. S. (ed.) et al., Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16‒19, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-045-2/hbk). 58-69 (2006).
3
Model completeness for trivial, uncountably categorical theories of Morley rank $1$. (English)
Arch. Math. Logic 45, No. 8, 931-945 (2006).
4
Stability theory and its variants. (English)
Haskell, Deirdre (ed.) et al., Model theory, algebra, and geometry. Cambridge: Cambridge University Press. Math. Sci. Res. Inst. Publ. 39, 131-149 (2000).
5
Logical predicates for intuitionistic linear type theories. (English)
Girard, Jean-Yves (ed.), Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7‒9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1581, 198-212 (1999).
6
Types and models for higher-order action calculi. (English)
Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23‒26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 583-603 (1997).
7
An internal language for interaction categories. (English)
Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 85-104 (1995).
8
Primitive recursion, equality, and a universal set. (English)
Math. Struct. Comput. Sci. 4, No.3, 295-313 (1994).
9
Groups of finite Morley rank. (English)
Oxford Logic Guides. 26. Oxford: Clarendon Press. xvii, 409 p. (1994).
10
Handbook of categorical algebra. 2: Categories and structures. (English)
Encyclopedia of Mathematics and Its Applications. 51. Cambridge: Univ. Press. xvii, 443 p. \sterling 50.00; \$ 79.95 (1994).
11
Some combinatorial aspects of the cover problem for totally categorical theories. (English)
Kaye, Richard (ed.) et al., Automorphisms of first-order structures. Oxford: Clarendon Press. 215-231 (1994).
12
Locally presentable and accessible categories. (English)
London Mathematical Society Lecture Note Series. 189. Cambridge: Cambridge University Press. xiv, 316 p. \sterling 25.00; \$ 39.95 (1994).
13
Iteration theories. The equational logic of iterative processes. (English)
EATCS Monographs on Theoretical Computer Science. Berlin: Springer- Verlag. xv, 630 p. (1993).
14
Model theory. (English)
Encyclopedia of Mathematics and Its Applications. 42. Cambridge: Cambridge University Press. xiii, 772 p. (1993).
15
Relating models of impredicative type theories. (English)
Pitt, David H. (ed.) et al., Category theory and computer science. 4th biennial summer conference, Paris, France, September 3-6, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 530, 197-218 (1991).
16
On algebraic theories with a Mal’cev operation. (Sobre teorías algebraicas con una operación de Mal’cev.) (Spanish)
Alxebra, 55. Santiago de Compostela: Univ., Dept. de Algebra. iv, 43 p. (1990).
17
The model completion of the theory of all partially ordered sets. (English)
Z. Math. Logik Grundlagen Math. 35, No.6, 481 (1989).
18
Accessible categories: The foundations of categorical model theory. (English)
Contemporary Mathematics, 104. Providence, RI: American Mathematical Society (AMS). viii, 176 p. \$ 31.00 (1989).
19
Classifying $\aleph\sb 0$-categorical theories. (English)
Stud. Log. 47, No.4, 327-345 (1988).
20
Result 1 to 20 of 36 total
Start
Contact
Print
General Help
