LC2019
Venue
Hotels
Register
Abstracts
Program
Support
Contact
Contributed talks
This list contains accepted talks where at least one author has already registered for the colloquium.
Click on a title to show the abstract.
Computability
Reverse Mathematics of some principles related to partial orders
Svetlana Aleksandrova,
Nikolay Bazhenov
On $\Sigma^0_n-$classifications
Nikolay Bazhenov,
Hristo Ganchev,
Stefan Vatev
Computable embeddings for pairs of linear orderings
Nikolay Bazhenov,
Manat Mustafa,
Mars Yamaleev
Computable reducibility, and isomorphisms of distributive lattices
Nikolay Bazhenov,
Dino Rossegger,
Luca San Mauro,
Maxim Zubkov
On bi-embeddable categoricity of linear orders
Rumen Dimitrov,
Valentina Harizanov,
Andrey Morozov,
Paul Shafer,
Alexandra Soskova,
Stefan Vatev
Cohesive powers of $\omega$
Julia Knight,
Alexandra Soskova,
Stefan Vatev
Effective coding and decoding structures
Natalia Korneeva
Prefix decidable infinitewords for natural subsets of the set of context-free languages
Patrick Lutz,
James Walsh
Descending sequences of hyperdegrees and the second incompleteness theorem
Manat Mustafa,
Sergey Ospichev
About Rogers semilattices of finite families in Ershov hierarchy
Alexey Ryzhkov,
Alexey Stukachev,
Marina Stukacheva
Interval semantics for natural languages and effective interpretability over the reals
Ilya Vlasov
On enumerations of families of sets of computableelements of metric spaces
Damir Zainetdinov
Limitwise monotonic reducibility of sets and $\Sigma$-definability of abelian groups
Foundations of Geometry
Piotr Blaszczyk
Axioms for Euclid's Elements book V, their consequences and some independence results
Marlena Fila,
Piotr Blaszczyk
Limits of diagrammatic reasoning
Davit Harutyunyan,
Aram Nazaryan,
Victor Pambuccian
The Hajja-Martini inequality in a weak absolute geometry
David Pierce
Apollonian proof
General
Alice Medvedev,
Alexander Van Abel
The Feferman-Vaught Theorem and products of finite fields
Ryota Akiyoshi,
Andrew Arana
On Gaisi Takeuti's philosophy of mathematics
James Appleby
Resolving Two Paradoxes About Knowledge States in the Foundations of Intuitionistic Analysis
Pavel Arazim
Logical systems as pedagogical and perhaps existential games
Guillermo Badia,
Petr Cintula,
Andrew Tedder
How much propositional logic suffices for Rosser's undecidability theorem?
Paolo Baldi,
Petr Cintula,
Carles Noguera
Towards proof-systems for two-layered modal logics of probability
John Baldwin
On strongly minimal Steiner systems: Zilber's conjecture, universal algebra, and combinatorics
Libor Behounek
Non-monotonic abstract multiset consequence relations
Joseph Boudou,
Martínn Diéguez,
David Fernández-Duque
A Complete Intuitionistic Temporal Logic for Topological Dynamics
Sena Bozdag
A hyperintensional and paraconsistent approach to belief dynamics
Luis Estrada-González,
Claudia,
Lucía Tanús-Pimentel
Content-sharing in relevant mathematics
Ludovica Conti
One or more Logicisms
Vedran Čačić,
Marko Doko,
Marko Horvat
Rearranging absolutely convergent well-ordered series in Banach spaces
Sergey Drobyshevich,
Sergei Odintsov
Towards a classification of algebraizable FDE-based modal logics
David M. Evans,
Jan Hubička,
Matěj Konečný,
Yibei Li
Simplicity of automorphism groups of generalised metric spaces
Thomas Macaulay Ferguson,
Elisangela Ramirez-Camara
The Limit of the Strict-Tolerant Hierarchy is Essentially Classical and Even If It’s Just LP, That’s Probably Okay.
Michael Stephen Fiske
Quantum Random Self-Modifiable Computation
Michal Tomasz Godziszewski,
Dino Rossegger,
Luca San Mauro
Quotient presentations of structures
Mattias Granberg Olsson
A model-theoretic proof of Gödel’s theorem: Kripke’s notion of fulfilment.
Mattias Granberg Olsson,
Graham Leigh
Partial conservativity of $\widehat{\mathrm{ID}}^i_1$ over Heyting arithmetic via realizability.
Harold Hodes
Ramified-types for states of affairs
Jan Hubička,
Matěj Konečný,
Jaroslav Nešetřil
On Hrushovski properties of Hrushovski constructions
Tatyana Ivanova,
Tinko Tinchev
First-order theory of lines in Euclidean plane
Alexandre Madeira,
Manisha Jain,
Manuel Martins
Towards Invariant bisimulations for parametric multi-valued dynamic logics
Tomáš Jakl
On connections between logic on words and limits of graphs
Joost Joosten
Hyperarithmetical Turing progressions
Oguz Korkmaz
Belief as a quantum bit
Vedran Čačić,
Egor V. Kostylev,
Juan L. Reutter,
Domagoj Vrgoć
Complexity of some fragments of description logics
Johan Lindberg
Constructive semantics and the Joyal-Tierney representation theorem
Robert Lubarsky
Feedback hyperjump
Francisco Martinez Herrera
Justifications and the Lewis argument on ECQ: a relevant note
Ryszard Mirek
Euclidean Geometry
Meha Mishra,
A.V. Ravishankar Sarma
An inconsistency tolerant paraconsistent deontic logic of moral conflicts
Andrey Morozov,
Jamalbek Tussupov
On minimal elements in the $\Delta$--reducibility on families of predicates
Joachim Mueller-Theys
Multi-valued interpretations
Ranjan Mukhopadhyay
Cut elimination and Restall's defining rules
José M. Méndez,
Gemma Robles,
Francisco Salto
Falsity constants for two independent families of quasi-Boolean logics
Ricardo Nicolá
Negation can be just what it has to
Satoru Niki,
Peter Schuster
On Scott's semantics for many-valued logic
Iaroslav Petik
Reading Feyerabend: from epistemic anarchism to anarchism in foundations of formal systems
Noah Schoem
Destruction of ideal saturation
Igor Sedlár
Fixpoints in generalized Lambek calculus
Andrei Sipos
Bounds on strong unicity for Chebyshev approximation with bounded coefficients
Marta Vlasáková
Frege's attitude towards sets
Bartosz Wcisło
Remarks on satisfaction classes and recursive saturation
Andreas Weiermann
A unifying approach to Goodstein principles
Mateusz Łełyk
Nonequivalent axiomatizations of $\mathbf{PA}$ and the Tarski Boundary
Model Theory
Sergey Davidov,
Senik Alvrtsyan,
Davit Shahnazaryan
Invertible binary algebras principally isotopic to a group
David Bradley-Williams
Canonical invariants for t-stratifications
Dmitry Emelyanov,
Beibut Kulpeshov,
Sergey Sudoplatov
On compositions of structures and compositions of theories
Christian Espindola
Preservation theorems for strong first-order logics
Junguk Lee,
Daniel Max Hoffmann
Elementary theories of PAC structures via Galois groups
A.R. Yeshkeyev,
A.K. Issayeva
The principle of a "rheostat of atomicity" in the study of AAP models
Aleksander Iwanow
Pseudocompact unitary representations of finitely generated groups
Hirotaka Kikyo
On automorphism groups of Hrushovski's pseudoplanes in rational cases
Thomas Kucera,
Marcos Mazari-Armida
On universal modules with pure embeddings
Michael Lieberman,
Jiří Rosický,
Sebastien Vasey
Weak factorization systems and stable independence
Rosario Mennuni
Product of invariant types modulo domination-equivalence
A.R. Yeshkeyev,
N.M. Mussina
Hybrids of classes from Jonsson spectrum
Inessa Pavlyuk,
Sergey Sudoplatov
On ranks for families of theories of finite abelian groups
Sebastien Vasey
Forking and categoricity in non-elementary model theory
Proof Theory and Proof Complexity
Amirhossein Akbar Tabatabai,
Raheleh Jalali
On the logical implications of proof forms
Toshiyasu Arai
Some results in proof theory
Yong Cheng
The limit of incompleteness for Weak Arithmetics
Anahit Chubaryan,
Artur Khamisyan
On the proof complexity in two universal proof system for all versions of many-valued logics
Anahit Chubaryan,
Garik Petrosyan,
Sergey Sayadyan
Monotonous and strong monotonous properties of some propositional proof systems for Classical and Non Classical Logics
Luiz Carlos Pereira,
Edward Hermann Haeusler
New ecumenical systems
Andrzej Indrzejczak
Admissibility of Cut for Sequent Calculus related to $n$-labelled Tableaux
Annika Kanckos
Gentzen's tentative views on constructivism
Satoru Kuroda
On Takeuti-Yasumoto forcing
Franco Parlamento,
Flavio Previale,
Federico Munini
The subterm property for some equality sequent calculi
Iris van der Giessen
Intuitionistic provability logic
Reflection Principles and Modal logic
Amirhossein Akbar Tabatabai
The BHK interpretation: looking through Gödel’s classical lens
MAHFUZ RAHMAN ANSARI,
A V Ravishankar Sarma
Constraints on selection function: A critique of Lewis-Stalnakers semantics for counterfactuals
Emanuele Frittaion
The uniform reflection principle in second order arithmetic
Taishi Kurahashi
Derivability conditions and the second incompleteness theorem
Tadeusz Litak
Algebras for preservativity
Larisa Maksimova,
Veta Yun
On strong recognizability of the intuitionistic logic
A. V. Ravishankar Sarma
Belief revision based on abductive reasoning
Set Theory
Frode A. Bjordal
Capture and Array – Replacement, Specification and Choice
Lev Bukovský
Balcar's theorem on supports
Evgeny Gordon
On extension of Haar measure in $\sigma$-compact groups
John Howe
Ramsey degrees of structures with equivalence relations
Borisa Kuzeljević
Antichains of copies of ultrahomogeneous structures
Maxwell Levine
Singular Cardinals of Uncountable Cofinality
Dorottya Sziráki
Perfect sets and games on generalized Baire spaces
Jaroslav Šupina
Cardinal invariants and ideal convergence