Abstracts

Tarek Sayed Ahmed Tarskian Algebraic Logic
Jesse Alama Kuhn's challenge to the thesis that relativity theory is a generalization of Newtonian mechanics
Johan van Benthem Universal Algebra and Model Theory: the DNA of Modal Logic
Dmitry Bredikhin On the varieties generated by reducts of Tarski's algebras of relations
Aubert Daigneault Irving Segal’s axiomatization of spacetime and its cosmological consequences (Invited lecture)
Gyula Dávid Modern cosmology - astronomical, physical and logical approaches
Natasha Dobrinen k-stationary subsets of P_k⁺ l
John Earman Unsolved problems in spacetime philosophy (Invited lecture)
Márton Elekes Covering locally compact groups by less than 2^w many translates of a compact nullset
Gábor Etesi Stability versus non-Turing computability
Matthew Foreman The club guessing ideal
Sy-David Friedman Internal Consistency and the Inner Model Hypothesis
Angel Garrido Logics in Artificial Intelligence
Moti Gitik Power Function on Stationary Sets and Classes
Victor Harnik Semantics of multitopic sets
Alex Hellsten Generalised Mahlo operations
Csaba Henk A complexity class between NP union coNP and PSpace
Robin Hirsch Einstein: Logic, Philosophy, Politics.
James Hirschorn Splitting families of Baire functions
Ian Hodkinson Canonicity and representable relation algebras
Ramón Horváth An Alexandrov-Zeeman type theorem
William Russell Hudson The Axiom \mho and the derived r-functions.
Aleksander Ivanov Group actions on trees and definability
Thomas Jech Weak distributivity, continuous submeasures, and a problem of von Neumann
István Juhász On Discrete Subspaces of Compacta
Peter Koepke Consistency strength results about mutual stationarity
Marcus Kracht Logics for Syntactic Structures
John Krueger Disjoint club sequences
Kenneth Kunen Spaces with Strange Connectivity Properties
Jean A. Larson A Partition theorem for a large Rado graph
Judit X. Madarász The effects of gravitation on clocks, proved in axiomatic relativity
Barbara Majcher-Iwanow G_d-companions of orbits of Polish group actions
Michael Makkai Foundations through categories, old and new: an informal account
Gian Arturo Marco Definability Problems for definable Group-action-spaces
Tamás Matolcsi The role of synchronization in spacetime theories
Liesbeth De Mol Closing the circle: Emil Post's approach to undecidability
Donald Monk Cardinal functions on Boolean algebras
Justin Tatch Moore The L space problem
István Németi Logical foundation for spacetime
Victor Pambuccian Theorems of Alexandrov-Zeeman type as definability statements and the axiomatics of hyperbolic geometry
Bertalan Pécsi Bridges in Categorial Logic
Luis Pereira Applications of the Topological Representation of the PCF-structure
Assaf Rinot Consistency strength of the Milner/Sauer conjecture.
Leopoldo Román On quantifiers and quantifiers for orthomodular lattices, Heyting algebras and quantales.
Norbert Sauer Partitions of homogeneous structures
David Schrittesser A Lightface indescribable cardinals and a forcing axiom
M. Gloria Schwarze Labelling for the Cardinal Equivalence Relation
Masahiro Shioya Stationary reflection in P_kl revisited
Lajos Soukup Cardinal Sequences of length < w₂ under GCH
Teodor J. Stepien Proof of weak consistency of Peano's arithmetic system
Marek A. Suchenek Complete Non-monotonic Autoepistemic Logic
Gergely Székely Twin Paradox from first order logic point of view
Lionel Nguyen Van The Big Ramsey Degrees and Divisibility in Classes of Ultrametric Spaces
Gyorgy Turan Efficient theory revision
Aldo Ursini Logic, Algebra, Interaction
Sándor Vályi Axiomatizability questions of predicate spatio-temporal theories
Jip Veldman Mutual Stationarity and Generalised Prikry Forcing
Boban Velickovic Bounded proper forcing axiom and well orderings of reals
Antoine van de Ven Deriving relativity without using the principle of relativity
Thomas Vetterlein A semantics for propositional fuzzy logics based on the notion of similarity
Vojkan Vuksanovic A canonical partition theorem for a large dense linear order
Philip Welch Determinacy of games of perfect information in Strong Cardinal Models
Christian Wüthrich Let's build a time machine
Teruyuki Yorioka Products of forcing notions related to gaps