Abstracts of Contributed Talks

(Logic Colloquium 2007, Wrocław, Poland, July 14-19, 2007)

Talks Presented by Speakers:

  1. Serikzhan A. Badaev, Sergey S. Goncharov, and Andrea Sorbi (Kazakh National University, 71 Al-farabi Ave., Almaty, 050038, Kazakhstan, badaev@kazsu.kz; Sobolev Institute of Mathematics, 4 Acad. Koptyug, Novosibirsk, 480090 Russia, s.s.goncharov@math.nsc.ru; and University of Siena, 44 Pian Dei Mantellini, Siena, 53100 Italy, sorbi@unisi.it): Completion of Numberings
  2. Ilnur Batyrshin (Department of Mathematics, Kazan State University, ilnurb@yandex.ru): The Algebraic Structure of Quasi-degrees
  3. Libor Bĕhounek and Petr Cintula (Institute of Computer Science, Academy of Sciences of the Czech Republic, behounek@cs.cas.cz and cintula@cs.cas.cz): Multiplicative Quantifiers in Fuzzy and Substructural Logics
  4. Marta Bílková, Joost J. Joosten, and Dick de Jongh (Charles University, Celetna 20, 116 42, Praha 1 and Institute of Computer Science, Academy of Sciences of The Czech Republic, Pod Vodarenskou Vezi 2, 182 07, Prague 8, marta.bilkova@ff.cuni.cz; and Institute for Logic Language and Information, University of Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, Netherlands, jjoosten@phil.uu.nl and dickdj@science.uva.nl): Interpretability in PRA
  5. Achim Blumensath (Dept. of Mathematics, TU Darmstadt, Germany, blumensath@mathematik.tu-darmstadt.de): Simple Monadic Theories
  6. Andrew Brooke-Taylor (Kurt Gödel Research Center for Mathematical Logic, The University of Vienna, Waehringer Strasse 25, A-1090 Vienna, Austria, andrewbt@logic.univie.ac.at): Definable Well-ordering, the GCH, and Large Cardinals
  7. Maria Bulińska (Wydział Matematyki i Informatyki, Uniwersytet Warmińsko-Mazurski w Olsztynie, Poland, bulma@uwm.edu.pl): Computational Complexity of NL1 with Assumptions
  8. Franqui Cárdenas (Departamento de matemáticas, Universidad Nacional de Colombia, Carrera 30 no 45-03, Bogotá DC, Colombia, fscardenasp@unal.edu.co): A Forcing Extension of a (ω2,1) Simplified Morasses With No (ω2,1) Simplified Morasses With Linear Limits Using an Unfoldable Cardinal
  9. Peter Cholak, Rod Downey, and Noam Greenberg (Department of Mathematics, University of Notre Dame, Notre Dame, Indiana, USA, peter.cholak.1@nd.edu; School of Mathematics, Statistics and Computer Science, Victoria University, P.O. Box 600,Wellington, New Zealand, Rod.Downey@vuw.ac.nz and greenberg@mcs.vuw.ac.nz): Strong Jump-traceability I : the Computably Enumerable Case
  10. Petr Cintula and George Metcalfe (Institute of Computer Science, Academy of Sciences of The Czech Republic, Pod Vodárenskou Věží 2, 18207 Prague 8, Czech Republic, cintula@cs.cas.cz; and Department of Mathematics, Vanderbilt University, 1326 Stevenson Center, Nashville, TN 37240, USA, George.metcalfe@vanderbilt.edu): Structural Completeness For Fuzzy Logics
  11. Benjamin Claverie (Institut für mathematische Logik und Grundlagenforschung, Universität Münster, Einsteinstr. 62, 48149 Münster, Germany, claverie@math.uni-muenster.de): Changing u2 by Stationary Set Preserving Forcing
  12. Ioanna Matilde Dimitriou and Peter Koepke (Mathematisches Institut der Universität Bonn, Beringstraße 1, 53115 Bonn, Germany, dimitri@math.uni-bonn.de and koepke@math.uni-bonn.de): Equiconsistency of Choiceless Higher Chang Conjectures with One Erdős Cardinal
  13. Natasha Dobrinen and Sy-David Friedman (Kurt Gödel Research Center for Mathematical Logic, The University of Vienna, Waehringer Strasse 25, A-1090 Vienna, Austria, dobrinen@logic.univie.ac.at): On the Consistency Strength of the Tree Property at the Double Successor of a Measurable Cardinal
  14. Horacio Faas (Universidad Nacional de Córdoba, Argentina, horaciofaas@gmail.com): Logical Inferences and Visualization
  15. Andrey N. Frolov (Department of Mathematics, Kazan State University, Andrey.Frolov@ksu.ru): Δ0n-categorical linear orderings
  16. Alexander N. Gavryushkin (Sobolev Institute of Mathematics, Acad. Koptyuga Avenue, Novosibirsk, 630090, Russia, ang@math.nsc.ru): Computable Models Spectra of Ehrenfeucht Theories
  17. Nicolas Guzy (Institut de Mathématique, Université de Mons-Hainaut, Le Pentagone, 6, avenue du Champ de Mars, B-7000 Mons, Belgium, nicolas.guzy@umh.ac.be): Towards a Notion of p-adic Closure for a Ring
  18. Petr Hájek (Institute of Computer Science, Academy of Sciences of the Czech Republic, hajek@cs.cas.cz): Complexity of Fuzzy Predicate Logics with Witnessed Semantics
  19. Immanuel Halupczok (Département de mathématiques et applications, Ecole Normale Supérieure, 45, rue d’Ulm, 75230 Paris Cedex 05, France, lc2007@karimmi.de): Motivic measure for pseudo-finite like fields
  20. Assaf Hasson (Mathematical Institute, 24-29 St Giles', Oxford, OX1 3LB, UK, hasson@maths.ox.ac.uk): On Uncountably Categorical Approximations and Gromov-Hausdorff Limits
  21. James Hunter (Department of Mathematics, University of Wisconsin-Madison, Madison, WI 53706, USA, hunter@math.wisc.edu): Higher-Order Reverse Topology
  22. Koichiro Ikeda (Hosei University, 2-17-1 Fujimi, Chiyoda, Tokyo 102-8160, Japan, ikeda@hosei.ac.jp): A Remark on a Characterization of Non-forking in Generic Structures
  23. Chris Impens and Sam Sanders (University of Ghent, Department of Pure Mathematics and Computer Algebra, Galglaan 2, B-9000 Gent, Belgium, ci@cage.ugent.be and sasander@cage.ugent.be): What If Computers Could Count to Infinity?
  24. Bart Kastermans and Steffen Lempp (Department of Mathematics, University of Wisconsin-Madison, Madison, WI 53706, USA, kasterma@math.wisc.edu and lempp@math.wisc.edu): Separating notions of randomness
  25. Thomas F. Kent and Andrea Sorbi (Università degli Studi di Siena, Dipartimento di Scienze Matematiche ed Informatiche "Roberto Magari", Pian dei Mantellini 44, 53100 Siena, Italy, kent@unisi.it and sorbi@unisi.it): Non-splitting Enumeration Degrees
  26. Aleksandra Kiślak-Malinowska (Faculty of Mathematics and Computer Science, University of Warmia and Mazury, Zolnierska 14, Olsztyn, Poland, akis@uwm.edu.pl): Pregroups: Their Logic and Applications for Natural Languages
  27. Martin Koerwien (Equipe de Logique Mathématique, UFR De Mathématiques (Case 7012), Université Denis-Diderot Paris 7, 2 Place Jussieu, 75251 Paris Cedex 05, France, koerwien@logique.jussieu.fr): Complexity of Isomorphism for Countable Models of Omega-stable Theories
  28. Leszek Aleksander Kołodziejczyk, Institute of Mathematics, Warsaw University, Banacha 2, 02-097 Warszawa, Poland, lak@mimuw.edu.pl; and Neil Thapen, Mathematical Institute, Academy of Sciences of the Czech Republic, Žitná 25, CZ-115 67 Praha 1): The Polynomial and Linear Time Hierarchies in Weak Arithmetic
  29. Zofia Kostrzycka (University of Technology, Luboszycka 3, 45-036 Opole, Poland, z.kostrzycka@po.opole.pl): On Formulas in One Variable and Logics Determined by Wheel Frames in NEXT(KTB)
  30. Satoru Kuroda (Faculty of Literature, Gunma Prefectural Women’s University, 1395-1, Kaminote, Tamamura-machi, Gunma, Japan, satoru@gpwu.ac.jp): Bounded Arithmetic and LOGCFL
  31. Robert S. Lubarsky and Fred Richman (Dept. of Mathematical Sciences, Florida Atlantic University, 777 Glades Rd., Boca Raton, FL 33431, USA, Robert.Lubarsky@alum.mit.edu and fred@math.fau.edu): Signed-bit Representations of Real Numbers and the Constructive Stone-Yosida Theorem
  32. Kerkko Luosto (Department of Mathematics and Statistics, P.O. Box 68 (Gustaf Hällströmin katu 2b), FI-00014 University of Helsinki, Kerkko.Luosto@Helsinki.fi): Unary Quantifiers and Built-in Successor
  33. Barbara Majcher-Iwanow (Institute of Mathematics, University of Wrocław, pl. Grunwaldzki 2/4, 50-384 Wrocław, Poland, ivanov@math.uni.wroc.pl): Nice Topologies of Polish G-spaces and Admissible Sets
  34. Ondrej Majer (Institute of Philosophy, Academy of Sciences of the Czech Republic, majer@site.cas.cz; and Libor Behounek, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague): Probabilistic representation of fuzzy logics
  35. Satoshi Matsuoka (National Institute of Advanced Industrial Science and Technology, 1-1-1 Umezono,Tsukuba, Ibaraki, 305-8563, Japan, matsuoka@ni.aist.go.jp): MLL Proof Nets as Error-correcting Codes
  36. Heike Mildenberger (Kurt Gödel Research Center for Mathematical Logic, Universität Wien, Währinger Str. 25, 1090 Wien, Austria, heike@logic.univie.ac.at): There May Be Infinitely Many Coherence Classes under u<d
  37. Hiroaki Minami (Graduate School of Engineering, Kobe University, 1-1 Rokkodai, Nada, Kobe 657-8501, Japan, minami@kurt.scitec.kobe-u.ac.jp): Around Splitting And Reaping Number For Partitions of ω
  38. Luca Motto Ros (Dipartimento di Matematica, Politecnico di Torino, Corso Duca degli Abruzzi 24, 0129 Torino, Italy, luca.mottoros@polito.it): General Reducibilities for Sets of Reals
  39. Alexey Muranov (Camille Jordan Institute, Université Claude Bernard Lyon 1, 69622 Villeurbanne cedex, France, muranov@math.univ-lyon1.fr): Interpretability of the Arithmetic in Certain Finitely Presented Groups
  40. Cyrus Nourani (Academia, California, Cyrusfn@alum.mit.edu): Positive Realizability Morphisms and Tarski Models
  41. Michael O'Connor (Department of Mathematics, 310 Malott Hall, Cornell University, Ithaca, NY 14853-4201, USA, mkoconnor@gmail.com): The Order-Theoretic Structure of Free Heyting Algebras
  42. Robert Owen (Department of Mathematics, University of Wisconsin-Madison, Madison, WI 53706, USA, owen@math.wisc.edu): Outer Models, Class Forcing, and Weakly Self-defining Classes
  43. Michal Peliš (Department of Logic, Faculty of Philosophy, Charles University in Prague, nam. J. Palacha, 116 38 Praha 1, Czech Republic, pelis@ff.cuni.cz): Epistemic Logic and Questions
  44. Tomasz Połacik (Institute of Mathematics, University of Silesia, Katowice, Poland, polacik@us.edu.pl): Back and Forth Between Kripke Structures
  45. Alexandra Revenko (Sobolev Institute of Mathematics, Acad. Koptyuga Avenue, Novosibirsk, 630090, Russia, a.a.revenko@gmail.com): Automatic Linear Orders
  46. Gemma Robles, José M. Méndez and Francisco Salto (Edificio F.E.S., Campus Unamuno, E-37007 Salamanca, Spain, gemmarobles@gmail.com and sefus@usal.es, http://www.usal.es/glf; and Dept. of Psychology, Sociology and Philosophy, Universidad de León, Campus Vegazana, 24071 León, Spain, dfcfsa@unileon.es): Relevance Logics and Intuitionistic Negation
  47. Denis I. Saveliev (All-Russian Institute of Scientific and Technical Information of the Russian Academy of Sciences, Staroe Shosse (Old Highway) 9-1-5, Moscow, Russia, denissaveliev@mail.ru): On Cardinals in Set Theory Without Choice and Regularity
  48. Philipp Schlicht (Institut für mathematische Logik und Grundlagenforschung, Universität Münster, Einsteinstr. 62, 48149 Münster, Germany, pschlicht@gmx.de): Thin Projective Equivalence Relations and Inner Models
  49. Mikhail Sheremet, Frank Wolter, and Michael Zakharyaschev (School of Computer Science and Information Systems, Birkbeck (University of London), Malet Street, London, WC1E 7HX, U.K., mikhail@dcs.bbk.ac.uk and michael@dcs.bbk.ac.uk; Department of Computer Science, University of Liverpool, Liverpool, L69 3BX, U.K., frank@csc.liv.ac.uk): A Modal Logic of Metric Spaces
  50. Tomasz Skura (Institute of Philosophy, University of Zielona Góra, Wojska Polskiego 71A, 65­762 Zielona Góra, Poland, tskura@uz.zgora.pl): Finite Reduction Trees in Modal Logic
  51. Elliott Spoors (Department of Pure Mathematics, University of Leeds, Leeds, LS2 9JT, U.K., espoors@hotmail.com): Provably Recursive Functions in Extensions of a Predicative Arithmetic
  52. Jack D. Stecher, Harrie De Swart, and Kira Pronin (Department of Accounting, Auditing and Law, Norwegian School of Economics and Business Administration, Helleveien 30
    N-5045 Bergen, Norway, jack.stecher@nhh.no; Department of Philosophy, Tilburg University, Postbus 90153, 5000 LE Tilburg, Netherlands, H.C.M.deSwart@uvt.nl; Institutt for Økonomi, Postboks 7802, 5020 Bergen, Norway, Kira.Pronin@student.uib.no): Intuitionism and Repeated Games
  53. Alexey Stukachev (Sobolev Institute of Mathematics, Acad. Koptyug avenue 4, Novosibirsk, 630090, Russia, aistu@math.nsc.ru): On Ershov Semilattices of Degrees of Σ-definability of Structures
  54. Marina Stukacheva (Sobolev Institute of Mathematics, Acad. Koptyuga Avenue, Novosibirsk, 630090, Russia, shinkore@math.nsc.ru): On Models of Paraconsistent Analogue of the Scott Logic
  55. Dariusz Surowik (Department of Logic, Informatics and Philosophy of Science, University of Bialystok, Poland, and College of Computer Science, and Business Administration in Lomza, Poland, Surowik@hum.uwb.edu.pl): A New Axiomatization of IKt System
  56. Luis Adrian Urtubey (Facultad de Filosofía, Ciudad Universitaria, Córdoba, Argentina, urtubey@ffyh.unc.edu.ar): An Analysis of Some Basic Philosophical Thesis about Non-deductive Inference in the Framework of CHC Models
  57. Heinrich Wansing and Yaroslav Shramko: (Institute of Philosophy, Dresden University of Technology, 01062 Dresden, Germany, Heinrich.Wansing@tu-dresden.de; and Department of Philosophy, State Pedagogical University, 50086 Krivoi Rog, Ukraine, yshramko@ukrpost.ua): Harmonious Many-valued Propositional Logics  and the Logic of Computer Networks
  58. James Worthington (Mathematics Department, Malott Hall, Cornell University, Ithaca, NY 14850, USA, worthing@math.cornell.edu): Automatic Proof Generation in Kleene Algebra with Tests
  59. Urszula Wybraniec-Skardowska and Zbigniew Bonikowski (Autonomous Section of Applied Logic, Poznań School of Banking, Department in Chorzów, Poland,  uws@uni.opole.pl; and Institute of Mathematics and Informatics, University of Opole, 48 Oleska St., 45–052 Opole, Poland, zbonik@math.uni.opole.pl): On Vague Sets and Vague Logic
  60. Ikuo Yoneda (Department of Mathematics, Tokai University, 1117 Kitakaname, Hiratsuka, Kanagawa, 259-1292, Japan, ikuo.yoneda@s3.dion.ne.jp): CM-triviality and Geometric Elimination of Imaginaries
  61. Teruyuki Yorioka (Department of Mathematics, Shizuoka University, Ohya 836, Shizuoka, 422-8059, Japan, styorio@ipc.shizuoka.ac.jp): Fragments of Martin's Axiom Related to the Rectangle Refining Property
  62. Ryan Young (Institut für Logic und Wissenschaftstheorie, Universität Leipzig, Germany, Ryan.Young@anu.edu.au): Asymmetric Systems of Natural Deduction
  63. Konrad Zdanowski (Institute of Mathematics, Polish Academy of Science, konrad.zdanowski@wp.pl): On the Second Order Intuitionistic Propositional Logic Without Universal Quantifier

Talks Presented by Title:

  1. Adib Ben Jebara (Apt. F3, Residence Badr Manar 1, Tunis 2092, Tunisia, adib.jebara@topnet.tn): An Interpretation about Space and Ttime in Quantum Mechanics
  2. Erica Calardo (Manchester Metropolitan University, Department of Computing and Mathematics, Chester Street, Manchester M1 5GD, UK, e.calardo@gmail.com): Admissible Rules for the Multimodal Logic of Knowledge and Time LTK1
  3. John Corcoran (Dept. of Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA, corcoran@buffalo.edu): Aristotle's many-sorted logic
  4. Alexander Denisov (Research Institute of Mathematics, Yakutsk, Russia, yakutiamath@mail.ru): Double Tree as a Double Structural Diagram
  5. Nikolaos Galatos (School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan, galatos@jaist.ac.jp): Axiomatizations for Intersections of Substructural Logics
  6. V. V. Rematski (Siberian Federal University, Svobodny av. 82, Krasnoyarsk, 660041, Russia, Gemmeny@rambler.ru): An Explicit Basis for Admissible Rules of Modal Logics Extending S4.1
  7. Vladimir Rybakov (Department of Computing and Mathematics, Manchester Metropolitan University, Chester Street, Manchester, M1 5GD, U.K., V.Rybakov@mmu.ac.uk): Discrete Linear Temporal Logic with Current Time Point Clusters
  8. Jacek Waldmajer (Section of Logic and Methodology of Science, Department of Philosophy, University of Opole, Poland, jwaldmajer@uni.opole.pl): Logical Theory of Structures
  9. Xunwei Zhou (Institute of Information Technology, Beijing Union University, 97 Beisihuandong Road, Beijing, China, zhouxunwei@263.net): The First Level Predicate Calculus of Mutually-inversistic Logic is Quantifier-free
Prepared by Steffen Lempp (lempp@math.wisc.edu)