Amphitheatre (ground floor) Room (floor I) Room (floor II) Emília Halušková: On limit closed classes of algebras
|
|
|
- Winfred Francis
- 5 years ago
- Views:
Transcription
1 PROGRAMME
2 Wednesday, 14 June 16:00 21:00 Registration (Reading Room, DMI Mathematics & Informatics building, ground floor) Thursday, 15 June Morning 7:45 8:30 Registration (Rectorate The central building of UNS, ground floor) 9:00 9:15 Opening ceremony 9:15 10:10 Amphitheatre (ground floor) Room (floor I) Room (floor II) SESSION A1 (Chair: K. Kearnes) Brian Davey: The homomorphism lattice induced by a finite algebra 10:10 10:45 Coffee break 10:45 11:10 11:15 11:40 Reinhard Pöschel: Reflection-closed varieties of multisorted algebras and minor identities I Erkko Lehtonen: Reflection-closed varieties of multisorted algebras and minor identities II SESSION B1 (Chair: N. Mudrinski) Emília Halušková: On limit closed classes of algebras Andrew Moorhead: Higher Delta and supernilpotence for congruence modular varieties SESSION C1 (Chair: M. V. Volkov) Karl Auinger: On the variety of strict pseudosemilattices Azeef Muhammed P.A.: Cross-connections and variants of the full transformation semigroup 11:45 12:10 Kalle Kaarli: Representation of integral quantales by tolerances Eran Crockett: Dualizable algebras of arbitrary nilpotence class António Malheiro: Identities in plactic and related monoids
3 Thursday, 15 June Afternoon 14:30 15:25 15:30 15:55 Amphitheatre (ground floor) Room (floor I) Room (floor II) SESSION A2 (Chair: M. Ploščica) Gábor Czédli: From weak congruence lattices to circles and an online game SESSION B2 (Chair: P. Marković) SESSION C2 (Chair: M. Kambites) Eszter K. Horváth: Lattice-valued functions Dejan Delić: Maltsev CSPs are definable in 2-sorted Datalog Alexander Jende: On the characterization of orthogroups by disjunctions of identities 16:00 16:25 Dušan Radičanin: Weak congruences on categories Jakub Bulín: Clonoids and Promise CSP Eugenia Kochubinska: Spectral properties of partial automorphisms of a regular rooted tree 16:25 17:00 Coffee break 17:00 17:25 17:30 17:55 18:00 18:25 SESSION A3 (Chair: G. Czédli) Anna Slivková: On partial matroids, geometric posets and semimodular posets Vanja Stepanović: Some properties of monotonous fuzzy set operator applied to fuzzy set equations and inequations Léonard Kwuida: Generalized attributes in concept lattices Alexandr Kazda: Solving edge CSP with even delta-matroid constraints Jakub Opršal: Infinite algebras with few subpowers Johannes Greiner: The complexity of free combinations of temporal CSPs Eugenia A. Bondar: R-cross-sections of the semigroup of order-preserving transformations of a finite chain Boris M. Vernikov: Cancellable elements of the lattice of semigroup varieties Rida-e Zenab: Restriction semigroups and λ-zappa-szép products 18:30 19:25 Miroslav Ploščica: Critical points for congruence lattices The official programme of the Special Session "Lattices and Ordered Structures" (dedicated to the retirement of Prof. Branimir Šešelja) is shaded in violet.
4 Friday, 16 June Morning Amphitheatre (ground floor) Room (floor I) Room (floor II) SESSION A4 (Chair: I. Dolinka) 9:00 9:55 Nik Ruškuc: Congruence lattices of diagram monoids 9:55 10:30 Coffee break 10:30 10:55 Victoria Gould: Coherency for monoids SESSION B3 (Chair: D. N. Zhuk) Stanislav Moiseev: The lattice of all clones definable by binary relations on a three-element set SESSION C3 (Chair: B. Davey) Claudia Mureşan: Transferring Davey's theorem on annihilators and m-completeness to modular congruence lattices 11:00 11:25 Mark Kambites: Random walks on semigroups Ádám Kunos: Clones of small posets Christopher Taylor: Algebras of incidence structures: representing regular double p-algebras 11:30 11:55 Mária B. Szendrei: On products of inverse semigroups Miroslav Olšák: The weakest nontrivial idempotent equations Gergő Gyenizse: Lattice representations with DCC posets
5 Friday, 16 June Afternoon 14:30 15:25 15:30 15:55 16:00 16:25 Amphitheatre (ground floor) Room (floor I) Room (floor II) SESSION A5 (Chair: N. Ruškuc) Mikhail V.Volkov: Local finiteness for Green's relations in semigroup varieties Melanija Mitrović: Constructive semigroups with apartness a new algebraic theory László Márki: Morita equivalence of semigroups revisited: Firm semigroups SESSION B4 (Chair: R. Pöschel) Denis I. Saveliev: On homotopies of universal algebras SESSION C4 (Chair: M. Maróti) Petar Marković: Decent Mal'cev conditions which hold in all locally finite congruence meetsemidistributive varieties I Samir Zahirović: Decent Mal'cev conditions which hold in all locally finite congruence meetsemidistributive varieties II 16:25 17:00 Coffee break 17:00 17:25 Valdis Laan: Fair semigroups Eugene Plotkin: Action of endomorphism semigroups on definable sets Paolo Agliano: A general algebraic motivation for loops 19:30... Conference dinner The official programme of the Special Session "Semigroups" (dedicated to the retirement of Prof. Siniša Crvenković) is shaded in turquoise.
6 Saturday, 17 June Morning Amphitheatre (ground floor) Room (floor I) Room (floor II) Room (ground floor) SESSION A6 (Chair: M. Pech) 9:00 9:55 Manuel Bodirsky: A dichotomy for first-order reducts of unary structures 9:55 10:30 Coffee break 10:30 10:55 Mike Behrisch: Centralizing monoids with majority witnesses on fourelement domains SESSION B5 (Chair: A. Tepavčević) SESSION C5 (Chair: V. Gould) SESSION D1 (Chair: M. Chiş) Thomas Vetterlein: Cut-continuous pomonoids Peter Fenner: The gossip monoid Codruţa Chiş: On a combinatorial problem on directed graphs 11:00 11:25 Edith Vargas-García: Reconstructing the topology on monoids and polymorphism clones of reducts of the rationals Milan Petrík: On the structure of finite commutative totally ordered monoids Dandan Yang: Free idempotent generated semigroups: subsemigroups, retracts and maximal subgroups Bojan Bašić: A problem on squares and its application to the square packing problem 11:30 11:55 Christian Pech: Reconstructing the topology of the elementary self-embedding monoids of countable saturated structures Helmut Länger: Non-associative MV-algebras Akihiro Yamamura: Rearrangement problem of twodimensional arrays by prefix reversals George Metcalfe: An algorithmic ordering condition for groups
7 Saturday, 17 June Afternoon 14:30 15:25 Amphitheatre (ground floor) Room (floor I) Room (floor II) Room (ground floor) SESSION A7 (Chair: M. Bodirsky) Dmitriy N. Zhuk: The proof of CSP dichotomy conjecture SESSION B6 (Chair: L. Márki) SESSION D2 (Chair: D. Stanovský ) 15:30 15:55 Erhard Aichinger: Mal'cev clones on finite sets 16:00 16:25 Dragan Mašulović: A Ramsey theorem for relational structures consisting of several partial orders Mihai Chiş: Finite group presentations, van Kampen diagrams and a combinatorial problem Insa Cremer: A representation theorem for reduced Rickart rings 16:25 17:00 Coffee break SESSION C6 (Chair: M. B. Szendrei) Miroslav Ćirić: A semigroup-theoretical approach to the study of generalized inverses Boris Šobot: Divisibility of ultrafilters Martin Broušek: Finite coverability property 17:00 17:25 Michael Kompatscher: Linearization of certain nontrivial equations in oligomorphic clones Miroslav Korbelář: Homomorphic images of subdirectly irreducible rings Marianne Johnson: Identities in upper triangular tropical matrix semigroups and the bicyclic monoid Guillermo Badia: On classes of algebras axiomatizable by a collection of anti-identities and disjunctive identities Nikolay Polyakov: The classification of symmetric conservative clones with a finite carrier and its applications in Computational Social Choice 17:30 17:55 Bertalan Bodor: Infinitely many reducts of homogeneous structures Sebastian Kreinecker: Generating integer polynomials using function composition Munazza Naz: The extensions of Green's relations on upper triangular tropical matrices 18:00 18:55 Andrei A. Bulatov: The complexity of the Constraint Satisfaction Problem 19:30... Round table devoted to the recently proposed algebraic solutions of the CSP dichotomy conjecture (Department of Mathematics and Informatics, Amphitheatre I) moderated by R.Willard The official programme of the Special Session "Clones and Relation Algebras" (dedicated to the 70th birthday of Prof. Reinhard Pöschel) is shaded in light green.
8 Sunday, 18 June Morning Amphitheatre (ground floor) Room (floor I) Room (floor II) Room (ground floor) SESSION A8 (Chair: E. Aichinger) 8:45 9:40 David Stanovský: Quandles and universal algebra 9:45 10:10 Libor Barto: Cores of oligomorphic clones revisited SESSION B7 (Chair: E. K. Horváth) Jelena Ignjatović: Systems of two-sided linear fuzzy relation equations and inequalities and their applications SESSION C7 (Chair: M. Johnson) SESSION D3 (Chair: P. Agliano) Itamar Stein: The global dimension of the algebra of the monoid of all partial functions on an n-set Aleksandar Krapež: Units in quasigroups 10:10 10:45 Coffee break 10:45 11:10 Zarathustra Brady: Spirals Nada Damljanović: Solving weakly linear inequalities for matrices over max-plus semiring and applications to automata theory Thomas Quinn-Gregson: א 0 -categorical semigroups Marco Bonatto: Taylor and Mal'tsev quandles 11:15 11:40 Peter Mayr: The complexity of quantified constraint satisfaction on monoids Tanya Plotkin: Syntax versus semantics in knowledge bases Ivana Đurđev: Sandwich semigroups in locally small categories Přemysl Jedlička: Subdirectly irreducible medial quandles 11:45 12:40 Ágnes Szendrei: Cube terms and the Subpower Membership Problem 12:40 12:50 Closing
PROGRAM. Novi Sad, Serbia, March 15-18, The 83 rd Workshop on General Algebra & the 27 th Conference of Young Algebraists
The 83 rd Workshop on General Algebra & the 27 th Conference of Young Algebraists 83. Arbeitstagung allgemeine Algebra & 27. Tagung junger Algebraiker Novi Sad, Serbia, March 15-18, 2012 PROGRAM Wednesday,
UNIVERSITY OF NOVI SAD FACULTY OF SCIENCES Department of Mathematics and Informatics AAA94 + NSAC The 94th Workshop on General Algebra
UNIVERSITY OF NOVI SAD FACULTY OF SCIENCES Department of Mathematics and Informatics AAA94 + NSAC 2017 The 94th Workshop on General Algebra in conjunction with the 5th Novi Sad Algebraic Conference ABSTRACTS
Sunday, August 16. Monday, August 17 - Morning. 14:00 21:00 Registration (Room 16) 8:30 9:30 Registration (Room 16)
Sunday, August 16 14:00 21:00 Registration (Room 16) Monday, August 17 - Morning 8:30 9:30 Registration (Room 16) 9:30 9:40 Opening ceremony SESSION 1 (Chair: P.Marković) 9:40 10:30 Ralph N. McKenzie:
UNIVERSITY OF NOVI SAD FACULTY OF SCIENCE Department of Mathematics and Informatics AAA90
UNIVERSITY OF NOVI SAD FACULTY OF SCIENCE Department of Mathematics and Informatics AAA90 The 90th Workshop on General Algebra 90. Arbeitstagung Allgemeine Algebra ABSTRACTS Novi Sad, Serbia, June 5-7,
Tutorial on the Constraint Satisfaction Problem
Tutorial on the Constraint Satisfaction Problem Miklós Maróti Vanderbilt University and University of Szeged Nový Smokovec, 2012. September 2 7. Miklós Maróti (Vanderbilt and Szeged) The Constraint Satisfaction
Topological clones. Michael Pinsker. Technische Universität Wien / Univerzita Karlova v Praze. Funded by Austrian Science Fund (FWF) grant P27600
Technische Universität Wien / Univerzita Karlova v Praze Funded by Austrian Science Fund (FWF) grant P27600 TACL 2015 Outline I: Algebras, function clones, abstract clones, Birkhoff s theorem II:, Topological
On Frankl conjecture. Coherence in predicate logic. Algebraic theory of fuzzy languages and automata
On Frankl conjecture Vladimir Božin University of Warwick, Coventry, United Kingdom bozin@maths.warwick.ac.uk Frankl conjecture states that for every finite family of sets closed under intersections there
Curriculum Vitae Keith A. Kearnes
Curriculum Vitae Keith A. Kearnes January 31, 2017 Contact Information: Department of Mathematics University of Colorado Boulder, CO 80309-0395 office phone: 303 492 5203 email: keith.kearnes@colorado.edu
UNIVERSITY OF NOVI SAD FACULTY OF SCIENCE Department of Mathematics and Informatics
UNIVERSITY OF NOVI SAD FACULTY OF SCIENCE Department of Mathematics and Informatics The 83rd Workshop on General Algebra & the 27th Conference of Young Algebraists ABSTRACTS Novi Sad, Serbia, March 15
Constraint satisfaction problems over infinite domains
Constraint satisfaction problems over infinite domains Michael Kompatscher, Trung Van Pham Theory and Logic Group TU Wien Research Seminar, 27/04/2016 Schaefer s theorem Let Φ be a set of propositional
{Symmetry, Logic, CSP}
{Symmetry, Logic, CSP} Libor Barto Charles University in Prague {Symmetry, Logic, Computation} Simons Institute, Berkeley, 9 Nov 2016 Message Topic: Constraint Satisfaction Problem (CSP) over a fixed finite
Algebraic Tractability Criteria for Infinite-Domain Constraint Satisfaction Problems
Algebraic Tractability Criteria for Infinite-Domain Constraint Satisfaction Problems Manuel Bodirsky Institut für Informatik Humboldt-Universität zu Berlin May 2007 CSPs over infinite domains (May 2007)
THE WONDERLAND OF REFLECTIONS
THE WONDERLAND OF REFLECTIONS LIBOR BARTO, JAKUB OPRŠAL, AND MICHAEL PINSKER Abstract. A fundamental fact for the algebraic theory of constraint satisfaction problems (CSPs) over a fixed template is that
Tutorial on Universal Algebra, Mal cev Conditions, and Finite Relational Structures: Lecture I
Tutorial on Universal Algebra, Mal cev Conditions, and Finite Relational Structures: Lecture I Ross Willard University of Waterloo, Canada BLAST 2010 Boulder, June 2010 Ross Willard (Waterloo) Universal
Pseudo-finite monoids and semigroups
University of York NBSAN, 07-08 January 2018 Based on joint work with Victoria Gould and Dandan Yang Contents Definitions: what does it mean for a monoid to be pseudo-finite, or pseudo-generated by a finite
AAA71 - PROGRAM. Thursday, February 9, Registration Room C 17:30-18:30 Opening and Laudatio in memoriam Kazimierz Głazek 18:30-19:30 DINNER
AAA71 - PROGRAM Thursday, February 9, 2006 Registration 17:30-18:30 Opening and Laudatio in memoriam Kazimierz Głazek 18:30-19:30 DINNER Chair: P. Idziak Jiří Tuma (with Jiří Vabek) 19:30-21:00 On Rejewski's
Solving weakly linear inequalities for matrices over max-plus semiring and applications to automata theory
Solving weakly linear inequalities for matrices over max-plus semiring and applications to automata theory Nada Damljanović University of Kragujevac, Faculty of Technical Sciences in Čačak, Serbia nada.damljanovic@ftn.kg.ac.rs
TOPOLOGY IS IRRELEVANT (IN THE INFINITE DOMAIN DICHOTOMY CONJECTURE FOR CONSTRAINT SATISFACTION PROBLEMS)
TOPOLOGY IS IRRELEVANT (IN THE INFINITE DOMAIN DICHOTOMY CONJECTURE FOR CONSTRAINT SATISFACTION PROBLEMS) LIBOR BARTO AND MICHAEL PINSKER Abstract. We prove that an ω-categorical core structure primitively
FINITELY RELATED CLONES AND ALGEBRAS WITH CUBE-TERMS
FINITELY RELATED CLONES AND ALGEBRAS WITH CUBE-TERMS PETAR MARKOVIĆ, MIKLÓS MARÓTI, AND RALPH MCKENZIE Abstract. E. Aichinger, R. McKenzie, P. Mayr [1] have proved that every finite algebra with a cube-term
AND. William DeMeo. joint work with. Cliff Bergman Jiali Li. Iowa State University BLAST 2015
THE ALGEBRAIC APPROACH TO CSP AND CSPS OF COMMUTATIVE IDEMPOTENT BINARS William DeMeo williamdemeo@gmail.com joint work with Cliff Bergman Jiali Li Iowa State University BLAST 2015 University of North
Finer complexity of Constraint Satisfaction Problems with Maltsev Templates
Finer complexity of Constraint Satisfaction Problems with Maltsev Templates Dejan Delic Department of Mathematics Ryerson University Toronto, Canada joint work with A. Habte (Ryerson University) May 24,
Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
Identities in upper triangular tropical matrix semigroups and the bicyclic monoid Marianne Johnson (Joint work with Laure Daviaud and Mark Kambites) York Semigroup Seminar, May 2017 Semigroup identities
Clonoids and Promise CSP
Clonoids and Promise CSP Jakub Buĺın JKU Linz AAA94 & NSAC 2017 Research supported by University of Colorado Boulder and the Austrian Science Fund (FWF): P29931 In this talk... A more general framework
Toward Quandle Dichotomy
Robert McGrail, Mona Merling, Mary Sharac, Japheth Wood Laboratory for Algebraic and Symbolic Computation Reem-Kayden Center for Science and Computation Bard College Annandale-on-Hudson, NY 12504 April
IDEMPOTENT n-permutable VARIETIES
IDEMPOTENT n-permutable VARIETIES M. VALERIOTE AND R. WILLARD Abstract. One of the important classes of varieties identified in tame congruence theory is the class of varieties which are n-permutable for
Constraint satisfaction problems and dualities
Andrei Krokhin - CSPs and dualities 1 Constraint satisfaction problems and dualities Andrei Krokhin University of Durham Andrei Krokhin - CSPs and dualities 2 The CSP The Constraint Satisfaction (or Homomorphism)
Endomorphism Monoids of Graphs and Partial Orders
Endomorphism Monoids of Graphs and Partial Orders Nik Ruskuc nik@mcs.st-and.ac.uk School of Mathematics and Statistics, University of St Andrews Leeds, 3rd August 2007 S.J. Pride: S.J. Pride: Semigroups
Collaborative Research: Algebra and Algorithms, Structure and Complexity Theory. National Science Foundation Grant No. DMS
Collaborative Research: Algebra and Algorithms, Structure and Complexity Theory National Science Foundation Grant No. DMS-1500174 B. Project Summary OVERVIEW This project will be a collaboration among
Promise constraint satisfaction
Promise constraint satisfaction Jakub Opršal (TU Dresden) Joint work with Jakub Bulín, Andrei Krokhin, and others Krkonoše, Sep 4, 2018 This project has received funding from the European Research Council
Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
Identities in upper triangular tropical matrix semigroups and the bicyclic monoid Marianne Johnson (University of Manchester) Joint work with Laure Daviaud and Mark Kambites AAA94 + NSAC 2017, 17th June
Homogeneity and ℵ 0 -categoricity of semigroups
Homogeneity and ℵ 0 -categoricity of semigroups Thomas Quinn-Gregson PhD University of York Mathematics August 2017 Abstract In this thesis we study problems in the theory of semigroups which arise from
Flexible satisfaction
Flexible satisfaction LCC 2016, Aix-Marseille Université Marcel Jackson A problem and overview A problem in semigroup theory The semigroup B 1 2 ( ) ( ) 1 0 1 0, 0 1 0 0, ( ) 0 1, 0 0 ( ) 0 0, 1 0 ( )
Graphs, Polymorphisms, and Multi-Sorted Structures
Graphs, Polymorphisms, and Multi-Sorted Structures Ross Willard University of Waterloo NSAC 2013 University of Novi Sad June 6, 2013 Ross Willard (Waterloo) Graphs, Polymorphisms, Multi-Sorted Struc NSAC
14w5136 Algebraic and Model Theoretical Methods in Constraint Satisfaction
14w5136 Algebraic and Model Theoretical Methods in Constraint Satisfaction Manuel Bodirsky (Dresden Technical University) Andrei Bulatov (Simon Fraser University) Dugald MacPherson (University of Leeds)
an np-complete example for the subpower membership problem
an np-complete example for the subpower membership problem Graduate Algebra Seminar, CU Boulder Jeff Shriner December 5, 2017 the problem the problem Fix a finite algebra A with fintely many operations
Subdirectly irreducible commutative idempotent semirings
Subdirectly irreducible commutative idempotent semirings Ivan Chajda Helmut Länger Palacký University Olomouc, Olomouc, Czech Republic, email: ivan.chajda@upol.cz Vienna University of Technology, Vienna,
TESTING FOR A SEMILATTICE TERM
TESTING FOR A SEMILATTICE TERM RALPH FREESE, J.B. NATION, AND MATT VALERIOTE Abstract. This paper investigates the computational complexity of deciding if a given finite algebra is an expansion of a semilattice.
Series Editor KENNETH H. ROSEN INDUCTION THEORY AND APPLICATIONS. of Manitoba. University. Winnipeg, Canada. CRC Press. Taylor StFrancis Group
DISCIIETE MATHEMATICS AND ITS APPLICATIONS Series Editor KENNETH H. ROSEN HANDBOOK OF MATHEMATICAL INDUCTION THEORY AND APPLICATIONS David S. Gunderson University of Manitoba Winnipeg, Canada CRC Press
Schaefer s theorem for graphs
Schaefer s theorem for graphs Manuel Bodirsky Laboratoire d Informatique (LIX), CNRS UMR 7161 École Polytechnique 91128 Palaiseau, France bodirsky@lix.polytechnique.fr Michael Pinsker Équipe de Logique
Subdirectly Irreducible Modes
Subdirectly Irreducible Modes Keith A. Kearnes Abstract We prove that subdirectly irreducible modes come in three very different types. From the description of the three types we derive the results that
Tropical matrix algebra
Tropical matrix algebra Marianne Johnson 1 & Mark Kambites 2 NBSAN, University of York, 25th November 2009 1 University of Manchester. Supported by CICADA (EPSRC grant EP/E050441/1). 2 University of Manchester.
The variety of commutative additively and multiplicatively idempotent semirings
Semigroup Forum (2018) 96:409 415 https://doi.org/10.1007/s00233-017-9905-2 RESEARCH ARTICLE The variety of commutative additively and multiplicatively idempotent semirings Ivan Chajda 1 Helmut Länger
FINITELY RELATED ALGEBRAS IN CONGRUENCE DISTRIBUTIVE VARIETIES HAVE NEAR UNANIMITY TERMS
FINITELY RELATED ALGEBRAS IN CONGRUENCE DISTRIBUTIVE VARIETIES HAVE NEAR UNANIMITY TERMS LIBOR BARTO Abstract. We show that every finite, finitely related algebra in a congruence distributive variety has
Bounded width problems and algebras
Algebra univers. 56 (2007) 439 466 0002-5240/07/030439 28, published online February 21, 2007 DOI 10.1007/s00012-007-2012-6 c Birkhäuser Verlag, Basel, 2007 Algebra Universalis Bounded width problems and
An extension of Willard s Finite Basis Theorem: Congruence meet-semidistributive varieties of finite critical depth
An extension of Willard s Finite Basis Theorem: Congruence meet-semidistributive varieties of finite critical depth Kirby A. Baker, George F. McNulty, and Ju Wang In Celebration of the Sixtieth Birthday
Schaefer s theorem for graphs
Schaefer s theorem for graphs Manuel Bodirsky Laboratoire d Informatique (LIX), CNRS UMR 7161 École Polytechnique 91128 Palaiseau, France bodirsky@lix.polytechnique.fr Michael Pinsker Équipe de Logique
On Polynomials in Mal cev Algebras
University of Novi Sad Faculty of Sciences Department of Mathematics and Informatics Nebojša Mudrinski On Polynomials in Mal cev Algebras Doctoral dissertation Novi Sad, 2009 Contents Foreword 3 Chapter
MTL-algebras via rotations of basic hoops
MTL-algebras via rotations of basic hoops Sara Ugolini University of Denver, Department of Mathematics (Ongoing joint work with P. Aglianò) 4th SYSMICS Workshop - September 16th 2018 A commutative, integral
arxiv: v5 [cs.cc] 17 May 2015
![arxiv: v5 [cs.cc] 17 May 2015](/thumbs/80/81591651.jpg "arxiv: v5 [cs.cc] 17 May 2015")
SCHAEFER S THEOREM FOR GRAPHS MANUEL BODIRSKY AND MICHAEL PINSKER arxiv:1011.2894v5 [cs.cc] 17 May 2015 Abstract. Schaefer s theorem is a complexity classification result for so-called Boolean constraint
A FINER REDUCTION OF CONSTRAINT PROBLEMS TO DIGRAPHS
Logical Methods in Computer Science Vol. 11(4:18)2015, pp. 1 33 www.lmcs-online.org Submitted Jun. 24, 2014 Published Dec. 29, 2015 A FINER REDUCTION OF CONSTRAINT PROBLEMS TO DIGRAPHS JAKUB BULÍN a, DEJAN
FINITE IRREFLEXIVE HOMOMORPHISM-HOMOGENEOUS BINARY RELATIONAL SYSTEMS 1
Novi Sad J. Math. Vol. 40, No. 3, 2010, 83 87 Proc. 3rd Novi Sad Algebraic Conf. (eds. I. Dolinka, P. Marković) FINITE IRREFLEXIVE HOMOMORPHISM-HOMOGENEOUS BINARY RELATIONAL SYSTEMS 1 Dragan Mašulović
Notation Index. gcd(a, b) (greatest common divisor) NT-16
Notation Index (for all) B A (all functions) B A = B A (all functions) SF-18 (n) k (falling factorial) SF-9 a R b (binary relation) C(n,k) = n! k! (n k)! (binomial coefficient) SF-9 n! (n factorial) SF-9
A DICHOTOMY FOR FIRST-ORDER REDUCTS OF UNARY STRUCTURES
Logical Methods in Computer Science Vol. 14(2:13)2018, pp. 1 31 https://lmcs.episciences.org/ Submitted Apr. 12, 2017 Published May 22, 2018 A DICHOTOMY FOR FIRST-ORDER REDUCTS OF UNARY STRUCTURES MANUEL
NOTES ON CONGRUENCE n-permutability AND SEMIDISTRIBUTIVITY
NOTES ON CONGRUENCE n-permutability AND SEMIDISTRIBUTIVITY RALPH FREESE Abstract. In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ, of a set of equations Σ and show, for idempotent Σ,
TROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
Higher Commutator Theory for Congruence Modular Varieties
University of Colorado, Boulder CU Scholar Mathematics Graduate Theses & Dissertations Mathematics Spring 1-1-2016 Higher Commutator Theory for Congruence Modular Varieties Andrew Paul Moorhead University
Constraints in Universal Algebra
Constraints in Universal Algebra Ross Willard University of Waterloo, CAN SSAOS 2014 September 7, 2014 Lecture 1 R. Willard (Waterloo) Constraints in Universal Algebra SSAOS 2014 1 / 23 Outline Lecture
Symbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
Primitivity. Peter J. Cameron. Combinatorics, Algebra and More 8 July 2013
Primitivity Peter J. Cameron Combinatorics, Algebra and More 8 July 2013 Before I begin, I d like to say sincere thanks to I my colleagues and students at Queen Mary, past and present, who have made this
The Lattice of All Clones Definable by Binary Relations on a Three-Element Set
1 The Lattice of All Clones Definable by Binary Relations on a Three-Element Set Stanislav V. Moiseev The 94th Workshop on General Algebra (AAA94) Novi Sad, Serbia, June 15
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS
THE MAXIMAL SUBGROUPS AND THE COMPLEXITY OF THE FLOW SEMIGROUP OF FINITE (DI)GRAPHS GÁBOR HORVÁTH, CHRYSTOPHER L. NEHANIV, AND KÁROLY PODOSKI Dedicated to John Rhodes on the occasion of his 80th birthday.
Algebras with finite descriptions
Algebras with finite descriptions André Nies The University of Auckland July 19, 2005 Part 1: FA-presentability A countable structure in a finite signature is finite-automaton presentable (or automatic)
List of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści
![Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści](/thumbs/89/97813041.jpg "Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop Spis treści")
Exploring the infinite : an introduction to proof and analysis / Jennifer Brooks. Boca Raton [etc.], cop. 2017 Spis treści Preface xiii I Fundamentals of Abstract Mathematics 1 1 Basic Notions 3 1.1 A
Semilattice Modes II: the amalgamation property
Semilattice Modes II: the amalgamation property Keith A. Kearnes Abstract Let V be a variety of semilattice modes with associated semiring R. We prove that if R is a bounded distributive lattice, then
A four element semigroup that is inherently nonfinitely based?
A four element semigroup that is inherently nonfinitely based? Peter R. Jones Marquette University NBSAN Workshop, York, November 21, 2012 Finite basis properties A (finite) algebra A is finitely based
DECIDABILITY OF DEFINABILITY
DECIDABILITY OF DEFINABILITY MANUEL BODIRSKY, MICHAEL PINSKER, AND TODOR TSANKOV Abstract. For a fixed countably infinite structure Γ with finite relational signature τ, we study the following computational
RESIDUAL SMALLNESS AND WEAK CENTRALITY
RESIDUAL SMALLNESS AND WEAK CENTRALITY KEITH A. KEARNES AND EMIL W. KISS Abstract. We develop a method of creating skew congruences on subpowers of finite algebras using groups of twin polynomials, and
Conjugacy in epigroups
October 2018 Conjugacy in epigroups António Malheiro (CMA/FCT/NOVA University of Lisbon) @ the York semigroup (joint work with João Araújo, Michael Kinyon, Janusz Konieczny) Acknowledgement: This work
Commutative, idempotent groupoids and the constraint satisfaction problem
Graduate Theses and Dissertations Iowa State University Capstones, Theses and Dissertations 2013 Commutative, idempotent groupoids and the constraint satisfaction problem David Michael Failing Iowa State
On the structure of acts over semigroups
On the structure of acts over semigroups A.V. (Moscow) A.V. Moscow State University, National Research University MIET 1/ 16 Happy Birthday to Ulrich Knauer! A.V. Moscow State University, National Research
Algebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
International Mathematical Union
International Mathematical Union To: From: IMU Adhering Organizations Major Mathematical Societies and Institutions Martin Grötschel, IMU Secretary October 24, 2007 IMU AO Circular Letter 7/2007 ICM 2010:
Self-distributive quasigroups and quandles
Self-distributive quasigroups and quandles David Stanovský Charles University, Prague, Czech Republic Kazakh-British Technical University, Almaty, Kazakhstan stanovsk@karlin.mff.cuni.cz June 2015 David
ON ENDOMORPHISM MONOIDS OF PARTIAL ORDERS AND CENTRAL RELATIONS 1
Novi Sad J. Math. Vol. 38, No. 1, 2008, 111-125 ON ENDOMORPHISM MONOIDS OF PRTIL ORDERS ND CENTRL RELTIONS 1 Dragan Mašulović 2 bstract. In this paper we characterize pairs of Rosenberg s (ρ, σ) with the
Workshop for Young Researchers in Mathematics
Faculty of Mathematics and Computer Science, Ovidius University Constanta, Simion Stoilow Institute of Mathematics of the Romanian Academy, Bucharest, University of Wisconsin-Madison, USA Workshop for
ABSTRACT ALGEBRA WITH APPLICATIONS
ABSTRACT ALGEBRA WITH APPLICATIONS IN TWO VOLUMES VOLUME I VECTOR SPACES AND GROUPS KARLHEINZ SPINDLER Darmstadt, Germany Marcel Dekker, Inc. New York Basel Hong Kong Contents f Volume I Preface v VECTOR
Fibonacci-18 Conference Schedule
Fibonacci-18 Conference Schedule Monday, July 2 8:15 Registration opens 8:45 Opening Remarks 9:00 9:25 Christian Ballot: Variations on Catalan Lucasnomials 9:30 9:55 Heiko Harborth: A Conjecture for Pascal
MV-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
CHARACTERIZATIONS OF SEVERAL MALTSEV CONDITIONS
CHARACTERIZATIONS OF SEVERAL MALTSEV CONDITIONS M. KOZIK, A. KROKHIN, M. VALERIOTE, AND R. WILLARD Abstract. Tame congruence theory identifies six Maltsev conditions associated with locally finite varieties
Endomorphism monoids of ω-categorical structures
Endomorphism monoids of ω-categorical structures Michael Kompatscher michaelkompatscher@hotmail.com Institute of Computer Languages Technische Universität Wien TACL - 24/06/2015 ω-categorical structures
Applications 23 Bernhard Ganter Baris Sertkaya Peter Mayr Geoff Ostrin Jens Zumbrägel... 25
Contents Plenary Lectures 1 Laura Ciobanu............................... 1 David M. Clark............................... 1 H. Peter Gumm............................... 2 Michael Pinsker...............................
A SUBALGEBRA INTERSECTION PROPERTY FOR CONGRUENCE DISTRIBUTIVE VARIETIES
A SUBALGEBRA INTERSECTION PROPERTY FOR CONGRUENCE DISTRIBUTIVE VARIETIES MATTHEW A. VALERIOTE Abstract. We prove that if a finite algebra A generates a congruence distributive variety then the subalgebras
Universal algebra for CSP Lecture 2
Universal algebra for CSP Lecture 2 Ross Willard University of Waterloo Fields Institute Summer School June 26 30, 2011 Toronto, Canada R. Willard (Waterloo) Universal algebra Fields Institute 2011 1 /
The lattice of varieties generated by residuated lattices of size up to 5
The lattice of varieties generated by residuated lattices of size up to 5 Peter Jipsen Chapman University Dedicated to Hiroakira Ono on the occasion of his 7th birthday Introduction Residuated lattices
LATTICE THEORY.
LATTICE THEORY http://dx.doi.org/10.1090/pspum/002 PROCEEDINGS OF THE SECOND SYMPOSIUM IN PURE MATHEMATICS OF THE AMERICAN MATHEMATICAL SOCIETY Held at the U.S. Naval Postgraduate School Monterey, California
Quandles and universal algebra
Quandles and universal algebra Quandles and knots, and groups, and universal algebra David Stanovský Charles University, Prague, Czech Republic Novi Sad, June 2017 David Stanovský (Prague) Quandles, knots,
THE COMPLEXITY OF THE EXTENDIBILITY PROBLEM FOR FINITE POSETS
SIAM J. DISCRETE MATH. Vol. 17, No. 1, pp. 114 121 c 2003 Society for Industrial and Applied Mathematics THE COMPLEXITY OF THE EXTENDIBILITY PROBLEM FOR FINITE POSETS BENOIT LAROSE AND LÁSZLÓ ZÁDORI Abstract.
INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. Katětov functors. Wiesław Kubiś Dragan Mašulović
INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES Katětov functors Wiesław Kubiś Dragan Mašulović Preprint No. 2-2016 PRAHA 2016 Katětov functors Wies law Kubiś Dragan Mašulović Jan Kochanowski University
CSPs and Connectedness: P/NP-Complete Dichotomy for Idempotent, Right Quasigroups
CSPs and Connectedness: P/NP-Complete Dichotomy for Idempotent, Right Quasigroups Robert W McGrail, James Belk, Solomon Garber, and Japheth Wood Reem Kayden Center for Science and Computation Bard College
Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative
Adequate and Ehresmann semigroups
Adequate and Ehresmann semigroups NSAC2013: June 8th, 2013, Novi Sad Victoria Gould University of York What is this talk about? Classes of semigroups with semilattices of idempotents inverse ample adequate
REVIEW 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
Monoids of languages, monoids of reflexive. relations and ordered monoids. Ganna Kudryavtseva. June 22, 2010
June 22, 2010 J -trivial A monoid S is called J -trivial if the Green s relation J on it is the trivial relation, that is aj b implies a = b for any a, b S, or, equivalently all J -classes of S are one-element.
Sets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
CONGRUENCES OF STRONGLY MORITA EQUIVALENT POSEMIGROUPS. 1. Introduction
CONGRUENCES OF STRONGLY MORITA EQUIVALENT POSEMIGROUPS T. TÄRGLA and V. LAAN Abstract. We prove that congruence lattices of strongly Morita equivalent posemigroups with common joint weak local units are
MA Discrete Mathematics
MA2265 - Discrete Mathematics UNIT I 1. Check the validity of the following argument. If the band could not play rock music or the refreshments were not delivered on time, then the New year s party would
SEMIGROUPS AND APPLICATIONS
. SEMIGROUPS AND APPLICATIONS 2012-08-29 2012-09-02 Department of Mathematics Uppsala University List of Participants: 1. Seidon Alsaody, Uppsala University, Sweden 2. Karl Auinger, Universität Wien, Austria
Irreducible representations of the plactic monoid of rank four
Lukasz Kubat (joint work with Ferran Cedó and Jan Okniński) Institute of Mathematics University of Warsaw Groups, Rings and the Yang Baxter equation Spa, June 23, 2017 Plan of the talk 1 Background Plactic
Some model theory of the free group
Some model theory of the free group Université Lyon 1 July 4, 2017 1 2 3 s - Algebra A group F is free, if it has the universal property (over a subset S F) for the class of groups. Universal property: