Duality Theory in Logic
|
|
- Ross Potter
- 7 years ago
- Views:
Transcription
1 Duality Theory in Logic Sumit Sourabh ILLC, Universiteit van Amsterdam Cool Logic 14th December
2 Duality in General Duality underlines the world Most human things go in pairs (Alcmaeon, 450 BC) Existence of an entity in seemingly di erent forms, which are strongly related. Dualism forms a part of the philosophy of eastern religions. In Physics : Wave-particle duality, electro-magnetic duality, Quantum Physics,...
3 Duality in Mathematics Back and forth mappings between dual classes of mathematical objects. Lattices are self-dual objects Projective Geometry Vector Spaces In logic, dualities have been used for relating syntactic and semantic approaches.
4 Algebras and Spaces Logic fits very well in between.
5 Algebras Equational classes having a domain and operations. Eg. Groups, Lattices, Boolean Algebras, Heyting Algebras..., Homomorphism, Subalgebras, Direct Products, Variety,... Power Set Lattice (BDL) BA = (BDL + ) s.t.a _ a =1
6 (Topological) Spaces Topology is the study of spaces. A toplogy on a set X is a collection of subsets (open sets) of X, closed under arbitrary union and finite intersection. R Open Sets correspond to neighbourhoods of points in space. Metric topology, Product topology, Discrete topology... Continuous maps, Homeomorphisms, Connectedness, Compactness, Hausdor ness,... I dont consider this algebra, but this doesn t mean that algebraists cant do it. (Birkho )
7 A brief history of Propositional Logic Boole s The Laws of Thought (1854) introduced an algebraic system for propositional reasoning. Boolean algebras are algebraic models for Classical Propositional logic. Propositional logic formulas correspond to terms of a BA. George Boole ( ) `CPL ', = CPL ', = BA ' = >
8 Representation in Finite case Representation Theorems every element of the class of structures X is isomorphic to some element of the proper subclass Y of X Important and Useful (algebraic analogue of completeness) Cayley s theorem, Riesz s theorem,...
9 Representation in Finite case Representation Theorems every element of the class of structures X is isomorphic to some element of the proper subclass Y of X Important and Useful (algebraic analogue of completeness) Cayley s theorem, Riesz s theorem,... Representation for Finite case (Lindembaum-Tarski 1935) Easy!
10 Representation in Finite case Representation Theorems every element of the class of structures X is isomorphic to some element of the proper subclass Y of X Important and Useful (algebraic analogue of completeness) Cayley s theorem, Riesz s theorem,... Representation for Finite case (Lindembaum-Tarski 1935) Easy! Atoms q FBA i PowerSet Set Map every element of the algebra to the set of atoms below it f (b) ={a 2 At(B) a apple b} for all b 2 B FBA = P(Atoms)
11 Stone Duality A cardinal principle of modern mathematical research maybe be stated as a maxim: One must always topologize. '$ BA &% i '$ q Stone &% -Marshall H. Stone BA = Stone Op Stone s Representation Theorem (1936) M. H. Stone ( )
12 From Spaces to Algebras and back Stone spaces Compact, Hausdor, Totally disconnected eg. 2 A,Cantorset,Q \ [0, 1] Stone space to BA Lattice of clopen sets of a Stone space form a Boolean algebra
13 From Spaces to Algebras and back Stone spaces Compact, Hausdor, Totally disconnected eg. 2 A,Cantorset,Q \ [0, 1] Stone space to BA Lattice of clopen sets of a Stone space form a Boolean algebra BA to Stone space Key Ideas : (i) Boolean algebra can be seen a Boolean ring (Idempotent) (ii) Introducing a topology on the space of ultrafilters of the Boolean ring What is an ultrafilter?
14 From Spaces to Algebras and back A filter on a BA is a subset F of BA such that 1 2 F, 0 /2 F ; if u 2 F and v 2 F,thenu^v 2 F ; if u, v 2 B, u 2 F and u apple v, thenv 2 F. In short, its an upset, closed under meets. An ultrafilter U, is a filter such that either a 2 U or a 2 U. Example: LetP(X ) be a powerset algebra Then the subset " {x} = {A 2 P(X ) x 2 A} is an ultrafilter. Non-principal ultrafilters exist (Axiom of Choice)
15 From Spaces to Algebras and back A filter on a BA is a subset F of BA such that 1 2 F, 0 /2 F ; if u 2 F and v 2 F,thenu^v 2 F ; if u, v 2 B, u 2 F and u apple v, thenv 2 F. In short, its an upset, closed under meets. An ultrafilter U, is a filter such that either a 2 U or a 2 U. Example: LetP(X ) be a powerset algebra Then the subset " {x} = {A 2 P(X ) x 2 A} is an ultrafilter. Non-principal ultrafilters exist (Axiom of Choice) (i) Map an element of B to the set of ultrafilters containing it f (b) ={u 2 S(B) a 2 u} (ii) Topology on S(B), is generated by the following basis {u 2 S(B) b 2 u} where b 2 B
16 From Spaces to Algebras and back A filter on a BA is a subset F of BA such that 1 2 F, 0 /2 F ; if u 2 F and v 2 F,thenu^v 2 F ; if u, v 2 B, u 2 F and u apple v, thenv 2 F. In short, its an upset, closed under meets. An ultrafilter U, is a filter such that either a 2 U or a 2 U. Example: LetP(X ) be a powerset algebra Then the subset " {x} = {A 2 P(X ) x 2 A} is an ultrafilter. Non-principal ultrafilters exist (Axiom of Choice) (i) Map an element of B to the set of ultrafilters containing it f (b) ={u 2 S(B) a 2 u} (ii) Topology on S(B), is generated by the following basis {u 2 S(B) b 2 u} where b 2 B Morphisms and Opposite (contravariant) Duality
17 The Complete Duality Atoms q CBA Set i 6 PowerSet 6 (.) U UlF q BA Stone i Clop Canonical extensions Stone-Céch Compactification
18 Modal logic as we know it Kripke had been introduced to Beth by Haskell B. Curry, who wrote the following to Beth in 1957 I have recently been in communication with a young man in Omaha Nebraska, named Saul Kripke... This young man is a mere boy of 16 years; yet he has read and mastered my Notre Dame Lectures and writes me letters which would do credit to many a professional logician. I have suggested to him that he write you for preprints of your papers which I have already mentioned. These of course will be very di cult for him, but he appears to be a person of extraordinary brilliance, and I have no doubt something will come of it. Saul Kripke
19 Modal logic as we know it Kripke had been introduced to Beth by Haskell B. Curry, who wrote the following to Beth in 1957 I have recently been in communication with a young man in Omaha Nebraska, named Saul Kripke... This young man is a mere boy of 16 years; yet he has read and mastered my Notre Dame Lectures and writes me letters which would do credit to many a professional logician. I have suggested to him that he write you for preprints of your papers which I have already mentioned. These of course will be very di cult for him, but he appears to be a person of extraordinary brilliance, and I have no doubt something will come of it. Saul Kripke Saul Kripke, A Completeness Theorem in Modal Logic. J. Symb. Log. 24(1): 1-14 (1959)
20 Modal logic before the Kripke Era C.I. Lewis, Survey of Symbolic Logic, 1918 (Axiomatic system S1-S5) Syntactic era ( ) Algebraic semantics, JT Duality,... The Classical era ( ) Revolutionary Kripke semantics, Frame completeness,... Modern era (1972- present) Incompleteness results (FT 72, JvB 73), Universal algebras in ML, CS applications,... Modal Algebra (MA) = Boolean Algebra + Unary operator 1. (a _ b) = a _ b 2.? =? 3. (a! b)! ( a! b) (Monotonicity of )
21 Jóhsson-Tarski Duality UltFr q CBAO KR i 6 ComplexAlg 6 (.) U q UltF BAO MS i Clop Jóhnsson-Tarski Duality ( ) Bjarni Jóhnsson Alfred Tarski ( )
22 Modal Spaces and Kripke Frames Key Idea: We already know, ultrafilter frame of the BA forms a Stone space. For BAO, we add the following relation between ultrafilters Ruv i fa 2 u for all a 2 v Descriptive General Frames Unify relational and algebraic semantics DGF = KFr + admissible or clopen valuations Validity on DGF ) Validity on KFr Converse (Persistence) only true for Sahlqvist formulas
23 Algebraic Soundness and Completeness Theorem: Let set of modal formulas. Define V = {A 2 BAO 8'(' 2 ) A = ' = >)} Then for every, `K i V = = >.
24 Algebraic Soundness and Completeness Theorem: Let set of modal formulas. Define V = {A 2 BAO 8'(' 2 ) A = ' = >)} Then for every, `K i V = = >. Soundness: By induction on the depth of proof of.
25 Algebraic Soundness and Completeness Theorem: Let set of modal formulas. Define V = {A 2 BAO 8'(' 2 ) A = ' = >)} Then for every, `K i V = = >. Soundness: By induction on the depth of proof of. Completeness: Assume0 K.Toshow:9A 2 V and A = ( 6= >).The Lindenbaum-Tarski algebra is the canonical witness (Define 0 i `K ( $ 0 ).
26 Algebraic Soundness and Completeness Theorem: Let set of modal formulas. Define V = {A 2 BAO 8'(' 2 ) A = ' = >)} Then for every, `K i V = = >. Soundness: By induction on the depth of proof of. Completeness: Assume0 K.Toshow:9A 2 V and A = ( 6= >).The Lindenbaum-Tarski algebra is the canonical witness (Define 0 i `K ( $ 0 ). Canonical Models are Ultrafilter frames of Lindenbaum-Tarski algebra
27 Algebraic Soundness and Completeness Theorem: Let set of modal formulas. Define V = {A 2 BAO 8'(' 2 ) A = ' = >)} Then for every, `K i V = = >. Soundness: By induction on the depth of proof of. Completeness: Assume0 K.Toshow:9A 2 V and A = ( 6= >).The Lindenbaum-Tarski algebra is the canonical witness (Define 0 i `K ( $ 0 ). Canonical Models are Ultrafilter frames of Lindenbaum-Tarski algebra Disjoint Union $ Product Bounded Morphic image $ Subalgebras Generated subframe $ Homomorphic image
28 PrFr CHA Esakia Duality q IKr i 6 ComplexAlg 6 (.) U PrF q HA Esakia i Op Esakia Duality (1974) Leo Esakia ( ) Useful in characterizing Intermidiate logics.
29 List of Dual Structures in Logic Duality Algebra Space Logic Priestly Duality DL Priestly negation free CL Esakia Duality HA Esakia IPL Stone Dualtiy BA Stone CPL Jóhnsson-Tarski Duality MA MS ML...
30 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,...
31 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,...
32 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,... Which Elementary class of frames are Modally definable?
33 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,... Which Elementary class of frames are Modally definable? Goldblatt-Thomason Theorem [GT 74] (Duality + Birkho s Thm)
34 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,... Which Elementary class of frames are Modally definable? Goldblatt-Thomason Theorem [GT 74] (Duality + Birkho s Thm) Which Modally definable class of frames are elementary?
35 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,... Which Elementary class of frames are Modally definable? Goldblatt-Thomason Theorem [GT 74] (Duality + Birkho s Thm) Which Modally definable class of frames are elementary? Van Benthem s Theorem [JvB 76]
36 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,... Which Elementary class of frames are Modally definable? Goldblatt-Thomason Theorem [GT 74] (Duality + Birkho s Thm) Which Modally definable class of frames are elementary? Van Benthem s Theorem [JvB 76] Which modal formulas define elementary class of frames?
37 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,... Which Elementary class of frames are Modally definable? Goldblatt-Thomason Theorem [GT 74] (Duality + Birkho s Thm) Which Modally definable class of frames are elementary? Van Benthem s Theorem [JvB 76] Which modal formulas define elementary class of frames? T, 4, B etc define elementary class of frames
38 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,... Which Elementary class of frames are Modally definable? Goldblatt-Thomason Theorem [GT 74] (Duality + Birkho s Thm) Which Modally definable class of frames are elementary? Van Benthem s Theorem [JvB 76] Which modal formulas define elementary class of frames? T, 4, B etc define elementary class of frames Innocent looking McKinsey ( p! p) does not!
39 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,... Which Elementary class of frames are Modally definable? Goldblatt-Thomason Theorem [GT 74] (Duality + Birkho s Thm) Which Modally definable class of frames are elementary? Van Benthem s Theorem [JvB 76] Which modal formulas define elementary class of frames? T, 4, B etc define elementary class of frames Innocent looking McKinsey ( p! p) does not! It s an undecidable problem [Chagrova 89]
40 Frame Definability and Correspondence Elementary class of frames Reflexive, Transitive, Antisymmetric,... Modally def. class of frames p! p, p! p, ( p! p)! p,... Which Elementary class of frames are Modally definable? Goldblatt-Thomason Theorem [GT 74] (Duality + Birkho s Thm) Which Modally definable class of frames are elementary? Van Benthem s Theorem [JvB 76] Which modal formulas define elementary class of frames? T, 4, B etc define elementary class of frames Innocent looking McKinsey ( p! p) does not! It s an undecidable problem [Chagrova 89] Sahlqvist formulas provide su cient conditions
41 Correspondence Theory Johan s PhD thesis Modal Correspondence Theory in Correspondence Provides su cient syntactic conditions for first order frame correspondence eg. Sahlqvist formulas. Completeness Sahlqvist formulas are canonical and hence axiomatization by Sahlqvist axioms is complete.
42 Classical Correspondence '$ * Rel.St. I &% Modal logic i Correspondence q First order logic
43 Correspondence via Duality '$ ~ '$ q = Algebras &% i Spaces &% I Algebraic Logic Modal logic i Correspondence Model theory q First order logic
44 Correspondence via Duality Key Ideas (i) Use the properties of the algebra to drive the correspondence mechanism. (ii) Use the (order theoretic) properties of the operators to define sahlqvist formulas Eg. p! p iif p apple p i p apple ( ) 1 p ( as SRA) i 8i 8j i apple p &( ) 1 p apple m i 8i 8j ( ) 1 i apple j i 8x, x 2 R[x] SLR SRA/SLR SRA Sahlqvist formula Advantages (i) Counter-intuitive frame conditons can be easily obtained (eg. Löb s axiom) (ii) The approach generalizes to a wide variety of logics.
45 Point Free Topology Point free Topology Open sets are first class citizens Lattice theoretic (algebraic) approach to topology Sober spaces and Spatial locales Gelfand dualtiy locally KHaus and the C*-algebra of continuous complex-valued functions on X Understanding spaces by maps. Algebraic Topology? Peter T. Johnstonne Israel Gelfand ( )
46 Coalgebras Modal logics are Colagebraic [CKPSV 08] Kripke frames as transition systems. Coalgebraic Stone Duality Ult '$ ~ '$ q = MHom MA &% i Clop Stone &% Vietoris MA = Alg(Clop V Ult) = CoAlg(V) op
47 References Lattices and Order, B.DaveyandH.Priestly Modal Logic, [BRV]Ch.5 Stone Spaces, P. T. Johnstonne Mathematical Structures in Logic
48 The Beatles Within You Without You is a song written by George Harrison, released on The Beatles 1967 album, Sgt. Pepper s Lonely Hearts Club Band.
49 The Beatles... And the time will come when you see We re all one, and life flows on within you and without you
50 The Beatles... And the time will come when you see We re all one, and logic flows on within you and without you (summarizes duality theory quite well!)
Degrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets.
Degrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets. Logic is the study of reasoning. A language of propositions is fundamental to this study as well as true
More informationReceived: 30 August 2009 / Accepted: 12 October 2010 / Published online: 31 October 2010 Springer-Verlag 2010
Arch. Math. Logic (2011) 50:287 317 DOI 10.1007/s00153-010-0214-7 ORIGINAL ARTICLE Mathematical Logic Connected modal logics Guram Bezhanishvili David Gabelaia Received: 30 August 2009 / Accepted: 12 October
More informationLambda Calculus between Algebra and Topology. Antonino Salibra
Lambda Calculus between Algebra and Topology Antonino Salibra Thanks Special thanks to Laboratoire PPS (Univ. Paris Diderot) for supporting my research with financial support and very interesting collaborations
More informationFinite Projective demorgan Algebras. honoring Jorge Martínez
Finite Projective demorgan Algebras Simone Bova Vanderbilt University (Nashville TN, USA) joint work with Leonardo Cabrer March 11-13, 2011 Vanderbilt University (Nashville TN, USA) honoring Jorge Martínez
More informationNon-deterministic Semantics and the Undecidability of Boolean BI
1 Non-deterministic Semantics and the Undecidability of Boolean BI DOMINIQUE LARCHEY-WENDLING, LORIA CNRS, Nancy, France DIDIER GALMICHE, LORIA Université Henri Poincaré, Nancy, France We solve the open
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationSo let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers
More informationLecture 16 : Relations and Functions DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence
More informationDedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes)
Dedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes) by Jim Propp (UMass Lowell) March 14, 2010 1 / 29 Completeness Three common
More informationTree sums and maximal connected I-spaces
Tree sums and maximal connected I-spaces Adam Bartoš drekin@gmail.com Faculty of Mathematics and Physics Charles University in Prague Twelfth Symposium on General Topology Prague, July 2016 Maximal and
More informationCODING TRUE ARITHMETIC IN THE MEDVEDEV AND MUCHNIK DEGREES
CODING TRUE ARITHMETIC IN THE MEDVEDEV AND MUCHNIK DEGREES PAUL SHAFER Abstract. We prove that the first-order theory of the Medvedev degrees, the first-order theory of the Muchnik degrees, and the third-order
More informationISU Department of Mathematics. Graduate Examination Policies and Procedures
ISU Department of Mathematics Graduate Examination Policies and Procedures There are four primary criteria to be used in evaluating competence on written or oral exams. 1. Knowledge Has the student demonstrated
More informationResearch Note. Bi-intuitionistic Boolean Bunched Logic
UCL DEPARTMENT OF COMPUTER SCIENCE Research Note RN/14/06 Bi-intuitionistic Boolean Bunched Logic June, 2014 James Brotherston Dept. of Computer Science University College London Jules Villard Dept. of
More informationUndecidable First-Order Theories of Affine Geometries
Undecidable First-Order Theories of Affine Geometries Antti Kuusisto University of Tampere Joint work with Jeremy Meyers (Stanford University) and Jonni Virtema (University of Tampere) Tarski s Geometry
More informationLogic, Combinatorics and Topological Dynamics, II
Logic, Combinatorics and Topological Dynamics, II Alexander S. Kechris January 9, 2009 Part II. Generic symmetries Generic properties Let X be a topological space and P X a subset of X viewed as a property
More informationarxiv:1412.1721v4 [math.oa] 25 Mar 2015
ON DISCRETIZATION OF C*-ALGEBRAS arxiv:1412.1721v4 [math.oa] 25 Mar 215 CHRIS HEUNEN AND MANUEL L. REYES Abstract. The C*-algebra of bounded operators on the separable infinitedimensional Hilbert space
More informationNOTES ON CATEGORIES AND FUNCTORS
NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category
More informationGoal of the Talk Theorem The class of languages recognisable by T -coalgebra automata is closed under taking complements.
Complementation of Coalgebra Automata Christian Kissig (University of Leicester) joint work with Yde Venema (Universiteit van Amsterdam) 07 Sept 2009 / Universitá degli Studi di Udine / CALCO 2009 Goal
More informationLeft-Handed Completeness
Left-Handed Completeness Dexter Kozen Computer Science Department Cornell University RAMiCS, September 19, 2012 Joint work with Alexandra Silva Radboud University Nijmegen and CWI Amsterdam Result A new
More informationFour Unsolved Problems in Congruence Permutable Varieties
Four Unsolved Problems in Congruence Permutable Varieties Ross Willard University of Waterloo, Canada Nashville, June 2007 Ross Willard (Waterloo) Four Unsolved Problems Nashville, June 2007 1 / 27 Congruence
More informationA Propositional Dynamic Logic for CCS Programs
A Propositional Dynamic Logic for CCS Programs Mario R. F. Benevides and L. Menasché Schechter {mario,luis}@cos.ufrj.br Abstract This work presents a Propositional Dynamic Logic in which the programs are
More informationIdeal Class Group and Units
Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals
More informationSummary Last Lecture. Automated Reasoning. Outline of the Lecture. Definition sequent calculus. Theorem (Normalisation and Strong Normalisation)
Summary Summary Last Lecture sequent calculus Automated Reasoning Georg Moser Institute of Computer Science @ UIBK Winter 013 (Normalisation and Strong Normalisation) let Π be a proof in minimal logic
More informationImprecise probabilities, bets and functional analytic methods in Łukasiewicz logic.
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Martina Fedel joint work with K.Keimel,F.Montagna,W.Roth Martina Fedel (UNISI) 1 / 32 Goal The goal of this talk is to
More informationHow To Write Intuitionistic Logic
AN INTUITIONISTIC EPISTEMIC LOGIC FOR ASYNCHRONOUS COMMUNICATION by Yoichi Hirai A Master Thesis Submitted to the Graduate School of the University of Tokyo on February 10, 2010 in Partial Fulfillment
More information3. Prime and maximal ideals. 3.1. Definitions and Examples.
COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,
More informationCHAPTER 7 GENERAL PROOF SYSTEMS
CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes
More informationON THE DEGREE OF MAXIMALITY OF DEFINITIONALLY COMPLETE LOGICS
Bulletin of the Section of Logic Volume 15/2 (1986), pp. 72 79 reedition 2005 [original edition, pp. 72 84] Ryszard Ladniak ON THE DEGREE OF MAXIMALITY OF DEFINITIONALLY COMPLETE LOGICS The following definition
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationTHE PRODUCT SPAN OF A FINITE SUBSET OF A COMPLETELY BOUNDED ARTEX SPACE OVER A BI-MONOID
THE PRODUCT SPAN OF A FINITE SUBSET OF A COMPLETELY BOUNDED ARTEX SPACE OVER A BI-MONOID ABSTRACT The product of subsets of an Artex space over a bi-monoid is defined. Product Combination of elements of
More informationA Hennessy-Milner Property for Many-Valued Modal Logics
A Hennessy-Milner Property for Many-Valued Modal Logics Michel Marti 1 Institute of Computer Science and Applied Mathematics, University of Bern Neubrückstrasse 10, CH-3012 Bern, Switzerland mmarti@iam.unibe.ch
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationFinite dimensional topological vector spaces
Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the
More informationCHAPTER 1 BASIC TOPOLOGY
CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is
More informationINTRODUCTION TO TOPOLOGY
INTRODUCTION TO TOPOLOGY ALEX KÜRONYA In preparation January 24, 2010 Contents 1. Basic concepts 1 2. Constructing topologies 13 2.1. Subspace topology 13 2.2. Local properties 18 2.3. Product topology
More informationo-minimality and Uniformity in n 1 Graphs
o-minimality and Uniformity in n 1 Graphs Reid Dale July 10, 2013 Contents 1 Introduction 2 2 Languages and Structures 2 3 Definability and Tame Geometry 4 4 Applications to n 1 Graphs 6 5 Further Directions
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
More informationA domain of spacetime intervals in general relativity
A domain of spacetime intervals in general relativity Keye Martin Department of Mathematics Tulane University New Orleans, LA 70118 United States of America martin@math.tulane.edu Prakash Panangaden School
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationThe Ideal Class Group
Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned
More informationSemantics of UML class diagrams
1 Otto-von-Guericke Universität Magdeburg, Germany April 26, 2016 Sets Definition (Set) A set is a collection of objects. The basic relation is membership: x A (x is a member of A) The following operations
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationSoftware Modeling and Verification
Software Modeling and Verification Alessandro Aldini DiSBeF - Sezione STI University of Urbino Carlo Bo Italy 3-4 February 2015 Algorithmic verification Correctness problem Is the software/hardware system
More informationMinimal R 1, minimal regular and minimal presober topologies
Revista Notas de Matemática Vol.5(1), No. 275, 2009, pp.73-84 http://www.saber.ula.ve/notasdematematica/ Comisión de Publicaciones Departamento de Matemáticas Facultad de Ciencias Universidad de Los Andes
More informationSome Special Artex Spaces Over Bi-monoids
Some Special Artex Spaces Over Bi-monoids K.Muthukumaran (corresponding auther) Assistant Professor PG and Research Department Of Mathematics, Saraswathi Narayanan College, Perungudi Madurai-625022,Tamil
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationWhich Semantics for Neighbourhood Semantics?
Which Semantics for Neighbourhood Semantics? Carlos Areces INRIA Nancy, Grand Est, France Diego Figueira INRIA, LSV, ENS Cachan, France Abstract In this article we discuss two alternative proposals for
More informationLogic, Algebra and Truth Degrees 2008. Siena. A characterization of rst order rational Pavelka's logic
Logic, Algebra and Truth Degrees 2008 September 8-11, 2008 Siena A characterization of rst order rational Pavelka's logic Xavier Caicedo Universidad de los Andes, Bogota Under appropriate formulations,
More informationON DISCRETIZATION OF C*-ALGEBRAS
ON DISCRETIZATION OF C*-ALGEBRAS CHRIS HEUNEN AND MANUEL L. REYES Abstract. The C*-algebra of bounded operators on the separable Hilbert space cannot be mapped to a W*-algebra in such a way that each unital
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationSOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS
SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th
More informationNotes from February 11
Notes from February 11 Math 130 Course web site: www.courses.fas.harvard.edu/5811 Two lemmas Before proving the theorem which was stated at the end of class on February 8, we begin with two lemmas. The
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More informationEQUATIONAL LOGIC AND ABSTRACT ALGEBRA * ABSTRACT
EQUATIONAL LOGIC AND ABSTRACT ALGEBRA * Taje I. Ramsamujh Florida International University Mathematics Department ABSTRACT Equational logic is a formalization of the deductive methods encountered in studying
More informationTOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS
TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms
More informationUniversity of Ostrava. Reasoning in Description Logic with Semantic Tableau Binary Trees
University of Ostrava Institute for Research and Applications of Fuzzy Modeling Reasoning in Description Logic with Semantic Tableau Binary Trees Alena Lukasová Research report No. 63 2005 Submitted/to
More informationMetric Spaces Joseph Muscat 2003 (Last revised May 2009)
1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of
More informationThe History of Logic. Aristotle (384 322 BC) invented logic.
The History of Logic Aristotle (384 322 BC) invented logic. Predecessors: Fred Flintstone, geometry, sophists, pre-socratic philosophers, Socrates & Plato. Syllogistic logic, laws of non-contradiction
More informationSchema Mappings and Data Exchange
Schema Mappings and Data Exchange Phokion G. Kolaitis University of California, Santa Cruz & IBM Research-Almaden EASSLC 2012 Southwest University August 2012 1 Logic and Databases Extensive interaction
More informationx < y iff x < y, or x and y are incomparable and x χ(x,y) < y χ(x,y).
12. Large cardinals The study, or use, of large cardinals is one of the most active areas of research in set theory currently. There are many provably different kinds of large cardinals whose descriptions
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More informationParametric Domain-theoretic models of Linear Abadi & Plotkin Logic
Parametric Domain-theoretic models of Linear Abadi & Plotkin Logic Lars Birkedal Rasmus Ejlers Møgelberg Rasmus Lerchedahl Petersen IT University Technical Report Series TR-00-7 ISSN 600 600 February 00
More informationMathematics of Domains
Mathematics of Domains A Dissertation Presented to The Faculty of the Graduate School of Arts and Sciences Brandeis University Department of Computer Science Harry G. Mairson, Advisor In Partial Fulfillment
More informationP NP for the Reals with various Analytic Functions
P NP for the Reals with various Analytic Functions Mihai Prunescu Abstract We show that non-deterministic machines in the sense of [BSS] defined over wide classes of real analytic structures are more powerful
More informationE3: PROBABILITY AND STATISTICS lecture notes
E3: PROBABILITY AND STATISTICS lecture notes 2 Contents 1 PROBABILITY THEORY 7 1.1 Experiments and random events............................ 7 1.2 Certain event. Impossible event............................
More informationLights and Darks of the Star-Free Star
Lights and Darks of the Star-Free Star Edward Ochmański & Krystyna Stawikowska Nicolaus Copernicus University, Toruń, Poland Introduction: star may destroy recognizability In (finitely generated) trace
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 12 May 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014. Prerequisites
More informationMiodrag Cristian Iovanov
Miodrag Cristian Iovanov Address: 3333 W 2nd St. #55-215 Los Angeles, CA 90004, USA email: iovanov@usc.edu, yovanov@gmail.com; miovanov@buffalo.edu web: http://yovanov.net Current position Assistant Professor
More informationUNIVERSITY GRADUATE STUDIES PROGRAM SILLIMAN UNIVERSITY DUMAGUETE CITY. Master of Science in Mathematics
1 UNIVERSITY GRADUATE STUDIES PROGRAM SILLIMAN UNIVERSITY DUMAGUETE CITY Master of Science in Mathematics Introduction The Master of Science in Mathematics (MS Math) program is intended for students who
More informationO-MINIMALISM HANS SCHOUTENS
THE JOURNAL OF SYMBOLIC LOGIC Volume 00, Number 0, XXX 0000 O-MINIMALISM HANS SCHOUTENS Abstract. An ordered structure is called o-minimalistic if it has all the first-order features of an o-minimal structure.
More informationA new evaluation model for e-learning programs
A new evaluation model for e-learning programs Uranchimeg Tudevdagva 1, Wolfram Hardt 2 Abstract This paper deals with a measure theoretical model for evaluation of e-learning programs. Based on methods
More informationComputational Logic and Cognitive Science: An Overview
Computational Logic and Cognitive Science: An Overview Session 1: Logical Foundations Technical University of Dresden 25th of August, 2008 University of Osnabrück Who we are Helmar Gust Interests: Analogical
More informationLecture 17 : Equivalence and Order Relations DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion
More informationDiscrete Mathematics
Discrete Mathematics Chih-Wei Yi Dept. of Computer Science National Chiao Tung University March 16, 2009 2.1 Sets 2.1 Sets 2.1 Sets Basic Notations for Sets For sets, we ll use variables S, T, U,. We can
More informationInterpersonal Comparisons of Utility: An Algebraic Characterization of Projective Preorders and Some Welfare Consequences
DISCUSSION PAPER SERIES IZA DP No. 2594 Interpersonal Comparisons of Utility: An Algebraic Characterization of Projective Preorders and Some Welfare Consequences Juan Carlos Candeal Esteban Induráin José
More informationNotes on Algebraic Structures. Peter J. Cameron
Notes on Algebraic Structures Peter J. Cameron ii Preface These are the notes of the second-year course Algebraic Structures I at Queen Mary, University of London, as I taught it in the second semester
More informationBuridan and the Avicenna-Johnston semantics
1 2 Buridan and the Avicenna-Johnston semantics Wilfrid Hodges Medieval Philosophy Network Warburg Institute, 1 April 2016 wilfridhodges.co.uk/history24.pdf Avicenna, c. 980 1037 3 4 Fak r al-dīn Rāzī
More informationBi-approximation Semantics for Substructural Logic at Work
Bi-approximation Semantics for Substructural Logic at Work Tomoyuki Suzuki Department of Computer Science, University of Leicester Leicester, LE1 7RH, United Kingdom tomoyuki.suzuki@mcs.le.ac.uk Abstract
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,
More information4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:
4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationGENTLY KILLING S SPACES TODD EISWORTH, PETER NYIKOS, AND SAHARON SHELAH
GENTLY KILLING S SPACES TODD EISWORTH, PETER NYIKOS, AND SAHARON SHELAH Abstract. We produce a model of ZFC in which there are no locally compact first countable S spaces, and in which 2 ℵ 0 < 2 ℵ 1. A
More informationThe Banach-Tarski Paradox
University of Oslo MAT2 Project The Banach-Tarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the Banach-Tarski paradox states that for any ball in R, it is possible
More informationBiinterpretability up to double jump in the degrees
Biinterpretability up to double jump in the degrees below 0 0 Richard A. Shore Department of Mathematics Cornell University Ithaca NY 14853 July 29, 2013 Abstract We prove that, for every z 0 0 with z
More informationON SOME CLASSES OF GOOD QUOTIENT RELATIONS
Novi Sad J. Math. Vol. 32, No. 2, 2002, 131-140 131 ON SOME CLASSES OF GOOD QUOTIENT RELATIONS Ivica Bošnjak 1, Rozália Madarász 1 Abstract. The notion of a good quotient relation has been introduced as
More informationNATURAL FACTORS OF THE MEDVEDEV LATTICE CAPTURING IPC
NATURAL FACTORS OF THE MEDVEDEV LATTICE CAPTURING IPC RUTGER KUYPER Abstract. Skvortsova showed that there is a factor of the Medvedev lattice which captures intuitionistic propositional logic (IPC). However,
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationOn the representability of the bi-uniform matroid
On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large
More informationModels for Quantitative Distributed Systems and Multi-Valued Logics
Universität Leipzig Institut für Informatik Models for Quantitative Distributed Systems and Multi-Valued Logics Master Thesis Leipzig, September 2010 Author Supervisor B.Sc. Martin Huschenbett Master Student
More information9 More on differentiation
Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......
More informationMonitoring Metric First-order Temporal Properties
Monitoring Metric First-order Temporal Properties DAVID BASIN, FELIX KLAEDTKE, SAMUEL MÜLLER, and EUGEN ZĂLINESCU, ETH Zurich Runtime monitoring is a general approach to verifying system properties at
More informationOn an algorithm for classification of binary self-dual codes with minimum distance four
Thirteenth International Workshop on Algebraic and Combinatorial Coding Theory June 15-21, 2012, Pomorie, Bulgaria pp. 105 110 On an algorithm for classification of binary self-dual codes with minimum
More informationA CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT
Bol. Soc. Mat. Mexicana (3) Vol. 12, 2006 A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT F. MONTALVO, A. A. PULGARÍN AND B. REQUEJO Abstract. We present some internal conditions on a locally
More informationFIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3
FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges
More informationRemoving Partial Inconsistency in Valuation- Based Systems*
Removing Partial Inconsistency in Valuation- Based Systems* Luis M. de Campos and Serafín Moral Departamento de Ciencias de la Computación e I.A., Universidad de Granada, 18071 Granada, Spain This paper
More informationUNIVERSITY OF AMSTERDAM FACULTY OF SCIENCE. EDUCATION AND EXAMINATION REGULATIONS Academic Year 2012-2013 PART B THE MASTER S PROGRAMME IN LOGIC
UNIVERSITY OF AMSTERDAM FACULTY OF SCIENCE EDUCATION AND EXAMINATION REGULATIONS Academic Year 2012-2013 PART B THE MASTER S PROGRAMME IN LOGIC September 1 st 2012 Chapter 1 Article 1.1 Article 1.2 Chapter
More informationHow To Prove The Cellosauric Cardinal Compactness (For A Cardinal Cardinal Compact)
Cellular objects and Shelah s singular compactness theorem Logic Colloquium 2015 Helsinki Tibor Beke 1 Jiří Rosický 2 1 University of Massachusetts tibor beke@uml.edu 2 Masaryk University Brno rosicky@math.muni.cz
More information