Abstracts of LC2003

Model theory

• John Baldwin: Local homogeneity, benign sets and expansions of models (Fri 15.8. at 17.00-17.20)
• Alessandro Berarducci and Tamara Servi: Effective o-minimality of the real exponential field and related structures (Sat 16.8. at 17.25-17.45)
• Jeff Burdges: A signalizer functor theorem for groups of finite Morley rank (Sat 16.8. at 18.40-19.00)
• Anuj Dawar, Lauri Hella and Mikko Suonio: Fixed-point logics with generalized quantifiers on unordered structures (Mon 18.8. at 17.00-17.20)
• Marko Djordjevi{\'c}: On first-order sentences without finite models (Sat 16.8. at 17.50-18.10)
• Fredrik S. G Engström: Omitting types in expansions and related strong saturation properties (Fri 15.8. at 17.25-17.45)
• Marta García-Matos: On interpolation and Lindström's Theorem in abstract logic without negation (Fri 15.8. at 17.50-18.10)
• Martin Goldstern: The Galois connection between relations and automorphism (Fri 15.8. at 18.40-19.00)
• Milan Z. Grulovi{\'c}: A word on infinite forcing (Fri 15.8. at 17.00-17.20)
• Koichiro Ikeda: Stability of generic pseudoplanes (Fri 15.8. at 17.25-17.45)
• Aleksander Ivanov: A non-$G$-compact $\omega$-categorical theory (Fri 15.8. at 17.50-18.10)
• Markus Junker: Reducts of $(\mathbb Q,<)$ (Fri 15.8. at 18.15-18.35)
• Asylkhan Khisamiev: On quasiresolvable models (Fri 15.8. at 18.15-18.35)
• Leszek Aleksander Ko{\l}odziejczyk: Truth definitions in finite models (Tue 19.8. at 16.10-16.30)
• Krzysztof Krupi{\'n}ski: Products of finite Abelian groups as profinite groups (Tue 19.8. at 17.25-17.45)
• Krzysztof Majcher: Absolutely ubiquitous expansions of $\omega$-categorical structures (Fri 15.8. at 18.40-19.00)
• Dominika Majsak and Marcin Mostowski: Logics with semilinear generalized spectra (Sat 16.8. at 18.15-18.35)
• Vincenzo Marra: Higman's Theorem and lattice-ordered groups (Tue 19.8. at 17.00-17.20)
• Timothy Mellor: Imaginaries in real closed valued fields (Tue 19.8. at 17.50-18.10)
• Marcin Mostowski and Anna Wasilewska: Elementary properties of divisibility in finite models (Tue 19.8. at 15.45-16.05)
• Ludomir Newelski and Marcin Petrykowski: Coverings of groups and types (Sat 16.8. at 18.15-18.35)
• Cyrus F. Nourani: Higher stratified consistency and completeness proofs (Tue 19.8. at 16.35-16.55)
• Nicholas Peatfield: Analytic Zariski structures and the Hrushovski construction (Sat 16.8. at 17.00-17.20)
• David Pierce: Fields with operators, and Lie-rings (Tue 19.8. at 18.15-18.35)
• David Richerby: A fixed-point logic with nondeterministic choice (Mon 18.8. at 17.25-17.45)
• Gábor Sági: Some applications of model theory in finite combinatorics (Sat 16.8. at 17.00-17.20)
• Aleksey Stukachev: $\Sigma$-definability in HF-superstructures and pairs of decidable models (Sat 16.8. at 17.25-17.45)
• Carlo Toffalori: Strongly minimal modules over group rings (Sat 16.8. at 17.50-18.10)
• Ivan Toma{\v s}i{\'c}: Character sums over pseudofinite fields and applications (Tue 19.8. at 18.40-19.00)

Recursion theory and arithmetic

• Zofia Adamowicz and Leszek Aleksander Ko{\l}odziejczyk: Conservativity in general bounded arithmetic theories (Mon 18.8. at 17.00-17.20)
• Anatoly Beltiukov: Polynomially decidable theories of polynomial constructive arithmetic with recurring induction (Fri 15.8. at 17.00-17.20)
• Andrey I. Bovykin: Some $\Sigma^1_1(0')$ characterizations of chronic resplendency (Tue 19.8. at 17.00-17.20)
• Wesley Calvert: The isomorphism problem for classes of computable groups and fields (Tue 19.8. at 17.25-17.45)
• Elias F. Combarro: Studying sets of numbers by means of computable automorphisms (Tue 19.8. at 15.45-16.05)
• Gilda Ferreira: Weak theories of arithmetic and the counting hierarchy (Mon 18.8. at 17.25-17.45)
• Andrey N. Frolov: Computable copies of Boolean and Ershov algebras (Tue 19.8. at 17.50-18.10)
• Lilia Georgieva: Optimising minimal Herbrand model generation procedures
• Evan J. Griffiths: Characterising Algorithmic Randomness (Fri 15.8. at 17.25-17.45)
• Ji{\v r}í Hanika: Search problem characterizing $\Sigma^b_1$ of $T^2_2$ (Fri 15.8. at 17.50-18.10)
• Gyesik Lee and Andreas Weiermann: Worms, tree-ordinals and the Sch\"utte-Simpson ordinal notation system for $\epsilon_0$ (Fri 15.8. at 18.15-18.35)
• Steffen Lempp: Extensions of embeddings in the $\Sigma^0_2$-enumeration degrees (Sat 16.8. at 17.00-17.20)
• Giacomo Lenzi and Erich Monteleone: On the analytic hierarchy, $\mu$-calculus and infinite time Turing machines (Fri 15.8. at 18.40-19.00)
• Sergej I. Mardaev: Lfp and Ifp in Modal Logic
• Sergei Yu. Podzorov: On the definition of Lachlan semilattices
• V. Yu. Shavrukov: The $\forall \exists$ theory of the lattice of universal sentences in Peano arithmetic (Mon 18.8. at 17.50-18.10)
• Andrea Sorbi: Bounding and Nonbounding Minimal Pairs in the Enumeration Degrees (Sat 16.8. at 17.25-17.45)
• Dan E. Willard: On the interface between mathematical logic and computerized database theory (Tue 19.8. at 16.10-16.30)
• Guohua Wu: Quasi-complements of the cappable degrees
• Konrad Zdanowski: The complexity of the set of true $\Delta_0$ sentences (Tue 19.8. at 16.35-16.55)

Set theory

• Yoshihiro Abe: Ineffability of $P_{\kappa}\lambda$ when $cf(\lambda)<\kappa$ (Sat 16.8. at 17.00-17.20)
• Petr Andreyev and Evgenii Gordon: A theory of hyperfinite sets (Mon 18.8. at 17.00-17.20)
• David Asperó: Forcing notions in inner models (Fri 15.8. at 17.00-17.20)
• Natasha L. Dobrinen: A very weak distributive law and a related game in Boolean algebras (Fri 15.8. at 17.25-17.45)
• Mirna D{\v z}amonja: A characterisation of homogeneity in epsilon dense families under MA (Sat 16.8. at 17.25-17.45)
• Philip Ehrlich: Surreal numbers and the unification of all numbers great and small (Mon 18.8. at 17.50-18.10)
• Sy David Friedman: Constructible forcing and $0^\#$ (Fri 15.8. at 17.50-18.10)
• Alex Hellsten: Killing a weakly compact set (Fri 15.8. at 18.15-18.35)
• James Hirschorn: Nonhomogeneous analytic families of trees (Sat 16.8. at 17.50-18.10)
• Vladimir Kanovei: On ROD-hyperfinite equivalence relations (Mon 18.8. at 17.25-17.45)
• Bart Kastermans and Yi Zhang: Very MAD families (Tue 19.8. at 16.10-16.30)
• Thierry Libert: A note on positive set theory (Tue 19.8. at 16.35-16.55)
• Barbara Majcher-Iwanow: Equivalence relation induced by closed isometry groups on rooted trees (Sat 16.8. at 18.15-18.35)
• Gian Arturo Marco: Ideals of closed sets and automorphism group actions (Sat 16.8. at 18.40-19.00)
• Michael Moellerfeld: Topological regularity and second order arithmetic (Tue 19.8. at 17.25-17.45)
• Justin Moore: Some remarks on OCA and the size of the continuum (Fri 15.8. at 18.40-19.00)
• Vadim Puzarenko: On some aspects of theory of admissible sets (Tue 19.8. at 17.00-17.20)
• Vojkan Vuksanovic: Infinite partitions of random graphs (Tue 19.8. at 17.50-18.10)
• Piotr Wilczek: The Commonsense Set Theories

  Proof theory, constructivism and philosophy of mathematics

• Yuuki Andou: A cut-elimination for LK corresponding with a normalization for NK (Fri 15.8. at 17.00-17.20)
• Adib Ben Jebara: Why accept the well ordering principle?
• Hovhannes Bolibekyan and Anahit A. Chubaryan: On some proof systems for I. Johansson's minimal logic of predicates (Fri 15.8. at 18.40-19.00)
• Izabela Bondecka-Krzykowska: Is structuralism an alternative to platonism in the philosophy of mathematics? (Tue 19.8. at 16.10-16.30)
• Jens Brage: A classical tableau calculus (Fri 15.8. at 17.50-18.10)
• John Corcoran: Fertile postulate sets
• Maria da Paz Nunes de Medeiros: Modal logic systems in natural deduction (Sat 16.8. at 17.50-18.10)
• Christoph Duchhardt: An ordinal analysis of $\textrm{KP}\ell$ (Fri 15.8. at 18.15-18.35)
• Silvia Gebellato and Giovanni Sambin: The basic picture: a structural approach to topology (Mon 18.8. at 17.50-18.10)
• Norma B. Goethe: Some considerations concerning the mathematical study of induction and its riddles (Sat 16.8. at 18.15-18.35)
• Edward Hermann Haeusler and Luiz Carlos Pereira: Multiplicative quantifiers (Sat 16.8. at 18.40-19.00)
• Jukka Keränen: Abel and Galois: A Case Study in the Epistemic Contribution of Structural Methods in Mathematics
• Valery Khakhanian: Functional algebraic models which are equivalent to I-realizability of Kleene (Tue 19.8. at 15.45-16.05)
• Miros{\l}awa Ko{\l}owska-Gawiejnowicz: Labelled deductive systems for the Lambek Calculus (Fri 15.8. at 17.25-17.45)
• Hirohiko Kushida and Mitsuhiro Okada: A proof-theoretic analysis of Kripke semantics (Sat 16.8. at 17.25-17.45)
• Maria Emilia Maietti: Internal language at work in an arithmetic universe (Tue 19.8. at 17.50-18.10)
• Anders Moen: A normal form for Gödel Löb sequent calculus (Sat 16.8. at 17.00-17.20)
• Wim Ruitenburg: Intuitionistic theories with quantifier elimination (Mon 18.8. at 17.25-17.45)
• Pavel A. Schreiner: Automatical recognition of the interpolation property in some propositional superintuitionistic logics (Tue 19.8. at 17.25-17.45)
• Eugeniusz Tomaszewski: Intermediate logics with the same finite models
• Sergei Tupailo: On the intuitionistic strength of monotone inductive definitions (Mon 18.8. at 17.00-17.20)
• Gunnar Wilken: $\Sigma_1$ elementarity and Skolem hull operators (Tue 19.8. at 17.00-17.20)

Classical and non-classical logic

• Jonathan Bentwich: The cognitive 'Duality Principle': a resolution of the 'Liar Paradox' and 'Gödel's Incompleteness Theorem' conundrums (Fri 15.8. at 18.15-18.35)
• Dumitru Busneag and Dana Piciu: Localization for $\textrm{MV}$ and pseudo $\textrm{MV}$ algebras
• Michele Friend: Some philosophical concerns about the 'confidence' and 'confident learning' (Mon 18.8. at 17.50-18.10)
• David Gabelaia and Michael Zakharyaschev: Modal products with $\bf GL.3$ (Sat 16.8. at 17.00-17.20)
• Çi{\u g}dem Gencer: Description of modal logics inheriting admissible rules for $K4$ and tabularity (Mon 18.8. at 17.00-17.20)
• Joanna Goli{\'n}ska-Pilarek and Taneli Huuskonen: Number of extensions of non-Fregean logics (Tue 19.8. at 16.35-16.55)
• Zuzana Haniková: Computational complexity of some many-valued propositional calculi (Tue 19.8. at 17.00-17.20)
• Albert Hoogewijs and Pieter Audenaert: Combinatory logic, a bridge to verified programs
• Emil Jerabek: A note on Grzegorczyk's logic (Tue 19.8. at 17.25-17.45)
• Osamu Kiritani and Makoto Kikuchi: Modality and function in philosophy of biology (Sat 16.8. at 17.25-17.45)
• Andrei Kouznetsov: Quasi-matrix deontic logic with truth value ''gluts'' (Sat 16.8. at 18.15-18.35)
• Veta Murzina: The completeness theorem for temporal logic based on strictly ordered $f$-spaces (Sat 16.8. at 17.50-18.10)
• Panu Raatikainen: Translation and the definability of truth (Fri 15.8. at 17.25-17.45)
• Vladimir V. Rybakov: Veritable Inference Rules of Temporal Next-Time Logic
• John H. Serembus: A new perspective on consistency and validity of propositional logic (Fri 15.8. at 17.50-18.10)
• Sonja Smets: Classical Reasoning About Quantum Systems (Tue 19.8. at 17.50-18.10)
• Vladimir A. Stepanov: Semantics of self-reference: a dynamical systems approach (Fri 15.8. at 17.00-17.20)
• Thomas Vetterlein: Partial $\textrm{MV}$-algebras and the logic of quantum effects (Tue 19.8. at 15.45-16.05)
• Jacek Waldmajer: Boolean Algebra of Multistructures (Tue 19.8. at 16.10-16.30)
• Wagner Waneck Martins: The e-book: "BOOLEAN ARITHMETIC and its Applications"
• Piotr Wasilewski: On some Boolean concept lattices (Mon 18.8. at 17.25-17.45)

University of Helsinki

Dept. of Mathematics

Helsinki City Tourist Office

lc2003@helsinki.fi