61. Mills College: Steven Roger Givant, Mathematics & Computer Science, Publications in power, Annals of Mathematical logic 17 (1979), 91116. 4. _, Union decompositionsand universal classes categorical in power, algebra Universalis 10 http://www.mills.edu/ACAD_INFO/MCS/GIVANT/pubs.html

Steven Roger Givant Publications Books Givant, S.R., Universal classes categorical or free in power , Doctoral disseration, University of California, Berkeley, 1975, iv + 176 pp. _ and McKenzie, R.N.(eds.), Alfred Tarski: Collected papers _ and Tarski, A., A formalization of set theory without variables , Colloquium Publications, vol. 41, American Mathematical Society, Providence, R.I., 1987, xxii + 318 pp. The structure of relation algebras generated by relativizations , Contemporary Mathematics, vol. 156, American Mathematical Society, Providence, R.I., 1994, xv + 134 pp. Decision problems for equational theories of relation algebras , Memoirs of the American Mathematical Society, vol. 126, no. 604, American Mathematical Society, Providence, R.I., 1997, xiv + 126 pp. _, and Halmos, P. Logic as algebra , Dolciani Mathematical Expositions, no. 21, Mathematical Association of America, Washington, D.C., 1998, x + 141 pp. Semiproducts of relation algebras , in preparation.

62. Publications Of David M Evans 33 (with ME Pantano) $\aleph_0$ categorical structures with To appear in J.Symbolic logic. in the theory of finite covers , Journal of algebra 250 (2002 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 A short CV [35] (with Paul P Hewitt) "Continuous cohomology of permutation groups on profinite modules", Preprint, January 2003. (.pdf) [34] "Ample dividing", Heavily revised version, March 2003. (.pdf) (Original version slightly revised, July 2002, (.pdf) (.dvi) (.ps) [32] (with Osama A Rashwan) "Bounds in the theory of finite covers", Journal of Algebra 250 (2002), 757-777. (.ps) (.dvi) [31] "Suborbits in infinite permutation groups", Bulletin London Math. Soc. 33 (2001), 583-590. (.dvi) (.ps) (.dvi) (.ps) ... (.ps) [28] (with C. J. B. Brookes) "Augmentation modules for affine groups", Math. Proc. Cambridge Phil. Soc. 130 (2001), 287-294. (.dvi)

63. References On Traced Monoidal Categories And Applications Partially additive categories and fully complete models of linear logic. In Proc. Algebra115(2) (1997) 141178 P. Selinger, categorical structure of asynchrony http://www.kurims.kyoto-u.ac.jp/~hassei/papers/tracebib.html

References on Traced Monoidal Categories and Applications By Masahito Hasegawa , last updated 19 December 2002 Note: This list is not exhaustive at all (most of the papers and books found below are those I actually had a look at). If you notice any item which should be added (as well as any mistake), please let me know. 1. The Paper by Joyal, Street and Verity A. Joyal, R. Street and D. Verity, Traced monoidal categories Mathematical Proceedings of the Cambridge Philosophical Society (3) (1996) 447-468. (Technical Report version appeared as: Macquarie Mathematics Report, 1994, rapport no: 94/156.) 2. Precursors, Related Structures From Category Theory: A. Joyal and R. Street, The geometry of tensor calculus I Advances in Math. A. Joyal and R. Street, Braided tensor categories Advances in Math. G.M. Kelly and M.L. Laplaza, Coherence for compact closed categories J. Pure Appl. Algebra M.-C. Shum, Tortile tensor categories J. Pure Appl. Algebra From Computer Science and Logic: S. Abramsky and R. Jagadeesan, New foundations for the geometry of interaction Information and Computation M.A. Arbib and E.G. Manes

64. Academic Homepage For Robert McGrail Encapsulating Data in logic Programming via categorical Constraints James Liptonand Robert McGrail algebra of logic Programming, Trento Italy, September (1998 http://science.bard.edu/computer/mcgrail.htm

Education PhD Math MA Math BA Math Wesleyan University Boston College Saint Joseph's College Courses Computer Science I ( CMSC 141 ), Computer Science II ( CMSC 142 ), Computer Science III ( CMSC 201 ), Operating Systems ( CMSC 326 Research My research interests center around logic programming. In particular, I design typed logic programming languages that include monads or shapely types. I am also interested in the application of logic programming to deductive databases for use in genomics research. My research centers on programming language design and generic programming, in particular, conservative extensions to pure logic programming languages as well as languages that combine the logic and functional paradigms. The intent of my dissertation was to provide a categorical semantics for a logic programming language that extends monads in the term language to monadic operators on logic programming predicates. In the coming year, I intend to provide an implementation of the aforementioned language. I also have other research interests, not the least of which are logic, type theory, and algorithms and computational complexity.

65. Notes On: The Logical Foundations Of Mathematics 1 First Order logic A presentation of first order logic including a Theorems Chapter7 - The Foundational Systems of WV.Quine Chapter 8 - categorical algebra. http://www.rbjones.com/rbjpub/philos/bibliog/hatch82.htm

by on The Logical Foundations of Mathematics by William S. Hatcher Chapter 1 - First Order Logic A presentation of first order logic including a general treatment of "variable binding term operators", such as set comprehension, which are often required in foundation systems. Chapter 2 - The Origin of Modern Foundational Studies Chapter 3 - Frege's System and the Paradoxes Chapter 4 - The Theory of Types Chapter 5 - Zermelo Fraenkel Set Theory Chapter 7 - The Foundational Systems of W.V.Quine Chapter 8 - Categorical Algebra Chapter 2 - The Origin of Modern Foundational Studies Section 1 - Mathematics as an Independent Science Section 2 - The Arithmetisation of Analysis Section 3 - Constructivism Section 4 - Frege and the notion of a Formal System Section 5 - Criteria of Foundations "What must a foundation be, and what must it do?" Chapter 8 - Categorial Algebra Introduction In the introduction, Hatcher describes the relevance of category theory for foundations. Section 8.1 The notion of a category An informal introduction to category theory. Section 8.2

66. Homepage For Prof. Erwin Engeler Categories in model theory Models with prescribed secondorder properties. J.Symbolic logic 37 (1962) 476. categorical algebra, eds S. Eilenberg et al. 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

67. Mathematics Special Interest Groups Catalog of lattices; categorical geometry; Categories; Operator algebra resources;Operator algebraist's information results; Research groups for mathematical logic; http://math.haifa.ac.il/math-special.html

Special interest groups and pages in mathematics Abstract state machines ACM special interest groups relating to mathematics SIGACT special interest group on algorithms and computation theory SIGNUM special interest group on numerical mathematics SIGSAM special interest group on symbolic and algebraic manipulation Algebraic Approach to Performance Evaluation of Discrete Event Systems (ALAPEDES) ... Categories Cellular automata resources Cellular automata FAQ Cellular automaton Evolving cellular automata interest group Mirek's Cellebration ... Nada page Combinatorics Combinatorics net Design theory on the web Encyclopaedia of combinatorial structures Commutative ring theory webring ... Complex analysis home page in Japan Complexity resources Complex systems virtual library Complexity on line Stas Busygin's NP-completeness page Computational fluid dynamics Computational geometry resources Computational geometry on the web Computational geometry resources Duke University computational geometry pages Minimal surfaces ... Descent and category theory connections Differential equations resources Consortium for ordinary differential equations experiments (CODE-E) TMR network differential equations in industry and commerce Discrete event simulation Dynamical systems resources Dynamical systems and technology Dynamical systems homepage Outils de simulation des systemes dynamiques Economic and game theory ... Electronic Colloquium on Computational Complexity Elliptic curve theory Elliptic curves and cryptography Elliptic curves and related topics Entropy on the World Wide Web Erich's combinatorial geometry page ... Fixed point theory on the web The Four Color Theorem

68. Mathematical Logic And Theoretical Computer Science algebra and logic, 2000, vol. Remark 1 A computable model A is relatively categoricaliff it possesses a computable Scott family of existential formulas http://math.uni-heidelberg.de/logic/computability2001/abstracts.html

Workshop on COMPUTABILITY AND MODELS Heidelberg, Germany, January 18-20, 2001 Abstracts of Contributed Talks Marat Arslanov, Models of Relative Computability and the Ershov Hierarchy In second part of my talk I will consider general conditions under which relative splittings and specified diamond embeddings are derivable in the local structure of the enumeration degrees. General questions of definability and the role of splitting and nonsplitting, and also the description of new relationships between information content and degree theoretic structure will be considered. Serikzhan Badaev, Spectrum of Computable Minimal Numberings We consider computable minimal numberings of the families of arithmetical sets (see [1] for the necessary notions). Let A S n be any S n w w S n - computable minimal numberings of A . The triple (d,p,m) is called spectrum of computable minimal numberings of A The problem of description of the triples which realize spectrums of computable minimal numberings for the families in a given level of hierarchy arose from the long-standing problem of Yu.L.Ershov on possible number of computable minimal numberings of the families of c.e. sets. Note that not every triple could be a spectrum of some family of c.e. sets. This follows from the following theorem of S.S.Goncharov [2]: if a family of c.e. sets has decidable but not the least computable numbering under reducibility then it has w positive computable numberings.

69. Part III Category Theory: Synopsis research in topology, abstract algebra, mathematical logic or theoretical FrancisBorceux, Handbook of categorical algebra, Cambridge University Press (1994). http://www.dpmms.cam.ac.uk/~leinster/categories/synopsis.html

Part III Category Theory Michaelmas/Autumn/Fall 2000, 24 lectures Category theory begins with the observation that the collection of all mathematical structures of a given type, together with all the maps between them, is itself an instance of a nontrivial structure which can be studied in its own right. In keeping with this idea, the real objects of study are not so much categories themselves as the maps between them - functors, natural transformations and (perhaps most important of all) adjunctions. Category theory has had great success in the unification of ideas from different areas of mathematics; it has now become an indispensable tool for anyone doing research in topology, abstract algebra, mathematical logic or theoretical computer science (to name but a few). This course aims to give a general introduction to the language of category theory, and should therefore be of interest to a large proportion of pure Part III students. Lectures will cover: A. Categories, functors and natural transformations. Examples drawn from different areas of mathematics. Faithful and full functors, equivalence of categories.

70. Science And Math - Geometry contains online books and research papers on categorical geometry and categoricalalgebra. logical Art and the Art of logic learn about pentominoes and what http://www.information-entertainment.com/ScienceMath/Geometry.html

Please show your support for this site and visit the sponsors Science And Math - Geometry Geometry is more than about measuring angles and circles or anything to do with shapes. Although that is a big part of this subject, there is a key to how they relate to real life use. The key is logic. You might think that you only need this logic when building things, but you can use this skill of deductive reasoning in everyday life. Geometry has a basic set of postulates and theories. You must have them memorized and understand those principles before you can move too far into this subject. Once you get a grip on them, you must be able to reason how you get from point A to point Z using those principles. This is where your skills of logic come in. It is not merely a matter to accept the final result, but to understand the process of coming from the beginning to the end. Engineers and scientists will need Geometry in their professional fields. All students who plan to enter college need this skill to graduate. For them, it is mandatory to learn this subject. For everyone else, the ability to think in a logical manner will save you from making a lot of wrong choices. Geometry will help you get there.

71. The Math Forum - Math Library - Algebraic Topology Prized Geometric logic Ivars Peterson (MathTrek) Computer programs can handle articlesthat significantly advance the study of categorical algebra or methods 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

72. Peter Selinger: Curriculum Vitae categorical Structure of Asynchrony. Invited participant, Workshop on MathematicalLogic, Oberwolfach, Germany Conference on Modern algebra and its Applications http://quasar.mathstat.uottawa.ca/~selinger/cv.html

C URRICULUM V ITAE - P ETER S ELINGER Updated: 30 January 2003 P ERSONAL D ETAILS Address: Department of Mathematics and Statistics University of Ottawa 585 King Edward Ave Ottawa, Ont. K1N 6N5, Canada Telephone: Office 613-562-5800 ext. 3510 Fax 613-562-5776 E-mail: selinger@mathstat.uottawa.ca Status in Canada: Permanent resident E MPLOYMENT Assistant Professor, Department of Mathematics, University of Ottawa. 2001-present Cross-appointed in Computer Science (SITE) since August 2002. Research Associate, Computer Science Department, Stanford University. Assistant Professor, Department of Mathematics, University of Michigan. 1997-2000. Visiting Research Assistant Professor, BRICS, Centre of the Danish National Research Foundation, Computer Science Department, Aarhus University, Denmark. January-July 1998 E DUCATION University of Pennsylvania, Philadelphia, U.S.A., 1992-1997. Ph.D. in Mathematics. Thesis Advisor: Andre Scedrov. Thesis Title: Functionality, Polymorphism, and Concurrency: A Mathematical Investigation of Programming Paradigms. Cambridge University

73. Publications (Andreas Baudisch) NDOPNOTOP-groups, Journal of Symbolic logic 56 (1991 paper with J. Wilson, Journalof algebra 153 (1992 A new uncountably-categorical group, Transactions of the http://www-irm.mathematik.hu-berlin.de/~raesch/org/baudisch/pub.html

Schriftenverzeichnis von A. Baudisch Artikel in Zeitschriften , Fundamenta Math. 83 (1974), 121-127. , Bull de l' Acad. Polon. des Sci. 23 (1975), 107-109. Entscheidbarkeitsprobleme elementarer Theorien von Klassen abelscher Gruppen mit Untergruppen , Bull. de l' Acad. Polon. des Sci. 23 (1975), 111-115. Die elementare Theorie der Gruppe vom Typ p-unendlich mit Untergruppen , Zeitschrift f. math. Logik und Grundlagen d. Math. 21 (1975), 347-352. Elimination of the quantifier Q_alpha in the theory of abelian groups , Bull. de l' Acad. Polon. des Sci. 24 (1976), 543-551. Kommutationsgleichungen in semifreien Gruppen , Acta Math. Acad. Sci. Hungar. 29 (1977), 235-249. A note on the elementary theory of torsion free abelian groups with one predicate for subgroups The theory of abelian groups with the quantifier <= x , Zeitschrift f. math. Logik und Grundlagen der Math. 23 (1977), 447-462. Decidability of the theory of abelian groups with Ramsey quantifiers , Bull. de l' Acad. des Sci. 25 (1977), 733-739. The Lindenbaum-algebra of theories of well-orderings and abelian groups with the quantifier Q_alpha , joint paper with M. Weese, in Set Theory and Hierarchy Theory V, Bierutowice, Poland 1976, Lecture Notes in Mathematics 619 (1977), 59-73.

74. Publications - G. Cherlin of small Morley rank, Annals of Mathematical logic 17 (1979), 128. 13. On totallycategorical groups (with W. Baur and A. Macintyre), J. algebra 57 (1979), 407 http://www.math.rutgers.edu/~cherlin/Paper/

Gregory Cherlin, Publication List Last first. May include some items submitted or in preparation Classification of simple K* -groups of finite Morley rank and of even type: geometric aspects, with T. Altinel and A. Borovik, Durham 2001 Proceedings, to appear Simple L*-groups of even type with strongly embedded subgroups with T. Altinel. Submitted Borovik-Poizat randk and stability, with J. Burdges, JSL, On groups of Finite Morley Rank of Even Type, with T. Altinel, J. Algebra, to appear Categoricity in power n+2 To appear, Discrete Mathematics Locally finite generalized quadrangles with at most 5 points per line, Discrete Mathematics , to appear. Tame minimal simple groups of finite Morley rank , with E. Jaligot. Submitted Parabolic 2-local subgroups in groups of finite Morley rank of even type with T. Altinel, A. Borovik, and L.-J. Corredor Submitted Pushing up and C(G,T) in groups of finite Morley rank of even type, with T. Altinel and A. Borovik. J. Algebra

75. Re: Linear Notation Conference on categorical algebra, La Jolla, 1965 , Publisher= SpringerVerlag ,year=1966) @Article( Gir, Author= Girard, JY , Title= Linear logic , Journal http://www.cis.upenn.edu/~bcpierce/types/archives/1991/msg00140.html

[Prev] [Index] [Thread] Re: Linear notation To : types Subject : Re: Linear notation From pratt@cs.Stanford.EDU Date : Tue, 31 Dec 91 09:28:40 EST In-Reply-To Sender meyer@theory.lcs.mit.edu Prev: Re: Linear notation Index(es): Main Thread

76. Litteratur Introduction to Higher Order categorical logic, volume 7 of Cambridge Studies in Handbookof categorical algebra 2, volume 51 of Encyclopedia of Mathematics http://www.it-c.dk/~noah/litteratur.html

Andrej Bauer, Lars Birkedal, and Dana S. Scott. Equilogical spaces. To Appear (Accepted), 2000. bib Dana S. Scott. A new category? 1998. bib Saunders Mac Lane. Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics . Springer Verlag, second edition, 1997. bib Jaap van Oosten. Basic category theory. Technical Report LS-95-1, BRICS, University of Aarhus, 1995. bib J. C. Reynolds. Theories of Programming Languages . Cambridge University Press, 1998. bib E. Mendelson. Introduction to Mathematical Logic bib G. Winskel. The Formal Semantics of Programming Languages . Foundations of Computing. MIT Press, 4th edition, 1997. bib S. Mac Lane and I. Moerdijk. Sheaves in Geometry and Logic . Universitext. Springer, 1992. bib B. Jacobs. Categorical Logic and Type Theory , volume 141 of Studies in Logics and the Foundations of Mathematics . Elsevier, 1999. bib J. Lambek and P. J. Scott. Introduction to Higher Order Categorical Logic , volume 7 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, 1986.

77. CUNY GC Computer Science - Doctoral Faculty Category Theory; categorical logic; Universal algebra. Yarmish, GabrielPh.D., Polytechnic University; Assistant Professor, Brooklyn College. http://web.gc.cuny.edu/Computerscience/faculty.html

365 5th Avenue New York City 10016 Room 4319 Phone: 212.817.8190 Fax: 212.817.1510 compsci@gc.cuny.edu Computer Science Doctoral Faculty Ahamed,Syed V. Ph.D.; D.Sc., University of Manchester (UK); Professor, College of Staten Island; Telecommunications and intelligent networks; Distributed and parallel processing; M.I.S.; Design and optimization techniques; High-speed and asymmetric and digital subscriber lines. Homepage. Anshel, Michael Ph.D., Adelphi University; Professor, The City College; Computational methods in algebra, combinatorics, and number theory; Cryptology and computer security; Quantum computing; History of computing; Bioinformatics. Homepage. Arnow, David Ph.D., New York University; Professor, Brooklyn College. Distance learning and CS education; Webcomputing; Monte Carlo methods. Homepage. Artemov, Sergei N. Professor, Dr.Sci., Moscow University; Distinguished Professor,CUNY Graduate Center (Ph.D. Program in Computer Science); Logic; Automated Deduction and Verification; Optimal Control and Hybrid Systems.

78. Zoeken Naar Elektronische Tijdschriften Gerangschikt Op Onderwerp Annals of pure and applied logic; annals of of Statistical Mathematics; Applicablealgebra in engineering harmonic analysis; Applied categorical structures a http://www.dinkel.utwente.nl/scinfo/journals_subj/nl?sub=31

79. PSSL 98 logic 15.20 Rolf Rother (Bremen) Strengthening of homogeneity in categorical algebra16.20 Libor Polák (Brno) On equational logic (for semigroups) 17.00 http://www.wraith.u-net.com/PSSL/1998.html

THE PERIPATETIC SEMINAR ON SHEAVES AND LOGIC Sixty-sixth Meeting: Birmingham, 2829 March 1998 Friday Paul Taylor (QMW) Two intertwined stories about induction and recursion Saturday Peter Johnstone (Cambridge) On (not-quite-)toposes of (not-quite-)coalgebras Enrico Vitale (Louvain) Picard and Brauer bigroups Adam Eppendahl (QMW) Arithmetic universes and pull-back theories Ralph Loader (Edinburgh) Yet more adequacy proofs Steve Vickers (Imperial) Sheaves and frame presentations Paola Maneggia (Birmingham) Polymorphism and logical predicates Paul Taylor (QMW) Quadrality Sunday Barney Hilken (Manchester) Sheaf models of modal logic Natasha Alechina (Birmingham) Relating Kripke and categorical semantics for intuitionistic modal logic Eike Ritter (Birmingham) On the semantics of classical disjunction Martin Hyland (Cambridge) Invariants and proofs Sixty-seventh Meeting: Utrecht, 3031 May 1998 Saturday John Power (Edinburgh) Higher-dimensional categories, I Ronnie Brown (Bangor) Computation of free crossed resolutions of groups Kirill Mackenzie (Sheffield) Duality for double structures Thomas Streicher (Darmstadt) A model for computable analysis George Janelidze (Tbilisi) Categorical, homological and universal-algebraic approach to central extensions

80. Category Theory Resources by F. William Lawvere Applications algebra in a by Benjamin C. Pierce Sets, Logicand Categories Hopf Models of Sharing Graphs A categorical Semantics of Let http://futuresedge.org/mathematics/Category_Theory.html

Category Theory resources. Recommended References. [see index for total category] for your convenience: Best Retirement Spots Web Hosting ULTRAToolBox Resources on Diet and Nutrition Pain Relief Allergies Tech Refresh , and finally - a must check - Mediterranean diet Discovery. Category Theory applications, theory, research, exams, history, handbooks and much more Introduction: An Introduction to Category Theory by Viakalathur Sankrithi, Krishnan Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing) by Andrea Asperti Conceptual Mathematics: A First Introduction to Categories by F. William Lawvere Applications: Algebra in a Localic Topos With Application to Ring Theory by Francis Borceux Theory: Basic Category Theory for Computer Scientists by Benjamin C. Pierce Sets, Logic and Categories (Springer Undergraduate Mathematics Series) by Peter J. Cameron Categories for the Working Mathematician (2nd Ed)(Graduate Texts in Mathematics, 5) by Saunders Mac Lane Am I That Name? Feminism and the Category of Women in History

Page 4     61-80 of 82    Back | 1  | 2  | 3  | 4  | 5  | Next 20