- About
- Program
- Tutorials and lectures
- Special sessions
- Contributed talks
- Schedule
- Proceedings
- Social program

- Participation
- Sponsors

# Contributed talks

For now we have the following confirmed contributed talks:

**A. Abajyan, A. Chubaryan**

Proof complexity of hard-determinable formulas in R**Kuanysh Abeshev, Serikzhan Badaev, and Manat Mustafa**[slides]

Families without minimal numberings**Hajnal Andréka**[animated slides]

Back and forth between logic and relativity theory. Part II**Arthur W. Apter, Stephen C. Jackson, Benedikt Löwe**[slides]

Cofinality and measurability of the first three uncountable cardinals**Matthias Baaz, Agata Ciabattoni**

On the limits of analiticity**Philippe Balbiani**[slides]

Lexicographic products of modal logics with linear frames**Elías Baro**[slides]

Homotopy types of definable groups in o-minimal structures**Can Başkent and Rohit Parikh**[slides]

Towards multi-agent subset space logic**Laurent Bienvenu and Rod Downey**[slides]

Kolmogorov complexity and Solovay functions**Jörg Brendle, Yurii Khomskii**[slides]

Polarized partition properties for**Δ**_{1}^{2}and**Σ**_{1}^{2}sets**Jörg Brendle, Benedikt Löwe**[slides]

Eventually Different Functions and Inaccessible Cardinals**Vedran Čačić, Marko Doko, Marko Horvat, and Domagoj Vrgoč**[slides]

Changing the order of summation for series beyond ω**Olivia Caramello**

Lattices of theories**Franqui Cárdenas**[slides]

Simplified morasses above a supercompact cardinal**V. L. Chechulin**

About the selfconsidering semantic in the mathematical logic**An. Chubaryan, Arm. Chubaryan, H. Nalbandyan**[slides]

Efficiency of weak substitution rules**Jennifer Chubb, Jeffry Hirst, Timothy McNicholl**[slides]

Computable partitions of trees**Cezary Cieśliński**[slides]

On eliminating pathologies in satisfaction classes**Chris J. Conidis**[slides]

Classifying model-theoretic properties**Graziana Conte**

Chu spaces interpretation of linear logic and quantum information flow**Annalisa Conversano**

Maximal definably compact subgroups of definable groups in o-minimal structures**Sean Cox**

Consistency strength of nonregular ultrafilters**Luck Darnière, Markus Junker**[slides]

Completions and model completions of co-Heyting algebras**Radhakrishnan DelhiBabu and Chandrabose Aravindan**

Belief Dynamics, Logic Programming and Non-Monotonic Reasoning for Database updates**Angel V. Ditchev**[slides]

On least enumerations of partial structures**Dimiter Dobrev**

The Definition of AI in Terms of Multi Agent Systems**Ivo Düntsch, Ian Pratt–Hartmann**[slides]

Complex Algebras of natural Numbers**Horacio Faas**

Between geometry and arithmetic: the long journey to the calculus**Marat Kh. Faizrahmanov**[slides]

Splitting and antisplitting theorems in classes of low degrees**David Fernández-Duque**[slides]

Dynamic topological completeness for the plane**Vera Fischer**[slides]

The consistency of**b**=κ<**s**=κ^{+}**Michele Friend**

Some Problems with Maddy’s Naturalism**Andrey Frolov N.**[slides]

Low linear orderings**Alexander N. Gavryushkin**[slides]

On constructive models of theories with linear Rudin-Keisler ordering**Jakub Gismatullin**

Model theoretic connected components of groups**Norma B. Goethe, Nancy Boyallian**

Working tools and the special rigor of mathematical reasoning**Valentin Goranko and Ruaan Kellerman**

Classes and theories of trees associated with a class of linear orderings**Johannes Hafner**

No site for Sorites. Problems with Graham Priest’s solution to the Sorites paradox**Mauricio Simões Camilo Hernandes**

A classical logic characterization**Stefan Hetzl**[slides]

On the form of witness terms**Yoshihiro Horihata and Keita Yokoyama**[slides]

Weak-Riemann mapping theorem and Picard’s little theorem in weak second order arithmetic**Tapani Hyttinen, Vadim Kulikov**[slides]

Weak Ehrenfeucht-Fraïssé equivalences.**Adi Jarden, Alon Sitton**[slides]

Independence of Sets Without Stability**Emil Jeřábek**[slides]

Admissible rules of Łukasiewicz logic**Jui-Lin Lee**[slides]

The classical model existence theorem in subclassical predicate logics II**Richard Kaye and Tin Lok Wong**[slides]

Generic cuts in models of arithmetic**Adam Kay**

Incompletability of formal linguistics**Valery Khakhanyan**

The relations between Uniformization Principle and Church Thesis in the set theory with intuitionistic logic**Md. Aquil Khan, Mohua Banerjee**

A quantified modal logic for rough sets**Nurlan Kogabaev**[slides]

Undecidability of the theory of projective planes**Alexander Kreuzer**[slides]

Ramsey’s Theorem for pairs and provably recursive functions**Petr Kulikov**

Some constructions on groups of computable automorphisms**Kyung Il Lee**[slides]

Complexity of Linear Extensions in the Ershov Hierarchy**Margarita Leontyeva**[slides]

Decidable Boolean algebras of elementary characteristics**Loes Olde Loohuis**[slides]

Games for multi-player Logic, and Logic for multi-player Games**Roussanka Loukanova**[slides]

Computational intension, denotation and propositional intention in the languages of acyclic recursion**Peter LeFanu Lumsdaine**

Building higher categories from type theory**Larisa Maksimova**[slides]

Weak interpolation in extensions of Johansson’s minimal logic**João Marcos**[slides]

Simulating negation in positive logic**Gian Arturo Marco**

The Dynamics of Reference: Symmetry and Semantics**Maria da Paz N. Medeiros**[slides]

A reviewed syntactic proof of Gödel interpretation of intuitionist logic into S4**José M. Méndez, Gemma Robles, Francisco Salto**

Paraconsistency and consistency understood as the absence of the negation of any implicative theorem**Heike Mildenberger and Saharon Shelah**[slides]

Proper Translation**Russell Miller**[slides]

Survey of degree spectra of high_{n}and non-low_{n}degrees**Anthony Morphett**[slides]

Prompt enumerations and relative randomness**Raja Natarajan**

Reasoning about synchronization protocols**Takako Nemoto**[slides]

Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition**Cyrus F. Nourani**

Functorial Projective Set Models**Roland Sh. Omanadze, and Andrea Sorbi**

s-reducibility and immunity properties**Sergey Ospichev**[slides]

Some properties of computable numberings in various classes in difference hierarchy**Pedeferri**

Some Remarks about the Status of Second Order Logic**Luiz Carlos Pereira, Edward Hermann Haeusler, Maria da Paz**

Constructive Results in Fragments of Classical First order Logic**Thanases Pheidas, Karim Zahidi**

Elimination Theory for Addition and the Frobenius Map in Rings of Power Series**Robert Rałowski, Szymon Żeberski**[slides]

Generalized Luzin sets**Alexandra Revenko**[slides]

The complexity of automatic partial orders**Gemma Robles**

Paraconsistent logics included in Lewis’ S4**Marcin Sabok**[slides]

On forcing with σ-ideals of closed sets**S.H.Sajjadi, Morteza Moniri**

Cuts in models of the fragments of bounded arithmetic**Denis I. Saveliev**

Completeness in Infinitary Logic**Paul Shafer**

The first order theory of the Medvedev lattice is third order arithmetic**Stanislav Smerdov**[slides]

On the question of consistence of the semantic μ-prediction**Teodor J. Stȩpień, Łukasz T. Stȩpień**[slides]

On the consistency of Peano’s Arithmetic System**Sergey Sudoplatov**

The Lachlan Problem**Tinko Tinchev**[slides]

Universal fragments of some region-based theories of space**Trifon Trifonov**[slides]

Comparing methods for program extraction from classical proofs**Todor Tsankov**[slides]

The additive group of the rationals is not automatic**Nikolas Vaporis**[slides]

The extension property up to n and T_{n}–projectivity**Alexey. G. Vladimirov**

Effectivity properties of intuitionistic set theory with scheme collection**Agatha Walczak-Typke**

Groups in non-elementary model theory and in set theory without the axiom of choice**Michael A. Warren**

On the homotopy theory of Martin-Löf complexes**Roman Wencel**

Weakly o-minimal expansions of ordered fields of finite transcendence degree**Alan R. Woods**

On the probability of absolute truth for And/Or Boolean formulas**Mars M. Yamaleev**[slides]

Splitting properties in 2-c.e. degrees**Mostafa Zaare**

Preservation theorems for intuitionistic first-order logic**Szymon Żeberski**[slides]

Inscribing nonmeasurable sets**Maxim Zubkov**[slides]

Strongly η-representable sets and limitwise monotonic functions

## Participants only by title

**John Corcoran, George Boger**

Paradox and Antinomy**John Corcoran, Newton da Costa, Luiz Lopes dos Santos**

Aristotelian direct deductions: metatheorems**John Corcoran**

Defining `Logical’ in First-order Metalogic**Livy Real**

Categorial morphology**Xunwei Zhou**

Mutually-inversistic logic is unified logic