81. Proceedings Of The American Mathematical Society Harrington, Leo, Recursively presented prime models, J. Symbolic logic 39 (1974), Keywords Strongly minimal, trivial geometry, uncountably categorical, http://www.ams.org/proc/2003-131-12/S0002-9939-03-06951-X/home.html

Journals Home Search Author Info Subscribe ... Help ISSN 1088-6826 (e) ISSN 0002-9939 (p) Previous issue Table of contents Next issue Articles in press ... All issues Trivial, strongly minimal theories are model complete after naming constants Author(s): Sergey S. Goncharov; Valentina S. Harizanov; Michael C. Laskowski; Steffen Lempp; Charles F. D. McCoy Journal: Proc. Amer. Math. Soc. MSC (2000): Primary 03C10; Secondary 03C35, 03C57 Posted: February 24, 2003 Retrieve article in: PDF DVI TeX PostScript ... Additional information Abstract: We prove that if is any model of a trivial, strongly minimal theory, then the elementary diagram is a model complete -theory. We conclude that all countable models of a trivial, strongly minimal theory with at least one computable model are -decidable, and that the spectrum of computable models of any trivial, strongly minimal theory is References: Baldwin, John T. and Lachlan, Alistair H.

82. Homepage For Prof. Erwin Engeler categorical algebra, eds S. Eilenberg et al. Equations in combinatory algebras.In Logics of Programs eds E. Clarke et al., Springer Lecture Notes in http://www.math.ethz.ch/~darms/WWW/engeler/engeler-cv.html

Prof. Erwin Engeler Curriculum Vitae: Dates and Stations Activities and Offices Publications Classical model theory and infinitary languages ... Miscellaneous My address: Department of Mathematics Federal Institute of Technology 8092 Zurich, Switzerland Phone: + 41 1 632 22 25 How to contact me be email: engeler@math.ethz.ch Click here to visit the home page of my wife Dr. phil. Margaret Engeler. Dates and Stations Born in Schaffhausen, Switzerland on the 13th February 1930. Diploma in mathematics at the ETH, Zurich Dr.sc.math. ETH, Zurich (Prof. P. Bernays) Assistant Professor at the University of Minnesota Assistant Professor at the University of California, Berkeley Associate Professor and Full Professor at the University of Minnesota Professor of Logic and Computer Science, Mathematics Department, ETH, Zurich Activities and Offices Author of various books on Logic, Mathematics and Computer Science, translated into Russian, Japanese and Chinese Editor of scientific journals, book series and symposia Collected works 1993 Active interest in music, art and various outdoor sports

83. Information And Computation -- 1995 A maximal monoidal closed category of distributive algebraic domains. Infinitary logic and inductive definability over finite structures. http://theory.lcs.mit.edu/~iandc/ic95.html

Information and Computation 1995 Volume 116, Number 1, January 1995 Michiel Smid . Dynamic rectangular point location with an application to the closest pair problem. Information and Computation , 116(1):1-9, January 1995. Abstract, References, and Citations. BibTeX entry Michael Huth . A maximal monoidal closed category of distributive algebraic domains. Information and Computation , 116(1):10-25, January 1995. Abstract, References, and Citations. BibTeX entry Juanito Camilleri and Glynn Winskel . CCS with priority choice. Information and Computation , 116(1):26-37, January 1995. Abstract, References, and Citations. BibTeX entry Bent Thomsen . A theory of higher order communicating systems. Information and Computation , 116(1):38-57, January 1995. Abstract, References, and Citations. BibTeX entry Anil Nerode Raymond T. Ng , and V. S. Subrahmanian . Computing circumscriptive databases: I. Theory and algorithms. Information and Computation , 116(1):58-80, January 1995. Abstract, References, and Citations. BibTeX entry Naoki Abe . Characterizing PAC-learnability of semilinear sets. Information and Computation , 116(1):81-102, January 1995.

84. Publications Of David M Evans fast growth of algebraic closure , J. Symbolic logic 67 (2002), 897909. 15 Examples of aleph-zero categorical structures , in Automorphisms of http://www.mth.uea.ac.uk/~h120/publications.html

Research publications of David M Evans The following list is in reverse chronological order. It also contains preprints, which can be downloaded in .pdf .dvi or .ps format. I have offprints of all of the published papers (with the possible exception of ones published in books). If you would like one, or a hard copy of a preprint, then let me know by e-mail. d.evans@uea.ac.uk Return to home page Papers by research students Slides of talks ... A short CV [37] "Some remarks on generic structures", Preprint, July 2003. (.pdf) [36] "Block transitive Steiner systems with more than one point orbit", J. Combinatorial Designs 12 (2004), 459-465. (.pdf) [35] "Trivial stable structures with non-trivial reducts", to appear in J. London Math. Soc (2005). (.pdf) [34] (with Paul R. Hewitt) "Continuous cohomology of permutation groups on profinite modules", Revised and corrected version, January 2005, submitted to Communications in Algebra. (.pdf) [33] "Ample dividing", J. Symbolic Logic 68 (2003), 1385-1402. (.pdf) (.dvi) (.ps) [31] (with Osama A Rashwan) "Bounds in the theory of finite covers", Journal of Algebra 250 (2002), 757-777. (.ps)

85. The Math Forum - Math Library - Algebraic Topology relating to the study of mathematics. This page contains sites relating toAlgebraic Topology. Prized Geometric logic Ivars Peterson (MathTrek) http://mathforum.org/library/topics/alg_topol/

Browse and Search the Library Home Math Topics Topology : Algebraic Topology Library Home Search Full Table of Contents Suggest a Link ... Library Help Selected Sites (see also All Sites in this category Algebraic Topology - Dave Rusin; The Mathematical Atlas A short article designed to provide an introduction to algebraic topology, the study of algebraic objects attached to topological spaces. The algebraic invariants reflect some of the topological structure of the spaces. The use of these algebraic tools calls attention to some types of topological spaces which are well modeled by the algebra; fibre bundles and related spaces are included here... the use of the algebraic tools also calls attention to the aspects of a topological space which are well modeled by the algebra; this gives rise to homotopy theory. The algebraic tools used in topology include various (co)homology theories, homotopy groups, and groups of maps. These in turn have necessitated the development of more complex algebraic tools such as derived functors and spectral sequences. History, applications and related fields and subfields; textbooks, reference works, and tutorials; software and tables; other web sites with this focus. more>> AT Algebraic Topology (Front for the Mathematics ArXiv) - Univ. of California, Davis

Page 5     81-85 of 85    Back | 1  | 2  | 3  | 4  | 5