Uncountably Categorical Theories
Title | Uncountably Categorical Theories PDF eBook |
Author | Boris Zilber |
Publisher | American Mathematical Soc. |
Pages | 132 |
Release | |
Genre | Mathematics |
ISBN | 9780821897454 |
The 1970s saw the appearance and development in categoricity theory of a tendency to focus on the study and description of uncountably categorical theories in various special classes defined by natural algebraic or syntactic conditions. There have thus been studies of uncountably categorical theories of groups and rings, theories of a one-place function, universal theories of semigroups, quasivarieties categorical in infinite powers, and Horn theories. In Uncountably Categorical Theories , this research area is referred to as the special classification theory of categoricity. Zilber's goal is to develop a structural theory of categoricity, using methods and results of the special classification theory, and to construct on this basis a foundation for a general classification theory of categoricity, that is, a theory aimed at describing large classes of uncountably categorical structures not restricted by any syntactic or algebraic conditions.
Uncountable Theories Categorical in a Higher Power
Title | Uncountable Theories Categorical in a Higher Power PDF eBook |
Author | Michael Chris Laskowski |
Publisher | |
Pages | 156 |
Release | 1987 |
Genre | |
ISBN |
Categorical Logic and Type Theory
Title | Categorical Logic and Type Theory PDF eBook |
Author | B. Jacobs |
Publisher | Elsevier |
Pages | 779 |
Release | 1999-01-14 |
Genre | Mathematics |
ISBN | 0080528708 |
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
First Order Categorical Logic
Title | First Order Categorical Logic PDF eBook |
Author | M. Makkai |
Publisher | Springer |
Pages | 317 |
Release | 2006-11-15 |
Genre | Mathematics |
ISBN | 3540371001 |
Models of Uncountable Theories Categorical in Power
Title | Models of Uncountable Theories Categorical in Power PDF eBook |
Author | Daniel Marc Andler |
Publisher | |
Pages | |
Release | 1973 |
Genre | |
ISBN |
On Morley's Categoricity Theorem with an Eye Toward Forking
Title | On Morley's Categoricity Theorem with an Eye Toward Forking PDF eBook |
Author | Colin N. Craft |
Publisher | |
Pages | 65 |
Release | 2011 |
Genre | Model theory |
ISBN |
The primary result of this paper is Morley's Categoricity Theorem that a complete theory T which is k-catecorigal for some uncountable cardinal k is ^-categorical for every uncountable cardinal ^. We prove this by proving a characterization of uncountably categorical theories due to Baldwin and Lachlan. Before the actual statement and proof of Morley's theorem, we give an overview of the prerequisites from mathematical logic needed to understand the theorem and its proof. After proving Morley's theorem we briefly indicate some possible directions of further study having to do with forking and the related notion of independence of types.
Categorical Perspectives
Title | Categorical Perspectives PDF eBook |
Author | Jürgen Koslowski |
Publisher | Springer Science & Business Media |
Pages | 302 |
Release | 2001-04-27 |
Genre | Mathematics |
ISBN | 9780817641863 |
"Categorical Perspectives" consists of introductory surveys as well as articles containing original research and complete proofs devoted mainly to the theoretical and foundational developments of category theory and its applications to other fields. A number of articles in the areas of topology, algebra and computer science reflect the varied interests of George Strecker to whom this work is dedicated. Notable also are an exposition of the contributions and importance of George Strecker's research and a survey chapter on general category theory. This work is an excellent reference text for researchers and graduate students in category theory and related areas. Contributors: H.L. Bentley * G. Castellini * R. El Bashir * H. Herrlich * M. Husek * L. Janos * J. Koslowski * V.A. Lemin * A. Melton * G. Preuá * Y.T. Rhineghost * B.S.W. Schroeder * L. Schr"der * G.E. Strecker * A. Zmrzlina