Program for Monday, August 14th: Talk View

PROGRAM FOR MONDAY, AUGUST 14TH: TALK VIEW

Days:

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

20:30

21:00

09:00-09:15 Opening

09:15-10:15

Assertion and request

Per Martin-Löf

10:45-11:45

Stone duality and applications in computer science (1/3)

Mai Gehrke

11:45-12:45

Generic absoluteness for Chang models

David Aspero

14:00-14:30

Irrationality Exponents and Effective Hausdorff Dimension

Veronica Becher, Jan Reimann, Theodore Slaman

14:30-15:00

Characterizing the continuous degrees

Mariya Soskova

15:00-15:30

On the first-order strength of Ramsey's theorem in reverse mathematics

Keita Yokoyama

14:00-14:30

A herbrandized functional interpretation of classical first-order logic

Fernando Ferreira

14:30-15:00

Strong Normalization for Simply Typed Lambda Calculus

Annika Kanckos

15:00-15:30

The extended predicative Mahlo Universe in Explicit Mathematics - model construction

Anton Setzer

14:00-14:30

The hereditarily ordinal definable sets in inner models with finitely many Woodin cardinals

Sandra Uhlenbrock

14:30-15:00

Transversal of full outer measure

Ashutosh Kumar

15:00-15:30

Infinite utility streams and irregular sets

Giorgio Laguzzi

16:00-16:20

Propositional sequent systems of two valued classical logic and many valued logics are no

Anahit Chubaryan, Hakob Nalbandyan, Arman Karabakhtyan, Garik Petrosyan

16:20-16:40

Computable bi-embeddable categoricity of equivalence relations

Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Luca San Mauro

16:40-17:00

Tomographs for Substructural Display Logic

Michael Arndt

17:00-17:20

(Dynamic) epistemic interpretation for erotetic search scenarios

Michal Pelis, Pawel Lupkowski, Ondrej Majer, Mariusz Urbanski

17:20-17:40

A Decision Procedure Model for Finding the Missing Premise in Automated Reasoning

Oğuz Akçelik, Aziz Fevzi Zambak

16:00-16:20

On algebras of distributions for binary formulas of quite o-minimal theories with non-maximum many countable

Dmitry Emelyanov, Beibut Kulpeshov, Sergey Sudoplatov

16:20-16:40

On preserving properties under expanding models of quite o-minimal theories

Sayan Baizhanov, Beibut Kulpeshov

16:40-17:00

Easy and hard homogenizable structures

Ove Ahlman

17:00-17:20

Universal theories and compactly expandable models

Enrique Casanovas, Saharon Shelah

17:20-17:40

On distributions for countable models of quite o-minimal theories with non-maximum many countable

Beibut Kulpeshov, Sergey Sudoplatov

17:40-18:00

Some VC-combinatorial aspects of definable set systems

Alireza Mofidi

16:00-16:20

The full basis theorem does not imply analytic wellordering

Vladimir Kanovei

16:20-16:40

Caristi's fixed point theorem and strong systems of arithmetic

David Fernández-Duque, Paul Shafer, Henry Towsner, Keita Yokoyama

16:40-17:00

Nonstandard methods and construction of models of arithmetics

Jana Glivická

17:00-17:20

Constructing and classifying stability-preserving substructures

Felix Q. Weitkämper

17:20-17:40

Reflection principles, bounded induction and axiomatic truth theories.

Mateusz Łełyk

17:40-18:00

On local induction rules: collapse and conservation properties

Andrés Cordón-Franco, F. Félix Lara-Martín

16:00-16:20

Systems of propositions referring to each other: a model-theoretic view

Denis I. Saveliev

16:20-16:40

Revealing the 4D vector space within disquotational truth theory for self-reference statements

Vladimir Stepanov

16:40-17:00

A computable solution to Partee's puzzle

Kristina Liefke, Sam Sanders

17:00-17:20

G\"odel's second incompleteness theorem cannot be used as an argument against Hilbert's program

Alexandr Bessonov

16:00-16:20

Definability between temporal relations in dynamic mereology

Vladislav Nenchev

16:20-16:40

Teaching universalized-conditionals and Hazen’s Theorem.

John Corcoran, Hassan Masoud

16:40-17:00

A modal operator in multi-modal mu-calculus and induced semiring structure

Susumu Yamasaki

17:00-17:20

Interpolation for modal mu-calculus

Bahareh Afshari

17:20-17:40

On the Decidability of Mereological Theories with Local Complementation

Hsing-Chien Tsai

17:40-18:00

On the Admissibility of the Structural Rules in Kanger's Calculus with Restricted Equality Rules

Franco Parlamento, Flavio Previale

16:00-16:20

Boolean-valued models of ZFC and forcing in geometry and physics

Paweł Klimasara, Jerzy Król, Krzysztof Bielas

16:20-16:40

Keisler's order via Boolean ultrapowers

Francesco Parente

16:40-17:00

On Approximations and Eigenvectors - looking at Quantum Physics via Metric Ultraproducts

Åsa Hirvonen

17:00-17:20

A plausibility model for regret games

Federico Bobbio, Jianying Cui

17:20-17:40

Dathematics: a meta-isomorphic version of classic mathematics based on proper classes

Danny De Jesus Gomez-Ramirez

16:00-16:20

The Semanticist's Guide to Ramification

Giorgio Sbardolini

16:20-16:40

Negative Properties in First-Degree Entailment with Constructible Negation and an Extensional

Matthias Unterhuber

16:40-17:00

Volutionary deliberations

Frode A. Bjørdal

17:00-17:20

Relation algebras, representability and relevant logics

Aleksandra Samonek

17:20-17:40

Meanings of contradicts.

John Corcoran, George Boger

17:40-18:00

Truth as a Logical Property

Alexander Jones

19:00-21:00 City Hall reception

10:15-10:45 Coffee

12:45-14:00 Lunch

15:30-16:00 Coffee