Contributed talks

For now we have the following confirmed contributed talks:

  1. A. Abajyan, A. Chubaryan
    Proof complexity of hard-determinable formulas in R
  2. Kuanysh Abeshev, Serikzhan Badaev, and Manat Mustafa [slides]
    Families without minimal numberings
  3. Hajnal Andréka [animated slides]
    Back and forth between logic and relativity theory. Part II
  4. Arthur W. Apter, Stephen C. Jackson, Benedikt Löwe [slides]
    Cofinality and measurability of the first three uncountable cardinals
  5. Matthias Baaz, Agata Ciabattoni
    On the limits of analiticity
  6. Philippe Balbiani [slides]
    Lexicographic products of modal logics with linear frames
  7. Elías Baro [slides]
    Homotopy types of definable groups in o-minimal structures
  8. Can Başkent and Rohit Parikh [slides]
    Towards multi-agent subset space logic
  9. Laurent Bienvenu and Rod Downey [slides]
    Kolmogorov complexity and Solovay functions
  10. Jörg Brendle, Yurii Khomskii [slides]
    Polarized partition properties for Δ12 and Σ12 sets
  11. Jörg Brendle, Benedikt Löwe [slides]
    Eventually Different Functions and Inaccessible Cardinals
  12. Vedran Čačić, Marko Doko, Marko Horvat, and Domagoj Vrgoč [slides]
    Changing the order of summation for series beyond ω
  13. Olivia Caramello
    Lattices of theories
  14. Franqui Cárdenas [slides]
    Simplified morasses above a supercompact cardinal
  15. V. L. Chechulin
    About the selfconsidering semantic in the mathematical logic
  16. An. Chubaryan, Arm. Chubaryan, H. Nalbandyan [slides]
    Efficiency of weak substitution rules
  17. Jennifer Chubb, Jeffry Hirst, Timothy McNicholl [slides]
    Computable partitions of trees
  18. Cezary Cieśliński [slides]
    On eliminating pathologies in satisfaction classes
  19. Chris J. Conidis [slides]
    Classifying model-theoretic properties
  20. Graziana Conte
    Chu spaces interpretation of linear logic and quantum information flow
  21. Annalisa Conversano
    Maximal definably compact subgroups of definable groups in o-minimal structures
  22. Sean Cox
    Consistency strength of nonregular ultrafilters
  23. Luck Darnière, Markus Junker [slides]
    Completions and model completions of co-Heyting algebras
  24. Radhakrishnan DelhiBabu and Chandrabose Aravindan
    Belief Dynamics, Logic Programming and Non-Monotonic Reasoning for Database updates
  25. Angel V. Ditchev [slides]
    On least enumerations of partial structures
  26. Dimiter Dobrev
    The Definition of AI in Terms of Multi Agent Systems
  27. Ivo Düntsch, Ian Pratt–Hartmann [slides]
    Complex Algebras of natural Numbers
  28. Horacio Faas
    Between geometry and arithmetic: the long journey to the calculus
  29. Marat Kh. Faizrahmanov [slides]
    Splitting and antisplitting theorems in classes of low degrees
  30. David Fernández-Duque [slides]
    Dynamic topological completeness for the plane
  31. Vera Fischer [slides]
    The consistency of b=κ<s+
  32. Michele Friend
    Some Problems with Maddy’s Naturalism
  33. Andrey Frolov N. [slides]
    Low linear orderings
  34. Alexander N. Gavryushkin [slides]
    On constructive models of theories with linear Rudin-Keisler ordering
  35. Jakub Gismatullin
    Model theoretic connected components of groups
  36. Norma B. Goethe, Nancy Boyallian
    Working tools and the special rigor of mathematical reasoning
  37. Valentin Goranko and Ruaan Kellerman
    Classes and theories of trees associated with a class of linear orderings
  38. Johannes Hafner
    No site for Sorites. Problems with Graham Priest’s solution to the Sorites paradox
  39. Mauricio Simões Camilo Hernandes
    A classical logic characterization
  40. Stefan Hetzl [slides]
    On the form of witness terms
  41. Yoshihiro Horihata and Keita Yokoyama [slides]
    Weak-Riemann mapping theorem and Picard’s little theorem in weak second order arithmetic
  42. Tapani Hyttinen, Vadim Kulikov [slides]
    Weak Ehrenfeucht-Fraïssé equivalences.
  43. Adi Jarden, Alon Sitton [slides]
    Independence of Sets Without Stability
  44. Emil Jeřábek [slides]
    Admissible rules of Łukasiewicz logic
  45. Jui-Lin Lee [slides]
    The classical model existence theorem in subclassical predicate logics II
  46. Richard Kaye and Tin Lok Wong [slides]
    Generic cuts in models of arithmetic
  47. Adam Kay
    Incompletability of formal linguistics
  48. Valery Khakhanyan
    The relations between Uniformization Principle and Church Thesis in the set theory with intuitionistic logic
  49. Md. Aquil Khan, Mohua Banerjee
    A quantified modal logic for rough sets
  50. Nurlan Kogabaev [slides]
    Undecidability of the theory of projective planes
  51. Alexander Kreuzer [slides]
    Ramsey’s Theorem for pairs and provably recursive functions
  52. Petr Kulikov
    Some constructions on groups of computable automorphisms
  53. Kyung Il Lee [slides]
    Complexity of Linear Extensions in the Ershov Hierarchy
  54. Margarita Leontyeva [slides]
    Decidable Boolean algebras of elementary characteristics
  55. Loes Olde Loohuis [slides]
    Games for multi-player Logic, and Logic for multi-player Games
  56. Roussanka Loukanova [slides]
    Computational intension, denotation and propositional intention in the languages of acyclic recursion
  57. Peter LeFanu Lumsdaine
    Building higher categories from type theory
  58. Larisa Maksimova [slides]
    Weak interpolation in extensions of Johansson’s minimal logic
  59. João Marcos [slides]
    Simulating negation in positive logic
  60. Gian Arturo Marco
    The Dynamics of Reference: Symmetry and Semantics
  61. Maria da Paz N. Medeiros [slides]
    A reviewed syntactic proof of Gödel interpretation of intuitionist logic into S4
  62. José M. Méndez, Gemma Robles, Francisco Salto
    Paraconsistency and consistency understood as the absence of the negation of any implicative theorem
  63. Heike Mildenberger and Saharon Shelah [slides]
    Proper Translation
  64. Russell Miller [slides]
    Survey of degree spectra of highn and non-lown degrees
  65. Anthony Morphett [slides]
    Prompt enumerations and relative randomness
  66. Raja Natarajan
    Reasoning about synchronization protocols
  67. Takako Nemoto [slides]
    Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition
  68. Cyrus F. Nourani
    Functorial Projective Set Models
  69. Roland Sh. Omanadze, and Andrea Sorbi
    s-reducibility and immunity properties
  70. Sergey Ospichev [slides]
    Some properties of computable numberings in various classes in difference hierarchy
  71. Pedeferri
    Some Remarks about the Status of Second Order Logic
  72. Luiz Carlos Pereira, Edward Hermann Haeusler, Maria da Paz
    Constructive Results in Fragments of Classical First order Logic
  73. Thanases Pheidas, Karim Zahidi
    Elimination Theory for Addition and the Frobenius Map in Rings of Power Series
  74. Robert Rałowski, Szymon Żeberski [slides]
    Generalized Luzin sets
  75. Alexandra Revenko [slides]
    The complexity of automatic partial orders
  76. Gemma Robles
    Paraconsistent logics included in Lewis’ S4
  77. Marcin Sabok [slides]
    On forcing with σ-ideals of closed sets
  78. S.H.Sajjadi, Morteza Moniri
    Cuts in models of the fragments of bounded arithmetic
  79. Denis I. Saveliev
    Completeness in Infinitary Logic
  80. Paul Shafer
    The first order theory of the Medvedev lattice is third order arithmetic
  81. Stanislav Smerdov [slides]
    On the question of consistence of the semantic μ-prediction
  82. Teodor J. Stȩpień, Łukasz T. Stȩpień [slides]
    On the consistency of Peano’s Arithmetic System
  83. Sergey Sudoplatov
    The Lachlan Problem
  84. Tinko Tinchev [slides]
    Universal fragments of some region-based theories of space
  85. Trifon Trifonov [slides]
    Comparing methods for program extraction from classical proofs
  86. Todor Tsankov [slides]
    The additive group of the rationals is not automatic
  87. Nikolas Vaporis [slides]
    The extension property up to n and Tn–projectivity
  88. Alexey. G. Vladimirov
    Effectivity properties of intuitionistic set theory with scheme collection
  89. Agatha Walczak-Typke
    Groups in non-elementary model theory and in set theory without the axiom of choice
  90. Michael A. Warren
    On the homotopy theory of Martin-Löf complexes
  91. Roman Wencel
    Weakly o-minimal expansions of ordered fields of finite transcendence degree
  92. Alan R. Woods
    On the probability of absolute truth for And/Or Boolean formulas
  93. Mars M. Yamaleev [slides]
    Splitting properties in 2-c.e. degrees
  94. Mostafa Zaare
    Preservation theorems for intuitionistic first-order logic
  95. Szymon Żeberski [slides]
    Inscribing nonmeasurable sets
  96. Maxim Zubkov [slides]
    Strongly η-representable sets and limitwise monotonic functions

Participants only by title

  1. John Corcoran, George Boger
    Paradox and Antinomy
  2. John Corcoran, Newton da Costa, Luiz Lopes dos Santos
    Aristotelian direct deductions: metatheorems
  3. John Corcoran
    Defining `Logical’ in First-order Metalogic
  4. Livy Real
    Categorial morphology
  5. Xunwei Zhou
    Mutually-inversistic logic is unified logic