Abstracts of Contributed Talks
(Logic Colloquium 2007, Wrocław, Poland, July 14-19, 2007)
Talks Presented by Speakers:
- 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
- Ilnur Batyrshin (Department of Mathematics, Kazan State
University, ilnurb@yandex.ru): The Algebraic Structure of Quasi-degrees
- 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
- 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
- Achim Blumensath (Dept. of Mathematics, TU Darmstadt, Germany, blumensath@mathematik.tu-darmstadt.de):
Simple Monadic Theories
- 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
- Maria Bulińska (Wydział Matematyki i Informatyki, Uniwersytet
Warmińsko-Mazurski w Olsztynie, Poland, bulma@uwm.edu.pl): Computational Complexity of NL1 with
Assumptions
- 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
- 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
- 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
- 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
- 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
- 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
- Horacio Faas (Universidad Nacional de Córdoba, Argentina, horaciofaas@gmail.com): Logical Inferences and Visualization
- Andrey N. Frolov (Department of Mathematics, Kazan State
University, Andrey.Frolov@ksu.ru):
Δ0n-categorical linear
orderings
- Alexander N. Gavryushkin (Sobolev Institute of
Mathematics, Acad.
Koptyuga Avenue, Novosibirsk, 630090, Russia, ang@math.nsc.ru): Computable Models Spectra of Ehrenfeucht
Theories
- 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
- 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
- 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
- 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
- James Hunter (Department of Mathematics,
University of Wisconsin-Madison, Madison, WI 53706, USA, hunter@math.wisc.edu): Higher-Order Reverse Topology
- 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
- 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?
- 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
- 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
- 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
- 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
- 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
- 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)
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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 ω
- 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
- 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
- Cyrus Nourani (Academia, California, Cyrusfn@alum.mit.edu): Positive Realizability Morphisms and
Tarski Models
- 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
- 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
- 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
- Tomasz Połacik (Institute of Mathematics, University of Silesia,
Katowice, Poland, polacik@us.edu.pl):
Back and Forth Between Kripke Structures
- Alexandra Revenko (Sobolev Institute of Mathematics, Acad.
Koptyuga Avenue, Novosibirsk, 630090, Russia, a.a.revenko@gmail.com): Automatic Linear Orders
- 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
- 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
- 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
- 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
- Tomasz Skura (Institute of Philosophy,
University of Zielona
Góra, Wojska Polskiego 71A, 65762 Zielona Góra,
Poland, tskura@uz.zgora.pl): Finite Reduction Trees in Modal Logic
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- James Worthington (Mathematics Department, Malott Hall, Cornell
University, Ithaca, NY 14850, USA, worthing@math.cornell.edu):
Automatic Proof Generation in Kleene
Algebra with Tests
- 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
- 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
- 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
- Ryan Young (Institut für Logic und Wissenschaftstheorie,
Universität Leipzig, Germany, Ryan.Young@anu.edu.au): Asymmetric Systems of Natural Deduction
- 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:
- 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
- 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
- John Corcoran (Dept. of Philosophy,
University at Buffalo, Buffalo, NY 14260-4150, USA, corcoran@buffalo.edu): Aristotle's many-sorted logic
- Alexander Denisov (Research Institute of Mathematics, Yakutsk,
Russia, yakutiamath@mail.ru):
Double Tree
as a Double Structural Diagram
- 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
- 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
- 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
- Jacek Waldmajer (Section of Logic
and Methodology of Science, Department of Philosophy, University of
Opole, Poland, jwaldmajer@uni.opole.pl):
Logical
Theory of Structures
- 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)