DOCSLIB.ORG

Self-Similarity in the Foundations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Self-Similarity in the Foundations Self-similarity in the Foundations Paul K. Gorbow Thesis submitted for the degree of Ph.D. in Logic, defended on June 14, 2018. Supervisors: Ali Enayat (primary) Peter LeFanu Lumsdaine (secondary) Zachiri McKenzie (secondary) University of Gothenburg Department of Philosophy, Linguistics, and Theory of Science Box 200, 405 30 GOTEBORG,¨ Sweden arXiv:1806.11310v1 [math.LO] 29 Jun 2018 2 Contents 1 Introduction 5 1.1 Introductiontoageneralaudience . ..... 5 1.2 Introduction for logicians . .. 7 2 Tour of the theories considered 11 2.1 PowerKripke-Plateksettheory . .... 11 2.2 Stratifiedsettheory ................................ .. 13 2.3 Categorical semantics and algebraic set theory . ....... 17 3 Motivation 19 3.1 Motivation behind research on embeddings between models of set theory. 19 3.2 Motivation behind stratified algebraic set theory . ...... 20 4 Logic, set theory and non-standard models 23 4.1 Basiclogicandmodeltheory ............................ 23 4.2 Ordertheoryandcategorytheory. ...... 26 4.3 PowerKripke-Plateksettheory . .... 28 4.4 First-order logic and partial satisfaction relations internal to KPP ........ 32 4.5 Zermelo-Fraenkel set theory and G¨odel-Bernays class theory............ 36 4.6 Non-standardmodelsofsettheory . ..... 38 5 Embeddings between models of set theory 47 5.1 Iterated ultrapowers with special self-embeddings . ......... 47 5.2 Embeddingsbetweenmodelsofsettheory . ..... 57 5.3 Characterizations.................................. .. 66 6 Stratified set theory and categorical semantics 73 6.1 Stratifiedsettheoryandclasstheory . ...... 73 6.2 Categoricalsemantics ............................... .. 77 7 Stratified algebraic set theory 85 7.1 Stratifiedcategoriesofclasses . ..... 85 7.2 Interpretation of the Set-theories in the Cat-theories ................ 90 7.3 ThesubtoposofstronglyCantorianobjects . ....... 99 8 Where to go from here? 103 8.1 Category theoretic approach to embeddings between models of settheory . 103 8.2 Directions for further research on stratified algebraic set theory .......... 104 3 4 CONTENTS Chapter 1 Introduction 1.1 Introduction to a general audience Zooming in on a fern, one may be struck by how its parts resemble the whole, and zooming in further, how the parts of the parts again exhibit a similar structure. Likewise, when learning about atoms, solar systems and galaxies, one may naturally be struck by the analogy between a typical spiral galaxy and the accretion disc of an infant solar system, as well as the analogy between how the planets stand to the sun and how the electrons stand to the atomic nucleus. These analogies are far from perfect, but nonetheless inevitable. In the mathematical realm, idealized forms of this phenomenon have become well known to the broad public through the theory of fractals, a field from which a rich variety of beautiful images has spun off, to the delight of the human mind. The term self-similarity has come to be used quite broadly for this phenomenon. More formal mathematical umbrella-terms are endomorphism, the slightly narrower self-embedding and the even more narrow automorphism. In either case, the words morphism and embedding are largely left open to be defined as appropriate for the domain of study. Generally, an endomorphism exhibits a part with similar structure as the whole, but where some details of the structure may be lost; with a self-embedding the part and whole have the same structure; and with an automorphism no proper part is involved, but the structure of the whole emerges in several different ways on the same whole. Since the whole is in a trivial sense a part of itself, any automorphism is also a self-embedding, and moreover any self-embedding is an endomorphism. In some fields, e.g. the field of the present monograph, so much structure needs to be preserved that the notions of endomorphism and self-embedding coincide. On the other hand, for finite structures the notions of self-embedding and automorphism end up coinciding. Let us consider a circular clock from 0 to 12 as an example. The clock has only an hour-dial, and this dial takes just one step forward every hour, never passing in between two numbers on the clock: We have 0 (considered equal to 12) at the top of the clock. If one does addition and subtraction on this clock, then we have 2+3 = 5, 5+8 = 1 and 5 − 8 = 9, for example. It turns out that this mathematical structure (a finite group called C12) has a few self-embeddings. For example, notice that the even numbers of the clock exhibit a similar structure to that of the whole clock (this substructure is a subgroup of C12 called C6). Let us define a function f from the clock to itself by f (x)= x + x, with the addition done in C12, of course. So f (0) = 0, f (3) = 6 and f (7) = 2, for example. This is an endomorphism of C12, which reveals that C12 has C6 as a similar part of itself. The essential criterion that f passes to attain the status of endomorphism, is that f (x + y)= f (x)+ f (y), for all x, y in C12. The function f is neither a self-embedding 5 6 CHAPTER 1. INTRODUCTION nor an automorphism, because C6 is not the same as C12 (half of the details of the structure were left out). However, it turns out the function g(x)= x + x + x + x + x is an automorphism. For if you renumber your clock by this function g, then you will go around the clock with the numbers 0 at the top, and then 5, 10, 3, 8, 1, 6, 11, 4, 9, 2, 7, and finally come back again to 0. If you then just change the mechanics so that the hour-dial takes 5 steps each hour instead of just 1, then this clock will also show the time correctly, stepping first from 0 to 1, then from 1 to 2, and so on. Thus, the same structure as the original structure, is present on the whole in a very different way. In this monograph, structures for the foundations of mathematics are studied, particularly structures satisfying axioms of set theory. By a key theorem of Tennenbaum from the 1960:s, these structures are so complex that it is impossible to devise a theoretical algorithm or computer program to describe them, even if it were allowed to run for infinite time. Remarkably, the existence of these complex structures follows from rather innocent looking axioms of set theory. In particular, this monograph studies structures of set theory and structures of category theory of such extraordinary complexity. To give a hunch of the kind of structures studied, here follows a sketch of a construction of a non-standard model of arithmetic: In arithmetic we have a first order predicate language with numerals 0, 1, 2, 3,... denoting the standard natural numbers, and we have the operations of + and × as well as the relation < for comparing size. We now add a name c to this language. There is no way of showing that c<t for any numeral t = 0, 1, 2,... in the original language, because this name may be assigned to denote any numeral. This means that it is consistent that 0 < c, 1 < c, 2 < c, and so on. Taking all these sentences together, one finds that it is consistent with arithmetic that c is larger than every standard natural number. G¨odel’s Completeness Theorem says that for any consistent set of sentences, there is a structure that satisfies those sentences. So there is a structure satisfying all the sentences of arithmetic, which still has numbers greater than all of the standard natural numbers 0, 1, 2,... By Tennenbaum’s Theorem, this non-standard structure is not algorithmically describable. Thus, we find ourselves in a situation where we can show the existence of structures which are so complex that our prospects for describing them are severely limited. Nonetheless, a rich mathematical theory has emerged from the study of these structures, especially for those structures of smallest possible infinite size (countably infinite structures). Chapters 4 and 5 of this monograph are concerned with such structures of set theory. A theorem of Friedman from the 1970:s states roughly that every countable non-standard structure of the conventional theory of arithmetic, known as Peano Arithmetic (PA), has a proper self-embedding. Friedman also proved this for a fragment of Zermelo-Fraenkel set theory (ZF), the conventional set theory. So the phenomenon of self-similarity is abundant in the theory of non-standard foundational structures. In Section 5.2, theorems along these lines are refined and generalized for the setting of a fairly weak fragment of ZF. ZF axiomatizes a hierarchical conception of sets. Each set can be assigned a rank, such that if x is a member of y, then the rank of x is less than the rank of y. Thus it makes sense to ask whether a structure of ZF can be extended to a larger structure, such that new sets are only added at higher level of this rank-hierarchy. Such an extension is called a rank-end-extension. In Section 5.1 it is shown that each of a certain class of structures of ZF can be rank-end-extended to a structure with a non-trivial automorphism such that the sets that are not moved by the automorphism are precisely the sets in the original structure. This constitutes a set-theoretic generalization of an arithmetic result by Gaifman. In Section 5.3, the Friedman- and Gaifman-style theorems are combined in various ways to obtain several new theorems about non-standard countable structures of set theory. In Chapters 6 and 7 we turn to category theoretic foundations of mathematics. While set 1.2. INTRODUCTION FOR LOGICIANS 7 theory is concerned with the relation of membership, category theory is concerned with transfor- mations.
Load more

Recommended publications
  • The Seven Virtues of Simple Type Theory
    The Seven Virtues of Simple Type Theory William M. Farmer∗ McMaster University 26 November 2006 Abstract Simple type theory, also known as higher-order logic, is a natural ex- tension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys the virtues of simple type theory and attempts to show that simple type theory is an attractive alterna- tive to first-order logic for practical-minded scientists, engineers, and mathematicians. It recommends that simple type theory be incorpo- rated into introductory logic courses offered by mathematics depart- ments and into the undergraduate curricula for computer science and software engineering students. 1 Introduction Mathematicians are committed to rigorous reasoning, but they usually shy away from formal logic. However, when mathematicians really need a for- mal logic—e.g., to teach their students the rules of quantification, to pin down exactly what a “property” is, or to formalize set theory—they almost invariably choose some form of first-order logic. Taking the lead of mathe- maticians, scientists and engineers usually choose first-order logic whenever they need a formal logic to express mathematical models precisely or to study the logical consequences of theories and specifications carefully. In science and engineering as well as in mathematics, first-order logic reigns supreme! A formal logic can be a theoretical tool for studying rigorous reasoning and a practical tool for performing rigorous reasoning. Today mathemati- cians sometimes use formal logics as theoretical tools, but they very rarely ∗ Address: Department of Computing and Software, McMaster University, 1280 Main Street West, Hamilton, Ontario L8S 4K1, Canada.
    [Show full text]
  • Biequivalence Vector Spaces in the Alternative Set Theory
    Comment.Math.Univ.Carolin. 32,3 (1991)517–544 517 Biequivalence vector spaces in the alternative set theory Miroslav Smˇ ´ıd, Pavol Zlatoˇs Abstract. As a counterpart to classical topological vector spaces in the alternative set the- ory, biequivalence vector spaces (over the field Q of all rational numbers) are introduced and their basic properties are listed. A methodological consequence opening a new view to- wards the relationship between the algebraic and topological dual is quoted. The existence of various types of valuations on a biequivalence vector space inducing its biequivalence is proved. Normability is characterized in terms of total convexity of the monad and/or of the galaxy of 0. Finally, the existence of a rather strong type of basis for a fairly extensive area of biequivalence vector spaces, containing all the most important particular cases, is established. Keywords: alternative set theory, biequivalence, vector space, monad, galaxy, symmetric Sd-closure, dual, valuation, norm, convex, basis Classification: Primary 46Q05, 46A06, 46A35; Secondary 03E70, 03H05, 46A09 Contents: 0. Introduction 1. Notation and preliminaries 2. Symmetric Sd-closures 3. Vector spaces over Q 4. Biequivalence vector spaces 5. Duals 6. Valuations on vector spaces 7. The envelope operation 8. Bases in biequivalence vector spaces 0. Introduction. The aim of this paper is to lay a foundation to the investigation of topological (or perhaps also bornological) vector spaces within the framework of the alternative set theory (AST), which could enable a rather elementary exposition of some topics of functional analysis reducing them to the study of formally finite dimensional vector spaces equipped with some additional “nonsharp” or “hazy” first order structure representing the topology.
    [Show full text]
  • Constructive Models of Uncountably Categorical Theories
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 12, Pages 3711{3719 S 0002-9939(99)04920-5 Article electronically published on May 6, 1999 CONSTRUCTIVE MODELS OF UNCOUNTABLY CATEGORICAL THEORIES BERNHARD HERWIG, STEFFEN LEMPP, AND MARTIN ZIEGLER (Communicated by Carl G. Jockusch, Jr.) Abstract. We construct a strongly minimal (and thus uncountably categori- cal) but not totally categorical theory in a finite language of binary predicates whose only constructive (or recursive) model is the prime model. 0. Introduction Effective (or recursive) model theory studies the degree to which constructions in model theory and algebra can be made effective. A presentation of a count- able model is an isomorphic copy with universe N = !.Aneffective (or computable,orMrecursive) presentation isN one where all the relations, functions, and constants on are given by uniformly computable functions. Now, for a count- able model N of a first-order theory T , there are various degrees to which the constructionM of can be made effective: We call the model constructive (or recursive,orcomputableM ) if it has an effective presentation, orM equivalently if its open diagram (i.e., the collection of all quantifier-free sentences true in ( ;a)a M (in some presentation) is computable (or recursive)). We call the modelM decid-∈ able if its elementary diagram (i.e., the collection of all first-order sentencesM true in ( ;a)a M,insome presentation) is decidable (i.e., computable). Obviously, anyM decidable∈ model is constructive, but the converse fails. In fact, the study of constructive models is much harder than the study of decidable models since, in the former case, much less is known about the first-order theory.
    [Show full text]
  • Beyond First Order Logic: from Number of Structures to Structure of Numbers Part Ii
    Bulletin of the Iranian Mathematical Society Vol. XX No. X (201X), pp XX-XX. BEYOND FIRST ORDER LOGIC: FROM NUMBER OF STRUCTURES TO STRUCTURE OF NUMBERS PART II JOHN BALDWIN, TAPANI HYTTINEN AND MEERI KESÄLÄ Communicated by Abstract. The paper studies the history and recent developments in non-elementary model theory focusing in the framework of ab- stract elementary classes. We discuss the role of syntax and seman- tics and the motivation to generalize first order model theory to non-elementary frameworks and illuminate the study with concrete examples of classes of models. This second part continues to study the question of catecoricity transfer and counting the number of structures of certain cardi- nality. We discuss more thoroughly the role of countable models, search for a non-elementary counterpart for the concept of com- pleteness and present two examples: One example answers a ques- tion asked by David Kueker and the other investigates models of Peano Arihmetic and the relation of an elementary end-extension in the terms of an abstract elementary class. Beyond First Order Logic: From number of structures to structure of numbers Part I studied the basic concepts in non-elementary model theory, such as syntax and semantics, the languages Lλκ and the notion of a complete theory in first order logic (i.e. in the language L!!), which determines an elementary class of structures. Classes of structures which cannot be axiomatized as the models of a first-order theory, but might have some other ’logical’ unifying attribute, are called non-elementary. MSC(2010): Primary: 65F05; Secondary: 46L05, 11Y50.
    [Show full text]
  • Notices of the American Mathematical Society
    OF THE AMERICAN MATHEMATICAL SOCIETY ISSU! NO. 116 OF THE AMERICAN MATHEMATICAL SOCIETY Edited by Everett Pitcher and Gordon L. Walker CONTENTS MEETINGS Calendar of Meetings ••••••••••••••••••••••••••••••••••.• 874 Program of the Meeting in Cambridge, Massachusetts •••.•.••••..•• 875 Abstracts for the Meeting- Pages 947-953 PRELIMINARY ANNOUNCEMENTS OF MEETINGS •••••••••••••••••.•• 878 AN APPEAL FOR PRESERVATION OF ARCHIVAL MATERIALS .•••••••••• 888 CAN MATHEMATICS BE SAVED? ••••••••••.••••••••..•.•••••••.. 89 0 DOCTORATES CONFERRED IN 1968-1969 ••••••••••••••.••••••.•••• 895 VISITING MATHEMATICIANS .•••••••••••••••••••••••••..•••••.. 925 ANNUAL SALARY SURVEY ••••••••••••.••••.••••.•.•.••••••.•• 933 PERSONAL ITEMS •••••••••••••••••••••••••••••...•••••••••• 936 MEMORANDA TO MEMBERS Audio Recordings of Mathematical Lectures ••••••••..•••••.•••.• 940 Travel Grants. International Congress of Mathematicians ••..•.•••••.• 940 Symposia Information Center ••••.•• o o • o ••••• o o •••• 0 •••••••• 940 Colloquium Lectures •••••••••••••••••••••••.• 0 ••••••••••• 941 Mathematical Sciences E'mployment Register .•.••••••..•. o • o ••••• 941 Retired Mathematicians ••••• 0 •••••••• 0 ••••••••••••••••• 0 •• 942 MOS Reprints .•••••• o •• o ••••••••••••••••••••••• o •••••• 942 NEWS ITEMS AND ANNOUNCEMENTS •••••. o •••••••••••••••• 877, 932, 943 ABSTRACTS PRESENTED TO THE SOCIETY •••••.••••.•.•.••..•..•• 947 RESERVATION FORM. o •••••••••••••••••••••••••••••••••••••• 1000 MEETINGS Calendar of Meetings NOTE: This Calendar lists all of the meetings which have
    [Show full text]
  • An Introduction to Operad Theory
    AN INTRODUCTION TO OPERAD THEORY SAIMA SAMCHUCK-SCHNARCH Abstract. We give an introduction to category theory and operad theory aimed at the undergraduate level. We first explore operads in the category of sets, and then generalize to other familiar categories. Finally, we develop tools to construct operads via generators and relations, and provide several examples of operads in various categories. Throughout, we highlight the ways in which operads can be seen to encode the properties of algebraic structures across different categories. Contents 1. Introduction1 2. Preliminary Definitions2 2.1. Algebraic Structures2 2.2. Category Theory4 3. Operads in the Category of Sets 12 3.1. Basic Definitions 13 3.2. Tree Diagram Visualizations 14 3.3. Morphisms and Algebras over Operads of Sets 17 4. General Operads 22 4.1. Basic Definitions 22 4.2. Morphisms and Algebras over General Operads 27 5. Operads via Generators and Relations 33 5.1. Quotient Operads and Free Operads 33 5.2. More Examples of Operads 38 5.3. Coloured Operads 43 References 44 1. Introduction Sets equipped with operations are ubiquitous in mathematics, and many familiar operati- ons share key properties. For instance, the addition of real numbers, composition of functions, and concatenation of strings are all associative operations with an identity element. In other words, all three are examples of monoids. Rather than working with particular examples of sets and operations directly, it is often more convenient to abstract out their common pro- perties and work with algebraic structures instead. For instance, one can prove that in any monoid, arbitrarily long products x1x2 ··· xn have an unambiguous value, and thus brackets 2010 Mathematics Subject Classification.
    [Show full text]
  • Arxiv:1804.02439V1
    DATHEMATICS: A META-ISOMORPHIC VERSION OF ‘STANDARD’ MATHEMATICS BASED ON PROPER CLASSES DANNY ARLEN DE JESUS´ GOMEZ-RAM´ ´IREZ ABSTRACT. We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theory with Choice. Effectively, we will construct a first-order logic theory D-ZFC (Dual theory of ZFC) strictly based on (a particular sub-collection of) proper classes with a corresponding spe- cial membership relation, such that ZFC and D-ZFC are meta-isomorphic frameworks (together with a more general dualization theorem). More specifically, for any standard formal definition, axiom and theorem that can be described and deduced in ZFC, there exists a corresponding ‘dual’ ver- sion in D-ZFC and vice versa. Finally, we prove the meta-fact that (classic) mathematics (i.e. theories grounded on ZFC) and dathematics (i.e. dual theories grounded on D-ZFC) are meta-isomorphic. This shows that proper classes are as suitable (primitive notions) as sets for building a foundational framework for mathematics. Mathematical Subject Classification (2010): 03B10, 03E99 Keywords: proper classes, NBG Set Theory, equiconsistency, meta-isomorphism. INTRODUCTION At the beginning of the twentieth century there was a particular interest among mathematicians and logicians in finding a general, coherent and con- sistent formal framework for mathematics. One of the main reasons for this was the discovery of paradoxes in Cantor’s Naive Set Theory and related sys- tems, e.g., Russell’s, Cantor’s, Burati-Forti’s, Richard’s, Berry’s and Grelling’s paradoxes [12], [4], [14], [3], [6] and [11].
    [Show full text]
  • Axiomatic Set Teory P.D.Welch
    Axiomatic Set Teory P.D.Welch. August 16, 2020 Contents Page 1 Axioms and Formal Systems 1 1.1 Introduction 1 1.2 Preliminaries: axioms and formal systems. 3 1.2.1 The formal language of ZF set theory; terms 4 1.2.2 The Zermelo-Fraenkel Axioms 7 1.3 Transfinite Recursion 9 1.4 Relativisation of terms and formulae 11 2 Initial segments of the Universe 17 2.1 Singular ordinals: cofinality 17 2.1.1 Cofinality 17 2.1.2 Normal Functions and closed and unbounded classes 19 2.1.3 Stationary Sets 22 2.2 Some further cardinal arithmetic 24 2.3 Transitive Models 25 2.4 The H sets 27 2.4.1 H - the hereditarily finite sets 28 2.4.2 H - the hereditarily countable sets 29 2.5 The Montague-Levy Reflection theorem 30 2.5.1 Absoluteness 30 2.5.2 Reflection Theorems 32 2.6 Inaccessible Cardinals 34 2.6.1 Inaccessible cardinals 35 2.6.2 A menagerie of other large cardinals 36 3 Formalising semantics within ZF 39 3.1 Definite terms and formulae 39 3.1.1 The non-finite axiomatisability of ZF 44 3.2 Formalising syntax 45 3.3 Formalising the satisfaction relation 46 3.4 Formalising definability: the function Def. 47 3.5 More on correctness and consistency 48 ii iii 3.5.1 Incompleteness and Consistency Arguments 50 4 The Constructible Hierarchy 53 4.1 The L -hierarchy 53 4.2 The Axiom of Choice in L 56 4.3 The Axiom of Constructibility 57 4.4 The Generalised Continuum Hypothesis in L.
    [Show full text]
  • Propositional Logic
    Propositional Logic - Review Predicate Logic - Review Propositional Logic: formalisation of reasoning involving propositions Predicate (First-order) Logic: formalisation of reasoning involving predicates. • Proposition: a statement that can be either true or false. • Propositional variable: variable intended to represent the most • Predicate (sometimes called parameterized proposition): primitive propositions relevant to our purposes a Boolean-valued function. • Given a set S of propositional variables, the set F of propositional formulas is defined recursively as: • Domain: the set of possible values for a predicate’s Basis: any propositional variable in S is in F arguments. Induction step: if p and q are in F, then so are ⌐p, (p /\ q), (p \/ q), (p → q) and (p ↔ q) 1 2 Predicate Logic – Review cont’ Predicate Logic - Review cont’ Given a first-order language L, the set F of predicate (first-order) •A first-order language consists of: formulas is constructed inductively as follows: - an infinite set of variables Basis: any atomic formula in L is in F - a set of predicate symbols Inductive step: if e and f are in F and x is a variable in L, - a set of constant symbols then so are the following: ⌐e, (e /\ f), (e \/ f), (e → f), (e ↔ f), ∀ x e, ∃ s e. •A term is a variable or a constant symbol • An occurrence of a variable x is free in a formula f if and only •An atomic formula is an expression of the form p(t1,…,tn), if it does not occur within a subformula e of f of the form ∀ x e where p is a n-ary predicate symbol and each ti is a term.
    [Show full text]
  • Master of Science in Advanced Mathematics and Mathematical Engineering
    Master of Science in Advanced Mathematics and Mathematical Engineering Title: Logic and proof assistants Author: Tomás Martínez Coronado Advisor: Enric Ventura Capell Department: Matemàtiques Academic year: 2015 - 2016 An introduction to Homotopy Type Theory Tom´asMart´ınezCoronado June 26, 2016 Chapter 1 Introduction We give a short introduction first to the philosophical motivation of Intuitionistic Type Theories such as the one presented in this text, and then we give some considerations about this text and the structure we have followed. Philosophy It is hard to overestimate the impact of the problem of Foundations of Mathematics in 20th century philos- ophy. For instance, arguably the most influential thinker in the last century, Ludwig Wittgenstein, began its philosophical career inspired by the works of Frege and Russell on the subject |although, to be fair, he quickly changed his mind and quit working about it. Mathematics have been seen, through History, as the paradigma of absolute knowledge: Locke, in his Essay concerning Human Understanding, had already stated that Mathematics and Theology (sic!) didn't suffer the epistemological problems of empirical sciences: they were, each one in its very own way, provable knowledge. But neither Mathematics nor Theology had a good time trying to explain its own inconsistencies in the second half of the 19th century, the latter due in particular to the works of Charles Darwin. The problem of the Foundations of Mathematics had been the elephant in the room for quite a long time: the necessity of relying on axioms and so-called \evidences" in order to state the invulnerability of the Mathematical system had already been criticized by William Frend in the late 18th century, and the incredible Mathematical works of the 19th century, the arrival of new geometries which were \as consistent as Euclidean geometry", and a bunch of well-known paradoxes derived of the misuse of the concept of infinity had shown the necessity of constructing a logical structure complete enough to sustain the entire Mathematical building.
    [Show full text]
  • Product of Invariant Types Modulo Domination–Equivalence
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by White Rose Research Online Archive for Mathematical Logic https://doi.org/10.1007/s00153-019-00676-9 Mathematical Logic Product of invariant types modulo domination–equivalence Rosario Mennuni1 Received: 31 October 2018 / Accepted: 19 April 2019 © The Author(s) 2019 Abstract We investigate the interaction between the product of invariant types and domination– equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the resulting quotient when it is. Keywords Domination · Domination–equivalence · Equidominance · Product of invariant types Mathematics Subject Classification 03C45 To a sufficiently saturated model of a first-order theory one can associate a semigroup, that of global invariant types with the tensor product ⊗. This can be endowed with two equivalence relations, called domination–equivalence and equidominance.This paper studies the resulting quotients, starting from sufficient conditions for ⊗ to be well-defined on them. We show, correcting a remark in [3], that this need not be always the case. Let S(U) be the space of types in any finite number of variables over a model U of a first-order theory that is κ-saturated and κ-strongly homogeneous for some large κ. For any set A ⊆ U, one has a natural action on S(U) by the group Aut(U/A) of automorphisms of U that fix A pointwise. The space Sinv(U) of global invariant types consists of those elements of S(U) which, for some small A, are fixed points of the action Aut(U/A) S(U).
    [Show full text]
  • Stable Theories
    Sh:1 STABLE THEORIES BY S. SHELAH* ABSTRACT We study Kr(~,) = sup {I S(A)] : ]A[ < ~,) and extend some results for totally transcendental theroies to the case of stable theories. We then inves- tigate categoricity of elementary and pseudo-elementary classes. 0. Introduction In this article we shall generalize Morley's theorems in [2] to more general languages. In Section 1 we define our notations. In Theorems 2.1, 2.2. we in essence prove the following theorem: every first- order theory T of arbitrary infinite cardinality satisfies one of the possibilities: 1) for all Z, I A] -- z ~ I S(A)[ -<__z + 2 ITI, (where S(A) is the set of complete consistent types over a subset A of a model of T). 2) for all •, I AI--x I S(A I =<x ~T~, and there exists A such that I AI--z, IS(A) I _>- z "o. 3) for all Z there exists A, such that [A[ = Z, IS(A)] > IAI. Theories which satisfy 1 or 2 are called stable and are similar in some respects to totally transcendental theories. In the rest of Section 2 we define a generalization of Morley's rank of transcendence, and prove some theorems about it. Theorems whose proofs are similar to the proofs of the analogous theorems in Morley [2], are not proven here, and instead the number of the analogous theorem in Morley [2] is mentioned. In Section 3, theorems about the existence of sets of indiscernibles and prime models on sets are proved. * This paper is a part of the author's doctoral dissertation written at the Hebrew University of Jerusalem, under the kind guidance of Profeossr M.
    [Show full text]