21. Proceedings Of The American Mathematical Society School of algebra and logic, Consultants Bureau, New York, 2000. MR 2002a03069. 5. Goncharov, Sergei S., Constructive models of categorical theories, Mat. 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.

22. Foundations, Combinatorics & Logic - Cambridge University Press Cambridge books covering mathematical logic, category theory, set theory and mathematical For the first time in a textbook, categorical algebra is used to http://publishing.cambridge.org/stm/mathematics/foundations/

Home New titles Textbooks All titles ... Related journals New titles email Related subjects Communications, Networks and the Internet Theoretical Computer Science Search Cambridge books covering mathematical logic, category theory, set theory and mathematical philosophy Highlight titles Sets for Mathematics F. William Lawvere, Robert Rosebrugh For the first time in a textbook, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra. Hardback Coding Theory San Ling, Chaoping Xing Modern introduction to theory of coding and decoding with many exercises and examples. Paperback Computational Discrete Mathematics Sriram Pemmaraju, Steven Skiena This definitive reference on Combinatorica contains examples of all 450 Combinatorica functions plus tutorial text. Lectures in Logic and Set Theory George Tourlakis This two-volume set bridges the gap between introductory texts and the research literature. Lectures in Logic and Set Theory George Tourlakis This two-volume set bridges the gap between introductory texts and the research literature. Algebraic Combinatorics on Words M. Lothaire

23. Unisa Online - Pure Mathematics JFT Hartney. categorical algebra and Topology, Prof. IW Alderton. M. Frick. Functional Analysis and Operator algebras. Prof. L. Labuschagne. Mathematical logic, Prof. http://www.unisa.ac.za/default.asp?Cmd=ViewContent&ContentID=1673

24. Project Euclid Journals S., ``Constructive models of $ømega_1$categorical theories, Matematicheskie Strong constructivability of homogeneous models, algebra and logic, vol. http://projecteuclid.org/Dienst/UI/1.0/Display/euclid.ndjfl/1039724885

Current Issue Past Issues Search this Journal Editorial Board ... Note on Volumes 35-40 Bakhadyr Khoussainov Andre Nies , and Richard A. Shore Computable Models of Theories with Few Models Source: Notre Dame J. Formal Logic Abstract: In this paper we investigate computable models of -categorical theories and Ehrenfeucht theories. For instance, we give an example of an -categorical but not -categorical theory such that all the countable models of except its prime model have computable presentations. We also show that there exists an -categorical but not -categorical theory such that all the countable models of except the saturated model, have computable presentations. References Primary Subjects: Secondary Subjects: Full-text: Open access Download the full-text in the following format: Screen Optimized PDF (114 KB) PDF (90 KB) Euclid Identifier: euclid.ndjfl/1039724885 Mathmatical Reviews number (MathSciNet): Digital Object Identifier (DOI): 10.1305/ndjfl/1039724885 To Table of Contents for this Issue References [1] Baldwin, J., and A. Lachlan, ``On strongly minimal sets,''

25. Science, Math, Logic And Foundations: People E. University of Cambridge - categorical logic, game semantics Rolla - Pure and Applied logic, Foundations, Harmonic Analysis, algebra, Metric Spaces http://www.combose.com/Science/Math/Logic_and_Foundations/People/

Top Science Math Logic and Foundations ... Aczel, Peter - University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic. Andrews, Peter B. - Carnegie Mellon University - type theory, automated theorem proving. Avigad, Jeremy - Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics. Awodey, Steve - Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. Baldwin, John T. - University of Illinois, Chicago - Model theory (finite and infinite). Barendregt, Henk - University of Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular. Bartoszynski, Tomek - Boise State University - Set theory. Bellin, Gianluigi - University of Leeds - Proof theory, the formulae-as-types correspondence and semantics of programming languages. Berline, Chantal - University of Paris 7 - Lambda calculus. Blass, Andreas R. - University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science. Bolotov, Alexander

26. ORIENTALIA | Encyclopedia | Cultural Studies: Philosophy And Psychology | Catego Price £40.03 Subject to change. categorical logic and Type Theory (Studies in logic Bücher Categories generalize Linear algebra to a logic, which is http://www.orientalia.org/term25126.html

This is an academic Eastern Philosophy and Religion site! Please, register to access all sections. Navigator Home Account New Password Site Map ... Feedback User Info Welcome, Guest Nickname Password Security Code: Type S-Code: Register Membership: Latest: Shahzadi New Today: New Yesterday: Overall: People Online: Visitors: Members: Total: Forums Last 20 Forum Messages Prelogical, Logical, Ultralogical Last post by laltu in Indology on Jun 05, 2004 at 08:18:58 Tantra and Dhrupad Last post by laltu in Yoga and Tantra on Jun 05, 2004 at 07:34:11 Have you heard of the name David Ecke? ..... Last post by Guest in Feadback and Support on May 30, 2004 at 07:55:15 two words in sanskrit Last post by Guest in Teach Me on May 27, 2004 at 15:10:14 Continental Philosophy Last post by Guest in Comparative Philosophy on May 25, 2004 at 20:48:46 Corrupt Zip Files Last post by Plamen in Googlifier on May 13, 2004 at 18:26:18 The Dao of the Press Last post by Plamen in Technology of Wisdom on May 04, 2004 at 04:28:51 Cakra- Mooney Last post by Guest in Round Table on Apr 29, 2004 at 17:15:27

27. BIBLIOGRAPHY About DESCENT And CATEGORY THEORY! A. Obtu \book The logic of categories of partial book Introduction to categories, homological algebra, and sheaf Von Eye , et al \book categorical Variables in http://north.ecc.edu/alsani/catbib.html

BIBLIOGRAPHY about DESCENT THEORY from W. Tholen home page. Monades et Descente Selected Topics in Algebra An Outline of a Theory of Higher Dimensional Descent The Theory of Descent Triples and Descent An Extension of the Galois Theory of Grothendieck Theory of Categories over a Base Topos Descent Theory for Toposes Effective Descent Morphisms and Effective Equivalence Relations Introduction to Affine Group Schemes BIBLIOGRAPHY about CATEGORY THEORY F. W. Lawvere publications: http://www.acsu.buffalo.edu/~wlawvere Back to Descent and Category Theory WebPage Back to Alsani's home page

28. 5 De Morgan's Life And Work Figure 2 De Morgan s notation for the categorical forms AOEI. Besides his work in algebra and logic, De Morgan contributed 712 articles to the ``Penny http://www.hf.uio.no/filosofi/njpl/vol2no1/history/node5.html

Next: 6 Boole's Life Up: A Brief History of Previous: 4 British Mathematics in 5 De Morgan's Life and Work Augustus de Morgan was born as fifth child on the 27th of June 1806 in Madura, India, where his father worked as an officer for the East India Company. His family soon moved to England, where they lived first at Worcester and then at Taunton. His early education was in private schools, where he enjoyed a classic education in Latin, Greek, Hebrew, and mathematics. In 1823, at the age of 16, he entered Trinity College in Cambridge, where the work of the ``Analytical Society'' had already changed the students' schedule so that De Morgan also studied Continental mathematics. In 1826, he graduated as a fourth Wrangler and turned his back on mathematics to study to be a lawyer at Lincoln's Inn in London. But only a year later he revised this decision and applied for a position as professor of mathematics at the newly established University College in London. At the age of 22, with no publications, he was appointed. The work that De Morgan produced in the years to come spanned a wide variety of subjects with an emphasis on algebra and logic. But surprisingly he was not able to connect them. An important work of his was the ``Elements of Arithmetic'', published in 1830, containing a simple yet thorough philosophical treatment of the ideas of number and magnitude. In a paper from 1838 he formally described the concept of mathematical induction and in 1849 in ``Trigonometry and Double Algebra'' he gave a geometrical interpretation of complex numbers.

29. List Of Publications Of Andrei Morozov Once more on countably categorical theories, Siberian mathematical journal, 1999, Vol. 40, No. 2. 63. Once more on Higman s question, algebra and logic, Vol. http://www.math.nsc.ru/~asm256/Papers.html

List of publications of Andrei Morozov 1. On decidability of some theories of Boolean algebras with distinguished ideals, in: 5th all-union conference on mathematical logic (abstracts), Novosibirsk 1979, p. 99, in Russian. 2. Countable homogeneous Boolean algebras. In: 14 All-Union algebraic conference. Leningrad, 1981, P. 201-201. in Russian. 3. Recursive automorphism groups of constructive Boolean algebras. In: 6 All-Union conference on Mathematical Logic. Tbilisi, 1982, P. 119-119. In Russian. 4. On decidability of theories of Boolean algebras with distinguished ideal. Siberian Math. Journal, V. 23, No. 1, 1982, P. 199-201. in Russian. 5. Strong constructivizability of countable saturated Boolean algebras. Algebra and Logic, V. 21, No. 2, 1982, P. 130-137. 6. Countable homogeneous Boolean algebras. Algebra and Logic, V. 21, No. 3, 1982, P. 181-190. 7. Constructive Boolean algebras and their automorphisms, PhD thesis, 1982, 104 pages, in Russian. 8. Groups of recursive automorphisms of constructive Boolean algebras. Algebra and Logic, V. 22, No. 2, 1983, P.95-112.

30. International Conference Logic And Applications Trofimov AV, Countably categorical Boolean algebras with distinguished Ershov subalgebras. OV, Representability of functions of the algebra of logic by sums of http://www.math.nsc.ru/conference/malmeet/ershov/abse.html

International conference "Logic and Applications" Accepted abstracts Abdykhalykov A. T. Metabelian Leibnitz algebras Abutalipova Sh. U. Inclusion problem for bi-modules over polynomial rings Akhtyamov R. B. On index sets Ashaev I. V. Analogues of the arithmetical hierarchy in generalized computability Badaev S. A., Goncharov S. S. Ershov's problems on minimal numberings Baizhanov B. S. Types and expansions of models of weakly o-minimal and stable theories by unary predicates Bardakov V. G. A property of groups with subexponential growth Bazhanov V. A. The problem of assimilation of great discoveries in the history of logic Belyakin N. V., Ganov V. A. A modification of the choice principle Belyakin N. V., Pobedin L. N. Towards an alternative infinity Bel'tyukov A. P. A complexity hierarchy of finite equi-accessable address machines Biryukov P. A., Mishkin V. V. Set ideals with isomorphic symmetry groups Bludov V. V. Geometrical equivalence of groups and quasivarieties Boiko V. A. Lobachevskii and Kant Bredikhin D. A. N -variables logic and Jonsson's algebra of relations Budkin A. I.

31. A Reflective Module Algebra With Applications To The Maude Language OBJ embodies many of the categorical module composition ole in the development of algebraic specification, and theorem proving in 2OBJ, and logic programming in http://maude.cs.uiuc.edu/papers/abstract/Dmodalg_1999.html

A Reflective Module Algebra with Applications to the Maude Language Introduction It has long been recognized that large specifications are unmanageable unless they are built in a structured fashion from smaller specifications using specification-building operations. Modularity and module composition are central notions for specification languages and declarative programming languages. Although Parnas is the author of the possibly earliest work on software modules, Burstall and Goguen were the first to study the semantics of modular specifications and their composition operations in their language Clear. They proposed the idea of ``putting theories together'' by composing them through operations having a clean and logic-independent categorical semantics. Continuing in this line of work, Burstall and Goguen captured the minimal requirements that a logic must meet to be a reasonable specification framework and introduced the notion of institution Categorical techniques have allowed since then the study of specification-building operations with independence of any specific formalism by different authors, giving rise to a large body of research. Algebraic specification is now a mature field of Computer Science because of its mathematical foundations. After Clear, the theory of algebraic specification has been implemented in many computing systems, such as OBJ, ACT ONE, ASL, ASF, PLUSS, LPG, Larch, CASL, etc., and has become an important technique in software engineering methodologies.

32. Citations A Finitely Relational Algebra For Classical First-order in their recent book 10 other relevent categorical work . Paulo Veloso and Armando Haeberer. A finitely relational algebra for classical firstorder logic. http://citeseer.ist.psu.edu/context/37091/0

33. Stone Duality Between Queries And Data - Benson (ResearchIndex) 1996 1 Richard Hull Victor Vianu (context) Abiteboul - 1995 1 The logic of structures (context) - Ageron - 1992 1 Handbook of categorical algebra 1 Basic http://citeseer.ist.psu.edu/benson96stone.html

34. Mills College: Steven Roger Givant, Mathematics & Computer Science, Publications in power, Annals of Mathematical logic 17 (1979), 91116. 4. _, Union decompositions and 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. The construction and analysis of simple relation algebras , in preparation.

35. Logic And Foundations: People University of Cambridge categorical logic, game semantics and Rolla - Pure and Applied logic, Foundations, Harmonic Analysis, algebra, Metric Spaces http://www.puredirectory.com/Science/Math/Logic-and-Foundations/People/

Logic and Foundations: People Home Science Math Logic and Foundations : People Students and Independent Scholars google_ad_client = "pub-3272565765518472";google_alternate_color = "FFFFFF";google_ad_width = 336;google_ad_height = 280;google_ad_format = "336x280_as";google_ad_channel ="7485447737";google_color_border = "FFFFFF";google_color_bg = "FFFFFF";google_color_link = "0000FF";google_color_url = "008000";google_color_text = "000000"; Standard Listings Aczel, Peter University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. Andrews, Peter B. Carnegie Mellon University - Type theory, automated theorem proving. Artemov, Sergei City University of New York Graduate Center - Proof theory, logic of proofs. Avigad, Jeremy Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics. Awodey, Steve Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. Baldwin, John T.

36. EpistemeLinks.com: Journals Results as they have philosophical interest, those aspects of symbolic logic and of the articles that significantly advance the study of categorical algebra or methods http://www.epistemelinks.com/Main/journals.aspx?Format=Both&TopiCode=Math

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

Gregory Cherlin, Publication List; less recent Last first. May include some items submitted or in preparation Recent publications Older publications: 69. Minimal antichains in well-founded quasi-orders with an application to tournaments, with B. Latka J. Combinatorial Theory Series B. 68. Forbidden subgraphs and forbidden substructures, with N. Shi, J. Symbolic Logic Groups of finite Morley rank and even type with strongly closed abelian subgroups, with T. Altinel and A. Borovik J. Algebra 66. The classification of finite homogeneous groups (with U. Felgner) J. London Math. Society 65. Sporadic homogeneous structures 64. Infinite imprimitive homogeneous 3-edge-colored complete graphs, JSL offprints available 63. Central extensions of algebraic groups of finite Morley rank, with T. Altinel, JSL offprints available 62. A Hall theorem for omega -stable groups, with T. Altinel, L.-J. Corredor, and A. Nesin, J. London Math. Society, 13 pp. J. London Math. Soc. offprints available 61. On groups of finite Morley rank with weakly embedded subgroups, with T. Altinel and A. Borovik

38. Category Theory Resources by F. William Lawvere Applications algebra in a by Benjamin C. Pierce Sets, logic and 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

39. Olivier Lessmann At Logic And It's Applications In Algebra And Geometry, Ann Arb algebraically closed fields of a given characteristic, and free groups are three examples of classes of mathematical structures which are categorical in all http://www.math.lsa.umich.edu/~bkasterm/OlivierLessmann.html

Olivier Lessmann. Dimension theory in model theory. Vector spaces, say over the rationals, algebraically closed fields of a given characteristic, and free groups are three examples of classes of mathematical structures which are categorical in all uncountable cardinals, i.e. any two uncountable such structures of the same size are isomorphic. In each of these instances, there is a notion of dimension (linear dimension, transcendence degree, the number of generators) which captures the isomorphism-type of the structure. This is a general model-theoretic phenomenon: Th: (Lessmann) If K is a reasonable class of mathematical structures which is categorical in some uncountable cardinal, then inside each mathematical structure there is a pregeometry whose dimension determines the isomorphism-type of the mathematical structure, and furthermore, the class is categorical in all uncountable cardinals. By reasonable, we mean (1) axiomatised using at most countably many first order axioms (the first two examples above, in this case this is the classical Baldwin-Lachlan theorem), or, more generally, (2) axiomatised using not necessarily first order axioms but in such a way that there is a good notion of universal domain (a homogeneous model as in the example of free groups, or a full model). The difficulty in (2) is that the compactness theorem fails. The use of dimension theory to understand mathematical structures works beyond can categoricity: Inside any mathematical structure, we can define what we mean by "A is independent from B (over C)" using the automorphism group of the structure. This independence relation has good properties under very general model-theoretic circumstances, called simplicity and stability (shown by Buechler-Lessmann). Examples of stable and simple mathematical structures are those described above (in each case the independence relation becomes the familiar one: in vector spaces it becomes linear independence, and alebraic independence in an algebraically closed field), as well as Hilbert spaces, where the independence relation coincides with orthogonality.

40. Observational Logic, Constructor-based Logic, And Their Duality 11 F, Borceux, Handbook of categorical algebra, Cambridge University Hiding More of Hidden algebra, Proceedings of M. Bidoit, Observational logic (long version http://portal.acm.org/citation.cfm?id=773695&dl=ACM&coll=portal&CFID=11111111&CF

Page 2     21-40 of 83    Back | 1  | 2  | 3  | 4  | 5  | Next 20