Categoricity and multidimensional diagrams

We study multidimensional diagrams in independent amalgamation in the framework of abstract elementary classes (AECs). We use them to prove the eventual categoricity conjecture for AECs, assuming a large cardinal axiom. More precisely, we show assuming the existence of a proper class of strongly compact cardinals that an AEC which has a single model of some high-enough cardinality will have a single model in any high-enough cardinal. Assuming a weak version of the generalized continuum hypothesis, we also establish the eventual categoricity conjecture for AECs with amalgamation.Comment: 63 page

Geometric Permutations of Non-Overlapping Unit Balls Revisited

Given four congruent balls $A, B, C, D$ in $R^{d}$ that have disjoint interior and admit a line that intersects them in the order $ABCD$, we show that the distance between the centers of consecutive balls is smaller than the distance between the centers of $A$ and $D$. This allows us to give a new short proof that $n$ interior-disjoint congruent balls admit at most three geometric permutations, two if $n\ge 7$. We also make a conjecture that would imply that $n\geq 4$ such balls admit at most two geometric permutations, and show that if the conjecture is false, then there is a counter-example of a highly degenerate nature

Large sets of extended directed triple systems with even orders

AbstractFor three types of triples: unordered, cyclic and transitive, the corresponding extended triple, extended triple system and their large sets are introduced. The existence of LESTS(υ) and LEMTS(υ) were completely solved. In this paper, we shall discuss the existence problem of LEDTS(υ) and give the following conclusion: there exists an LEDTS(υ) for any even υ except υ=4. The existence of LEDTS(υ) with odd order υ will be discussed in another paper, we are working at it

Halmazelmélet; Partíció kalkulus, Végtelen gráfok elmélete = Set Theory; Partition Calculus , Theory of Infinite Graphs

Előzetes tervünknek megfelelően a halmazelmélet alábbi területein végeztünk kutatást és értünk el számos eredményt: I. Kombinatorika II. A valósak számsosságinvariánsai és ideálelmélet III. Halmazelméleti topológia Ezek mellett Sági Gábor kiterjedt kutatást végzett a modellelmélet területén , amely eredmények kapcsolódnak a kombinatorikához is. Eredményeinket 38 közleményben publikáltuk, amelyek majdnem mind az adott terület vezető nemzetközi lapjaiban jelentel meg (5 cikket csak benyújtottunk). Számos nemzetközi konferencián is résztvettünk, és hárman közűlünk (Juhász, Sádi, Soukup) plenáris/meghívott előadók voltak számos alkalommal. | Following our research plan, we have mainly done research -- and established a number of significant results -- in several areas of set theory: I. Combinatorics II. Cardinal invariants of the continuum and ideal theory III. Set-theoretic topology In addition to these, G. Sági has done extended research in model theory that had ramifications to combinatorics. We presented our results in 38 publications, almost all of which appeared or will appear in the leading international journals of these fields (5 of these papers have been submitted but not accepted as yet). We also participated at a number of international conferences, three of us (Juhász, Sági, Soukup) as plenary and/or invited speakers at many of these

Canonical varieties with no canonical axiomatisation

Accepted versio

RDF-TR: Exploiting structural redundancies to boost RDF compression

The number and volume of semantic data have grown impressively over the last decade, promoting compression as an essential tool for RDF preservation, sharing and management. In contrast to universal compressors, RDF compression techniques are able to detect and exploit specific forms of redundancy in RDF data. Thus, state-of-the-art RDF compressors excel at exploiting syntactic and semantic redundancies, i.e., repetitions in the serialization format and information that can be inferred implicitly. However, little attention has been paid to the existence of structural patterns within the RDF dataset; i.e. structural redundancy. In this paper, we analyze structural regularities in real-world datasets, and show three schema-based sources of redundancies that underpin the schema-relaxed nature of RDF. Then, we propose RDF-Tr (RDF Triples Reorganizer), a preprocessing technique that discovers and removes this kind of redundancy before the RDF dataset is effectively compressed. In particular, RDF-Tr groups subjects that are described by the same predicates, and locally re-codes the objects related to these predicates. Finally, we integrate RDF-Tr with two RDF compressors, HDT and k2-triples. Our experiments show that using RDF-Tr with these compressors improves by up to 2.3 times their original effectiveness, outperforming the most prominent state-of-the-art techniques

Introduction to Categories and Categorical Logic

The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain numerous exercises, and hopefully will prove useful for self-study by those seeking a first introduction to the subject, with fairly minimal prerequisites. The coverage is by no means comprehensive, but should provide a good basis for further study; a guide to further reading is included. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions. An Appendix contains a summary of what we will need, and it may be useful to review this first. In addition, some prior exposure to abstract algebra - vector spaces and linear maps, or groups and group homomorphisms - would be helpful.Comment: 96 page

Computations by fly-automata beyond monadic second-order logic

We present logically based methods for constructing XP and FPT graph algorithms, parametrized by tree-width or clique-width. We will use fly-automata introduced in a previous article. They make possible to check properties that are not monadic second-order expressible because their states may include counters, so that their sets of states may be infinite. We equip these automata with output functions, so that they can compute values associated with terms or graphs. Rather than new algorithmic results we present tools for constructing easily certain dynamic programming algorithms by combining predefined automata for basic functions and properties.Comment: Accepted for publication in Theoretical Computer Scienc