Relational lattices via duality
|
|
- Hubert Booker
- 5 years ago
- Views:
Transcription
1 1/25 via duality Luigi Santocanale LIF, Axi-Marseille Université URL: TACL, Ischia, June 2015
2 2/25 Outline
3 3/25 Outline
4 4/25 Some works I m in debt to... Tadeusz Litak, Szabolcs Mikulás, and Jan Hidders.. In Peter Höfner and et al., editors, RAMiCS 2014, volume 8428 of LNCS, pages Springer, Marshall Spight and Vadim Tropashko. First steps in relational lattice. CoRR, abs/cs/ , Marshall Spight and Vadim Tropashko. lattice axioms. CoRR, abs/ , Vadim Tropashko. lattice foundation for algebraic logic. CoRR, abs/ , 2009.
5 5/25 Outline
6 Databases, tables, sqls... 6/25
7 6/25 Databases, tables, sqls...
8 6/25 Databases, tables, sqls...
9 7/25 Mixing up tables: the outer join Name Surname Item Luigi Santocanale 33 Alan Turing 21 Item Description 33 Book 33 Livre 21 Machine = Name Surname Item Description Luigi Santocanale 33 Book Luigi Santocanale 33 Livre Alan Turing 21 Machine
10 8/25 Mixing up tables: the inner union Name Surname Item Luigi Santocanale 33 Alan Turing 21 Name Surname Sport Diego Maradona Football Usain Bolt Athletics = Name Luigi Alan Diego Usain Surname Santocanale Turing Maradona Bolt
11 9/25 Saving the world with lattice theory and logic Proposition (Spight & Tropashko [3]) The set of tables, whose columns are indexed by a subset of A and values are from a set D, is a lattice, with external join as meet and inner union as join.
12 9/25 Saving the world with lattice theory and logic Proposition (Spight & Tropashko [3]) The set of tables, whose columns are indexed by a subset of A and values are from a set D, is a lattice, with external join as meet and inner union as join. Goals Study the equational theory of relational. Use knowledge of the equational theory to improve database queries.
13 9/25 Saving the world with lattice theory and logic Proposition (Spight & Tropashko [3]) The set of tables, whose columns are indexed by a subset of A and values are from a set D, is a lattice, with external join as meet and inner union as join. Goals Study the equational theory of relational. Use knowledge of the equational theory to improve database queries. Get a job with Oracle,... a house on the see in California,...
14 10/25 Outline
15 11/25 The lattice R(D, A) A a set of attributes, D a set of values. A member of R(D, A) is a pair (X, T ) with X A and T D X. We have (X 1, T 1 ) (X 2, T 2 ) iff X 2 X 1 and T 1 X2 T 2.
16 12/25 A bit of categories... R(D, A) is the category of elements of the functor P(A) op Set SL X D X P(D X ). The image of a pullback square satisfies the Beck-Chevalley property: P(D X 1 X 2 ) j i P(D X 1 ) i j i j P(D X 2 ) j i P(D X 3 )
17 13/25 A bit of algebra... We have an action j : P(A) Clops(P(D A )) giving rise to a semidirect product construction: R(D, A) P(A) j P(D A ) := {(X, j X (T )) X P(A), T D A }. This action satisfies the BC-Malcev-property: j X Y = j X j Y.
18 14/25 R(D, A) from a closure operator Define an ultrametric distance on D A with values in P(A): δ(f, g) = {x A f (x) g(x)}.
19 14/25 R(D, A) from a closure operator Define an ultrametric distance on D A with values in P(A): This distance is δ(f, g) = {x A f (x) g(x)}. 1 symmetric: δ(f, g) = δ(g, f ), 2 it has the Beck-Chevalley-Malcev property: if δ(f, g) A B, then there exists h such that δ(f, h) A and δ(h, g) B.
20 14/25 R(D, A) from a closure operator Define an ultrametric distance on D A with values in P(A): This distance is δ(f, g) = {x A f (x) g(x)}. 1 symmetric: δ(f, g) = δ(g, f ), 2 it has the Beck-Chevalley-Malcev property: if δ(f, g) A B, then there exists h such that δ(f, h) A and δ(h, g) B. A subset X of A + D A is closed if δ(f, g) {g} X implies f X. Proposition (Litak et al. [1]) R(D, A) is isomorphic to the lattice of closed subsets of A + D A.
21 15/25 OD-graph based duality Given a finite latttice L, its OD-graph is the structure (J(L),, ), with (J(L), ): ordered join-irreducible els., j C iff C J(L) and C is a minimal join-cover of j.
22 15/25 OD-graph based duality Given a finite latttice L, its OD-graph is the structure (J(L),, ), with (J(L), ): ordered join-irreducible els., j C iff C J(L) and C is a minimal join-cover of j. In particular: j X iff there exists C J(L) with j C and C X,
23 15/25 OD-graph based duality Given a finite latttice L, its OD-graph is the structure (J(L),, ), with (J(L), ): ordered join-irreducible els., j C iff C J(L) and C is a minimal join-cover of j. In particular: j X iff there exists C J(L) with j C and C X, where X Y iff x X y Y s.t. x y.
24 16/25 Use of duality semantics, game semantics,... validity of equations... counter-model construction... correspondence results... heuristics...
25 16/25 Use of duality semantics, game semantics,... validity of equations... counter-model construction... correspondence results... heuristics... The R(D, A) might not be finite, but they are more-than-perfect That is: they enjoy the useful properties of the finite ones.
26 17/25 Minimal join-covers in R(D, A) R(D, A) is an atomistic lattice: its atoms are of the form â, for a A (these are join-prime); ˆf, for f D A.
27 17/25 Minimal join-covers in R(D, A) R(D, A) is an atomistic lattice: its atoms are of the form â, for a A (these are join-prime); ˆf, for f D A. (Possiblly infinite) mimimal join-covers are those of the form ˆf a δ(f,g) â ĝ for each g D A.
28 17/25 Minimal join-covers in R(D, A) R(D, A) is an atomistic lattice: its atoms are of the form â, for a A (these are join-prime); ˆf, for f D A. (Possiblly infinite) mimimal join-covers are those of the form ˆf a δ(f,g) â ĝ for each g D A. Remarkable property: Each minimal join-cover has at most one non-join-prime element.
29 18/25 Outline
30 19/25 Known equations [1]: AxRL1 and AxRL2 AxRL1 is: x ((y (z x)) (z (y x))) (x y) (x z)
31 19/25 Known equations [1]: AxRL1 and AxRL2 AxRL1 is: x ((y (z x)) (z (y x))) (x y) (x z) For u {y, z}, set d o l ( u ) := (u 0 u 1 ) (u 0 u 2 ), d o ρ( u ) := u 0 (u 1 u 2 ).
32 19/25 Known equations [1]: AxRL1 and AxRL2 AxRL1 is: x ((y (z x)) (z (y x))) (x y) (x z) For u {y, z}, set d o l ( u ) := (u 0 u 1 ) (u 0 u 2 ), d o ρ( u ) := u 0 (u 1 u 2 ). AxRL2 is: x (d o l ( y ) do l ( z )) (x (d o ρ( y ) d o l ( z ))) (x (d o l ( y ) d o ρ( z )))
33 19/25 Known equations [1]: AxRL1 and AxRL2 AxRL1 is: x ((y (z x)) (z (y x))) (x y) (x z) For u {y, z}, set d o l ( u ) := (u 0 u 1 ) (u 0 u 2 ), d o ρ( u ) := u 0 (u 1 u 2 ). AxRL2 is: x (d o l ( y ) do l ( z )) (x (d o ρ( y ) d o l ( z ))) (x (d o l ( y ) d o ρ( z ))) Easy proofs that R(D, A) satifies therse equations using the dual structure.
34 20/25 New equations: UNJP Set d l ( u ) := u 0 (u 1 u 2 ), d ρ ( u ) := (u 0 u 1 ) (u 0 u 2 ).
35 20/25 New equations: UNJP Set d l ( u ) := u 0 (u 1 u 2 ), d ρ ( u ) := (u 0 u 1 ) (u 0 u 2 ). UNJP is: x (d l ( y ) d l ( z ) w) (x (d ρ ( y ) d l ( z ) w)) (x (d l ( y ) d ρ ( z ) w)).
36 20/25 New equations: UNJP Set d l ( u ) := u 0 (u 1 u 2 ), d ρ ( u ) := (u 0 u 1 ) (u 0 u 2 ). UNJP is: x (d l ( y ) d l ( z ) w) (x (d ρ ( y ) d l ( z ) w)) (x (d l ( y ) d ρ ( z ) w)). Theorem UNJP holds in a more-than-perfect lattice iff every minimal join-cover contains at most one non-join-prime element.
37 21/25 Remarks Proposition AXRL2 is derivable from UNJP, but not the converse. (Throw Mace4, Prover9, and Waldemeister in the trash... )
38 21/25 Remarks Proposition AXRL2 is derivable from UNJP, but not the converse. (Throw Mace4, Prover9, and Waldemeister in the trash... ) Proposition Can derive from UNJP (x (t l (y) s l (z) w)) (x (t ρ (y) s ρ (z) w)) = (x (t ρ (y) s l (z) w)) (x (t l (y) s ρ (z) w)) whenver t l (y) = t ρ (y) and s l (z) = s ρ (z) hold on distributive.
39 22/25 Other equations: symmetry and the BC property x (y z) (SymBC 1 ) (x (y (z (x y)))) (x (z (y (x z)))) x ((y z) (y x) (z x)) (x y) (x z) (Var-AxRL1) x ((x y) d l ( z )) (x ((x y) d ρ ( z ))) (x d l ( z )) (R-Mod)
40 22/25 Other equations: symmetry and the BC property x (y z) (SymBC 1 ) (x (y (z (x y)))) (x (z (y (x z)))) x ((y z) (y x) (z x)) (x y) (x z) (Var-AxRL1) x ((x y) d l ( z )) (x ((x y) d ρ ( z ))) (x d l ( z )) (R-Mod) Proposition UNJP, SymBC 1, Var-AxRL1, R-Mod AxRL1.
41 23/25 Theorem Assume UNJP. A more-than-perfect lattice satisfies SymBC 1, Var-AxRL1, R-Mod if and only if it is symmetric and satisfies the Beck-Chevalley property.
42 23/25 Theorem Assume UNJP. A more-than-perfect lattice satisfies SymBC 1, Var-AxRL1, R-Mod if and only if it is symmetric and satisfies the Beck-Chevalley property. A more-than-perfect lattice in the variety UNJP is symmetric iff...
43 23/25 Theorem Assume UNJP. A more-than-perfect lattice satisfies SymBC 1, Var-AxRL1, R-Mod if and only if it is symmetric and satisfies the Beck-Chevalley property. A more-than-perfect lattice in the variety UNJP is symmetric iff... A more-than-perfect lattice in the variety the Beck-Chevalley property iff...
44 24/25 Towards a completeness theorem? We can obtain similar from (generalized) ultrametric spaces with distance valued on P(A).
45 24/25 Towards a completeness theorem? We can obtain similar from (generalized) ultrametric spaces with distance valued on P(A). Open problem Is the above axiomatization complete, w.r.t. relational? constructed out of ultrametric spaces?
46 24/25 Towards a completeness theorem? We can obtain similar from (generalized) ultrametric spaces with distance valued on P(A). Open problem Is the above axiomatization complete, w.r.t. relational? constructed out of ultrametric spaces? Tentative answer. No, we miss the distance property: for each join-irreducible elements j, k there exists at most one minimal join-covering j C such that k C.
47 25/25 Thanks four your attention R(D, A)s, get me there!!!
Canonical extension of coherent categories
Canonical extension of coherent categories Dion Coumans Radboud University Nijmegen Topology, Algebra and Categories in Logic (TACL) Marseilles, July 2011 1 / 33 Outline 1 Canonical extension of distributive
More informationarxiv: v3 [cs.lo] 9 Mar 2017
EMBEDDABILITY INTO RELATIONAL LATTICES IS UNDECIDABLE arxiv:1607.02988v3 [cs.lo] 9 Mar 2017 LUIGI SANTOCANALE Abstract. The natural join and the inner union operations combine relations of a database.
More informationThe Equational Theory of the Natural Join and Inner Union is Decidable
The Equational Theory of the Natural Join and Inner Union is Decidable Luigi Santocanale (B) LIS, CNRS UMR 7020, Aix-Marseille Université, Marseille, France luigi.santocanale@lis-lab.fr Abstract. The natural
More informationRelational Lattices. Tadeusz Litak: Informatik 8, FAU. Szabolcs Mikulás: Birkbeck, University of London. Jan Hidders: TU Delft.
Relational Lattices Tadeusz Litak: Informatik 8, FAU Szabolcs Mikulás: Birkbeck, University of London Jan Hidders: TU Delft 29 Sept 2014 Contents We study an interpretation of lattice connectives proposed
More informationThe equational theory of the natural join and inner union is decidable
The equational theory of the natural join and inner union is decidable Luigi Santocanale To cite this version: Luigi Santocanale. The equational theory of the natural join and inner union is decidable.
More informationFirst Steps in Relational Lattice
First Steps in Relational Lattice MARSHALL SPIGHT Marshall.Spight@gmai1.com VADIM TROPASHKO Vadim.Tropashko@orcl.com Relational lattice reduces the set of si classic relational algebra operators to two
More informationA fresh perspective on canonical extensions for bounded lattices
A fresh perspective on canonical extensions for bounded lattices Mathematical Institute, University of Oxford Department of Mathematics, Matej Bel University Second International Conference on Order, Algebra
More informationFixed-point elimination in Heyting algebras 1
1/32 Fixed-point elimination in Heyting algebras 1 Silvio Ghilardi, Università di Milano Maria João Gouveia, Universidade de Lisboa Luigi Santocanale, Aix-Marseille Université TACL@Praha, June 2017 1 See
More informationRelational Lattices. Martensstraße 3, Erlangen, Germany
Relational Lattices Tadeusz Litak 1, Szabolcs Mikulás 2, and Jan Hidders 3 1 Informatik 8, Friedrich-Alexander-Universität Erlangen-Nürnberg Martensstraße 3, 91058 Erlangen, Germany tadeusz.litak@gmail.com
More informationA topological duality for posets
A topological duality for posets RAMON JANSANA Universitat de Barcelona join work with Luciano González TACL 2015 Ischia, June 26, 2015. R. Jansana 1 / 20 Introduction In 2014 M. A. Moshier and P. Jipsen
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More informationRelational Algebra as non-distributive Lattice
Relational Algebra as non-distributive Lattice VADIM TROPASHKO Vadim.Tropashko@orcl.com We reduce the set of classic relational algebra operators to two binary operations: natural join and generalized
More informationRelations on Hypergraphs
Relations on Hypergraphs John Stell School of Computing, University of Leeds RAMiCS 13 Cambridge, 17th September 2012 Relations on a Set Boolean algebra Converse R = R Complement R = R Composition & residuation
More informationLogic and Implication
Logic and Implication Carles Noguera (Joint work with Petr Cintula and Tomáš Lávička) Institute of Information Theory and Automation Czech Academy of Sciences Congreso Dr. Antonio Monteiro Carles Noguera
More informationNotes about Filters. Samuel Mimram. December 6, 2012
Notes about Filters Samuel Mimram December 6, 2012 1 Filters and ultrafilters Definition 1. A filter F on a poset (L, ) is a subset of L which is upwardclosed and downward-directed (= is a filter-base):
More informationOutline. We will now investigate the structure of this important set.
The Reals Outline As we have seen, the set of real numbers, R, has cardinality c. This doesn't tell us very much about the reals, since there are many sets with this cardinality and cardinality doesn't
More informationIdeal Databases. Vadim Tropashko INTRODUCTION
Ideal Databases Vadim Tropashko Vadim.Tropashko@or..cle.com vadimtro@gm..l.com From algebraic geometry perspective database relations are succinctly defined as Finite Varieties. After establishing basic
More informationTHE EQUATIONAL THEORIES OF REPRESENTABLE RESIDUATED SEMIGROUPS
TH QUATIONAL THORIS OF RPRSNTABL RSIDUATD SMIGROUPS SZABOLCS MIKULÁS Abstract. We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We
More informationThe Logic of Partitions
The Logic of Partitions Introduction to the Dual of "Propositional" Logic David Ellerman Philosophy U. of California/Riverside U. of Ljubljana, Sept. 8, 2015 David Ellerman Philosophy U. of California/Riverside
More informationQuasi-primal Cornish algebras
1 / 26 Quasi-primal Cornish algebras Brian A. Davey and Asha Gair La Trobe University Australia TACL, 24 June 2015 Ischia 2 / 26 Why quasi-primal algebras? Why Cornish algebras? Priestley duality for Cornish
More informationCategory theory and set theory: algebraic set theory as an example of their interaction
Category theory and set theory: algebraic set theory as an example of their interaction Brice Halimi May 30, 2014 My talk will be devoted to an example of positive interaction between (ZFC-style) set theory
More informationINSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. A trade-off between length and width in resolution. Neil Thapen
INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES A trade-off between length and width in resolution Neil Thapen Preprint No. 59-2015 PRAHA 2015 A trade-off between length and width in resolution
More informationLogic Synthesis and Verification
Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:
More informationOn Jankov-de Jongh formulas
On Jankov-de Jongh formulas Nick Bezhanishvili Institute for Logic, Language and Computation University of Amsterdam http://www.phil.uu.nl/~bezhanishvili The Heyting day dedicated to Dick de Jongh and
More informationPartial model checking via abstract interpretation
Partial model checking via abstract interpretation N. De Francesco, G. Lettieri, L. Martini, G. Vaglini Università di Pisa, Dipartimento di Ingegneria dell Informazione, sez. Informatica, Via Diotisalvi
More informationREVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms
REVIEW QUESTIONS Chapter 1: Foundations: Sets, Logic, and Algorithms 1. Why can t a Venn diagram be used to prove a statement about sets? 2. Suppose S is a set with n elements. Explain why the power set
More informationVarieties of Heyting algebras and superintuitionistic logics
Varieties of Heyting algebras and superintuitionistic logics Nick Bezhanishvili Institute for Logic, Language and Computation University of Amsterdam http://www.phil.uu.nl/~bezhanishvili email: N.Bezhanishvili@uva.nl
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationOverview of Topics. Finite Model Theory. Finite Model Theory. Connections to Database Theory. Qing Wang
Overview of Topics Finite Model Theory Part 1: Introduction 1 What is finite model theory? 2 Connections to some areas in CS Qing Wang qing.wang@anu.edu.au Database theory Complexity theory 3 Basic definitions
More informationThe Logic of Partitions with an application to Information Theory
1 The Logic of Partitions with an application to Information Theory David Ellerman University of California at Riverside and WWW.Ellerman.org 2 Outline of Talk Logic of partitions dual to ordinary logic
More informationDuality for first order logic
Duality for first order logic Dion Coumans Radboud University Nijmegen Aio-colloquium, June 2010 Outline 1 Introduction to logic and duality theory 2 Algebraic semantics for classical first order logic:
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationMuchnik and Medvedev Degrees of Π 0 1
Muchnik and Medvedev Degrees of Π 0 1 Subsets of 2ω Stephen G. Simpson Pennsylvania State University http://www.math.psu.edu/simpson/ simpson@math.psu.edu University of Lisbon July 19, 2001 1 Outline of
More informationIntroduction to Advanced Results
Introduction to Advanced Results Master Informatique Université Paris 5 René Descartes 2016 Master Info. Complexity Advanced Results 1/26 Outline Boolean Hierarchy Probabilistic Complexity Parameterized
More informationFROM COHERENT TO FINITENESS SPACES
FROM COHERENT TO FINITENESS SPACES PIERRE HYVERNAT Laboratoire de Mathématiques, Université de Savoie, 73376 Le Bourget-du-Lac Cedex, France. e-mail address: Pierre.Hyvernat@univ-savoie.fr Abstract. This
More informationLattice Theory Lecture 5. Completions
Lattice Theory Lecture 5 Completions John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Completions Definition A completion of a poset P
More informationPure Patterns and Ordinal Numbers
Pure Patterns and Ordinal Numbers Gunnar Wilken Okinawa Institute of Science and Technology Graduate University Japan Sets and Computations Institute of the Mathematical Sciences National University of
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 2. Theories and models Categorical approach to many-sorted
More informationAn introduction to Yoneda structures
An introduction to Yoneda structures Paul-André Melliès CNRS, Université Paris Denis Diderot Groupe de travail Catégories supérieures, polygraphes et homotopie Paris 21 May 2010 1 Bibliography Ross Street
More informationDuality in Logic. Duality in Logic. Lecture 2. Mai Gehrke. Université Paris 7 and CNRS. {ε} A ((ab) (ba) ) (ab) + (ba) +
Lecture 2 Mai Gehrke Université Paris 7 and CNRS A {ε} A ((ab) (ba) ) (ab) + (ba) + Further examples - revisited 1. Completeness of modal logic with respect to Kripke semantics was obtained via duality
More informationThe space of located subsets
The space of located subsets Tatsuji Kawai Universtà di Padova Second CORE meeting, 27 January 2017, LMU 1 / 26 The space of located subsets We are interested in a point-free topology on the located subsets
More informationA duality-theoretic approach to MTL-algebras
A duality-theoretic approach to MTL-algebras Sara Ugolini (Joint work with W. Fussner) BLAST 2018 - Denver, August 6th 2018 A commutative, integral residuated lattice, or CIRL, is a structure A = (A,,,,,
More informationIntroduction to Model Theory
Introduction to Model Theory Jouko Väänänen 1,2 1 Department of Mathematics and Statistics, University of Helsinki 2 Institute for Logic, Language and Computation, University of Amsterdam Beijing, June
More informationLIST OF CORRECTIONS LOCALLY PRESENTABLE AND ACCESSIBLE CATEGORIES
LIST OF CORRECTIONS LOCALLY PRESENTABLE AND ACCESSIBLE CATEGORIES J.Adámek J.Rosický Cambridge University Press 1994 Version: June 2013 The following is a list of corrections of all mistakes that have
More informationDenotational semantics of linear logic
Denotational semantics of linear logic Lionel Vaux I2M, Université d Aix-Marseille, France LL2016, Lyon school: 7 and 8 November 2016 L. Vaux (I2M) Denotational semantics of linear logic LL2016 1 / 31
More informationLattice Theory Lecture 4. Non-distributive lattices
Lattice Theory Lecture 4 Non-distributive lattices John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Introduction Here we mostly consider
More informationSPECTRAL-LIKE DUALITY FOR DISTRIBUTIVE HILBERT ALGEBRAS WITH INFIMUM
SPECTRAL-LIKE DUALITY FOR DISTRIBUTIVE HILBERT ALGEBRAS WITH INFIMUM SERGIO A. CELANI AND MARÍA ESTEBAN Abstract. Distributive Hilbert Algebras with infimum, or DH -algebras, are algebras with implication
More informationFibres. Temesghen Kahsai. Fibres in Concrete category. Generalized Fibres. Fibres. Temesghen Kahsai 14/02/ 2007
14/02/ 2007 Table of Contents ... and back to theory Example Let Σ = (S, TF) be a signature and Φ be a set of FOL formulae: 1. SPres is the of strict presentation with: objects: < Σ, Φ >, morphism σ :
More informationEffective Randomness and Continuous Measures
Effective Randomness and Continuous Measures Theodore A. Slaman (on joint work with Jan Reimann) C University of California, Berkeley Review Let NCR n be the set of X 2 2! such that there is no (representation
More informationSample algebra qualifying exam
Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)
More informationA Graph Theoretic Perspective on CPM(Rel)
A Graph Theoretic Perspective on CPM(Rel) Daniel Marsden Mixed states are of interest in quantum mechanics for modelling partial information. More recently categorical approaches to linguistics have also
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationAlgebra and local presentability: how algebraic are they? (A survey)
Algebra and local presentability: how algebraic are they? (A survey) Jiří Adámek 1 and Jiří Rosický 2, 1 Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague,
More informationRelational semantics for a fragment of linear logic
Relational semantics for a fragment of linear logic Dion Coumans March 4, 2011 Abstract Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic.
More informationA NEW CHARACTERIZATION OF COMPLETE HEYTING AND CO-HEYTING ALGEBRAS
Logical Methods in Computer Science Vol. 13(3:252017, pp. 1 11 www.lmcs-online.org Submitted Apr. 15, 2015 Published Sep. 14, 2017 A NEW CHARACTERIZATION OF COMPLETE HEYTING AND CO-HEYTING ALGEBRAS FRANCESCO
More informationRelational Lattice Foundation for Algebraic Logic
Relational Lattice Foundation for Algebraic Logic Vadim Tropashko Vadim.Tropashko@orcl.com Relational Lattice is a succinct mathematical model for Relational Algebra. It reduces the set of six classic
More informationPrime Algebraicity. April 27, 2009
Prime Algebraicity Glynn Winskel, University of Cambridge Computer Laboratory, England April 27, 2009 Abstract A prime algebraic lattice can be characterised as isomorphic to the downwards-closed subsets,
More informationNabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces Alessandra Palmigiano and Yde Venema Universiteit van Amsterdam, ILLC Plantage Muidergracht 24 1018 TV Amsterdam, Netherlands Abstract. This paper is a study into some properties
More informationThe Equational Theory of Kleene Lattices
The Equational Theory of Kleene Lattices Hajnal Andréka 1, Szabolcs Mikulás 2, István Németi 1 TACL 2011, 29/07/2011 1 Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences 2 Department of
More informationIntroduction. Foundations of Computing Science. Pallab Dasgupta Professor, Dept. of Computer Sc & Engg INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR
1 Introduction Foundations of Computing Science Pallab Dasgupta Professor, Dept. of Computer Sc & Engg 2 Comments on Alan Turing s Paper "On Computable Numbers, with an Application to the Entscheidungs
More informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationUNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS
Bulletin of the Section of Logic Volume 32:1/2 (2003), pp. 19 26 Wojciech Dzik UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS Abstract It is shown that all extensions of S5 modal logic, both
More informationA Class of Infinite Convex Geometries
A Class of Infinite Convex Geometries Kira Adaricheva Department of Mathematics School of Science and Technology Nazarbayev University Astana, Kazakhstan kira.adaricheva@nu.edu.kz J. B. Nation Department
More informationPropositional and Predicate Logic - VII
Propositional and Predicate Logic - VII Petr Gregor KTIML MFF UK WS 2015/2016 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - VII WS 2015/2016 1 / 11 Theory Validity in a theory A theory
More informationAlgebraic varieties. Chapter A ne varieties
Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point
More informationHalting and Equivalence of Program Schemes in Models of Arbitrary Theories
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories Dexter Kozen Cornell University, Ithaca, New York 14853-7501, USA, kozen@cs.cornell.edu, http://www.cs.cornell.edu/~kozen In Honor
More informationDatabases 2011 The Relational Algebra
Databases 2011 Christian S. Jensen Computer Science, Aarhus University What is an Algebra? An algebra consists of values operators rules Closure: operations yield values Examples integers with +,, sets
More informationA Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries
A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries Johannes Marti and Riccardo Pinosio Draft from April 5, 2018 Abstract In this paper we present a duality between nonmonotonic
More informationUnbounded quantifiers via 2-categorical logic
via Unbounded via A. University of Chicago March 18, 2010 via Why? For the same reasons we study 1-categorical. 1 It tells us things about 2-categories. Proofs about fibrations and stacks are simplified
More informationGiven a lattice L we will note the set of atoms of L by At (L), and with CoAt (L) the set of co-atoms of L.
ACTAS DEL VIII CONGRESO DR. ANTONIO A. R. MONTEIRO (2005), Páginas 25 32 SOME REMARKS ON OCKHAM CONGRUENCES LEONARDO CABRER AND SERGIO CELANI ABSTRACT. In this work we shall describe the lattice of congruences
More informationThe Strength of the Grätzer-Schmidt Theorem
The Strength of the Grätzer-Schmidt Theorem Katie Brodhead Mushfeq Khan Bjørn Kjos-Hanssen William A. Lampe Paul Kim Long V. Nguyen Richard A. Shore September 26, 2015 Abstract The Grätzer-Schmidt theorem
More informationPart IA Numbers and Sets
Part IA Numbers and Sets Theorems Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationNON-SYMMETRIC -AUTONOMOUS CATEGORIES
NON-SYMMETRIC -AUTONOMOUS CATEGORIES MICHAEL BARR 1. Introduction In [Barr, 1979] (hereafter known as SCAT) the theory of -autonomous categories is outlined. Basically such a category is a symmetric monoidal
More informationExact Crossed-Products : Counter-example Revisited
Exact Crossed-Products : Counter-example Revisited Ben Gurion University of the Negev Sde Boker, Israel Paul Baum (Penn State) 19 March, 2013 EXACT CROSSED-PRODUCTS : COUNTER-EXAMPLE REVISITED An expander
More informationLecture 2: Symbolic Model Checking With SAT
Lecture 2: Symbolic Model Checking With SAT Edmund M. Clarke, Jr. School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 (Joint work over several years with: A. Biere, A. Cimatti, Y.
More informationAN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION
AN ALGEBRAIC APPROACH TO GENERALIZED MEASURES OF INFORMATION Daniel Halpern-Leistner 6/20/08 Abstract. I propose an algebraic framework in which to study measures of information. One immediate consequence
More informationProbability Measures in Gödel Logic
Probability Measures in Gödel Logic Diego Valota Department of Computer Science University of Milan valota@di.unimi.it Joint work with Stefano Aguzzoli (UNIMI), Brunella Gerla and Matteo Bianchi (UNINSUBRIA)
More informationLinear Algebra problems
Linear Algebra problems 1. Show that the set F = ({1, 0}, +,.) is a field where + and. are defined as 1+1=0, 0+0=0, 0+1=1+0=1, 0.0=0.1=1.0=0, 1.1=1.. Let X be a non-empty set and F be any field. Let X
More informationOn the coinductive nature of centralizers
On the coinductive nature of centralizers Charles Grellois INRIA & University of Bologna Séminaire du LIFO Jan 16, 2017 Charles Grellois (INRIA & Bologna) On the coinductive nature of centralizers Jan
More informationInterpolation and Beth Definability over the Minimal Logic
Interpolation and Beth Definability over the Minimal Logic Larisa Maksimova 1 Sobolev Institute of Mathematics Siberian Branch of Russian Academy of Sciences Novosibirsk 630090, Russia Abstract Extensions
More informationSchema Refinement: Other Dependencies and Higher Normal Forms
Schema Refinement: Other Dependencies and Higher Normal Forms Spring 2018 School of Computer Science University of Waterloo Databases CS348 (University of Waterloo) Higher Normal Forms 1 / 14 Outline 1
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationMathematical Induction
Mathematical Induction MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Mathematical Induction Fall 2014 1 / 21 Outline 1 Mathematical Induction 2 Strong Mathematical
More informationUniversity of Oxford, Michaelis November 16, Categorical Semantics and Topos Theory Homotopy type theor
Categorical Semantics and Topos Theory Homotopy type theory Seminar University of Oxford, Michaelis 2011 November 16, 2011 References Johnstone, P.T.: Sketches of an Elephant. A Topos-Theory Compendium.
More informationExamples of Semi-Invariants of Quivers
Examples of Semi-Invariants of Quivers June, 00 K is an algebraically closed field. Types of Quivers Quivers with finitely many isomorphism classes of indecomposable representations are of finite representation
More informationarxiv:math/ v1 [math.gm] 21 Jan 2005
arxiv:math/0501341v1 [math.gm] 21 Jan 2005 SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, I. THE MAIN REPRESENTATION THEOREM MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P,
More informationGroupoidified Linear Algebra
Christopher D. Walker () Department of Mathematics University of California, Riverside November 22, 2008 There is a systematic process (first described by James Dolan) called Degroupoidification which
More informationFinite group schemes
Finite group schemes Johan M. Commelin October 27, 2014 Contents 1 References 1 2 Examples 2 2.1 Examples we have seen before.................... 2 2.2 Constant group schemes....................... 3 2.3
More informationDesign Theory Notes 1:
----------------------------------------------------------------------------------------------- Math 6023 Topics in Discrete Math: Design and Graph Theory Fall 2007 ------------------------------------------------------------------------------------------------
More informationLecture 1: Lattice(I)
Discrete Mathematics (II) Spring 207 Lecture : Lattice(I) Lecturer: Yi Li Lattice is a special algebra structure. It is also a part of theoretic foundation of model theory, which formalizes the semantics
More informationHidden Symmetry Subgroup Problems
1/27 Hidden Symmetry Subgroup Problems Miklos Santha CNRS, Université Paris Diderot, France and Centre for Quantum Technologies, NUS, Singapore joint work with Thomas Decker Gábor Ivanyos Pawel Wocjan
More informationA VIEW OF CANONICAL EXTENSION
A VIEW OF CANONICAL EXTENSION MAI GEHRKE AND JACOB VOSMAER Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological
More informationLECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II
LECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II IVAN LOSEV 1. Introduction 1.1. Recap. In the previous lecture we have considered the category C F := n 0 FS n -mod. We have equipped it with two
More informationThe prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce
The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada
More informationMeasures of relative complexity
Measures of relative complexity George Barmpalias Institute of Software Chinese Academy of Sciences and Visiting Fellow at the Isaac Newton Institute for the Mathematical Sciences Newton Institute, January
More informationCS151 Complexity Theory. Lecture 13 May 15, 2017
CS151 Complexity Theory Lecture 13 May 15, 2017 Relationship to other classes To compare to classes of decision problems, usually consider P #P which is a decision class easy: NP, conp P #P easy: P #P
More informationWeihrauch reducibility and recursion theory
Weihrauch reducibility and recursion theory Arno Pauly Université Libre de Bruxelles Computability Theory, Dagstuhl Seminar 2017 Outline Weihrauch degrees and their structure Classifying principles from
More informationBoolean Algebra CHAPTER 15
CHAPTER 15 Boolean Algebra 15.1 INTRODUCTION Both sets and propositions satisfy similar laws, which are listed in Tables 1-1 and 4-1 (in Chapters 1 and 4, respectively). These laws are used to define an
More informationModal and Intuitionistic Natural Dualities via the Concept of Structure Dualizability
via the Concept of Structure Dualizability Kyoto University, Japan http://researchmap.jp/ymaruyama TACL, Marseille, July 26-30, 2011 Outline 1 TND does not subsume JT, KKV, or Esakia dualities 2 New Notions:
More information1 FUNDAMENTALS OF LOGIC NO.10 HERBRAND THEOREM Tatsuya Hagino hagino@sfc.keio.ac.jp lecture URL https://vu5.sfc.keio.ac.jp/slide/ 2 So Far Propositional Logic Logical connectives (,,, ) Truth table Tautology
More information