Geometry.Net - Pure_And_Applied_Math: Categorical Algebra And Logic

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
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

Extractions: 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)
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

Extractions: 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. S. Abramsky and R. Jagadeesan, New foundations for the geometry of interaction Information and Computation M.A. Arbib and E.G. Manes
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

Extractions: 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.
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
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

Extractions: Click here to visit the home page of my wife Dr. phil. Margaret Engeler. Born in Schaffhausen, Switzerland on the 13th February 1930. 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
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

Extractions: Algebraic Approach to Performance Evaluation of Discrete Event Systems (ALAPEDES) ... Categories Cellular automata resources Combinatorics Commutative ring theory webring ... Complex analysis home page in Japan Complexity resources Computational fluid dynamics Computational geometry resources Discrete event simulation Dynamical systems resources Economic and game theory ... Electronic Colloquium on Computational Complexity Elliptic curve theory Entropy on the World Wide Web Erich's combinatorial geometry page ... Fixed point theory on the web The Four Color Theorem
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

Extractions: 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. 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.
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

Extractions: 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.
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

Extractions: 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.
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/

Extractions: 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
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

Extractions: 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.
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

Extractions: 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 , 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.
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/

Extractions: 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
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
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
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
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
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

Extractions: Sixty-sixth Meeting: Birmingham, 2829 March 1998 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
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

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