The deadline for submission of abstracts of contributed talks was on April 18, and we do not accept any new contributions. The abstracts of talks accepted for presentation will appear in a volume handed out to the participants of the Colloquium. The abstracts of members of the ASL will also appear later in the BSL. A few sessions of contributed papers will be reserved for participants of ELSS 2000.

Here is a (provisional) list of contributions, listed by themes. At the end you will find the list of contributions presented by title. You can view the abstracts in format dvi or ps.

You can view the provisional schedule of the contributed talks by clicking here. (It has not yet been updated to reflect what really happened - our apologies). A (*) indicates that the participant presented his/her contributed talk in the special session of Contributed talks of ELSS 2000, on Thursday July 27.

Applications of Logic to Cognitive Sciences

• Nicholas Asher, Yi Mao: A New Definition of Non-monotonic Inference  (ps, dvi)
• Béatrice Godart-Wendling, Pierre Joray: On Ajdukiewicz's Categorical Analysis of Quantifiers  (ps, dvi)
• Michael Heather: Formal Representation of Legal Cognition  (ps, dvi)
• Vincent F. Hendricks, Stig Andur Pedersen: KK'ing Diachronically  (ps, dvi)
• Leon Horsten, Hannes Leitgeb: Paradoxes for Tense Logic  (ps, dvi)
• Yuzuru Kakuda, Makoto Kikuchi: An Abstract Scheme of Design  (ps, dvi)
• Kepa Korta, Jesus M. Larrazabal: On the Logic of Collective intention  (ps, dvi)
• Daniel Lacombe: How to Use Virtual World in Linguistic  (ps, dvi)
• Robert Milnikel: Monotone Proofs in Predicate Default Logic with the Domain Closure Assumption  (ps, dvi)
• Fernando Naufel do Amaral, Edward Hermann Haeusler: An Action Logic for Real-Time Reasoning  (ps, dvi)
• Michael Rescorla: Brandom's Philosophy of Logic   (ps, dvi)
• V.V. Rybakov: Barwise's Information Frames and Modal Logics  (ps, dvi)
• Urszula Wybraniec-Skardowska: Three Principles of Compositionality  (ps, dvi)

Computability and Complexity

• Marat Arslanov: The Local Enumeration Degree Structures  (ps, dvi)
• Arnold Beckmann: Model-theoretic Characterizations of the Separation Problem of Bounded Arithmetic  (ps, dvi)
• Anatoly P. Beltiukov: Smullyan Rudimentary Predicates and Skolem Elementary Functions on Trees  (ps, dvi)
• Vasco Brattka: Recursive and Computable Operations over Topological Structures  (ps, dvi)
• V.K.Bulitko: Post Problem for Restricted Reducibilities  (ps, dvi)
• M. Burgin: Fixed Points for Algorithmic Classes  (ps, dvi)
• William C. Calhoun: Embedding Finite Lattices Into the Lattice of Ideals of Computably Enumerable Turing Degrees  (ps, dvi)
• Newton C. A. da Costa, Francisco Antonio Doria: On the Consistency of P=NP with Peano Arithmetic  (ps, dvi)
• Rod Downey, Denis R. Hirschfeldt, Bakhadyr Khoussainov: Uniformity in Computable Structure Theory  (ps, dvi)
• Alejandro Fernández Margarit, F. Félix Lara Martín: Some Results on LDelta_{n+1}^-  (ps, dvi)
• Olivier Finkel: On Locally Finite Languages  (ps, dvi)
• J.-S. Gakwaya, Ch. Michaux: Graded Universal Function for BSS-Grzegorczyk Hierarchy and Separation of Complexity Classes  (ps, dvi)
• Matthew B. Giorgi: Minimal Degrees below High Degrees  (ps, dvi)
• Mariagnese Giusto (*): Free Sets and Reverse Mathematics  (ps, dvi)
• M.C. Graciani, M.J. Pérez Jiménez, A. Romero Jiménez: Some Functional Schemes in Arithmetic  (ps, dvi)
• Asylkhan Khisamiev: Relation Between T-Degrees and Sigma-Degrees of a Model  (ps, dvi)
• Nurlan T. Kogabaev: Strictly Computability of Class of Constructive I-algebras  (ps, dvi)
• M.V. Korovina, O.V. Kudinov: Definability of Computable Functionals over the Reals without Equality  (ps, dvi)
• Lars Kristiansen: Honest and Semi-honest Subrecursive Degrees  (ps, dvi)
• Oliver Kullmann: On Minimally Unsatisfiable Conjunctive Normal Forms  (ps, dvi)
• Satoru Kuroda: Integer Division and Second Order Weak Bounded Arithmetic  (ps, dvi)
• Vladimir A. Molchanov: Nonstandard Theory of Many-Sorted Finite Models and its Application to Semigroups and Automata on Infinite Words  (ps, dvi)
• Morteza Moniri (*): Some Results on Intuitionistic Pi_1-Induction  (ps, dvi)
• Chris Pollett, Randall Pruim: Strengths and Weaknesses of LH Arithmetic  (ps, dvi)
• V. Yu. Shavrukov (joint work with Robert M. Solovay): Branches of the E-tree and Jump Pseudo-hierarchies  (ps, dvi)
• Vladimir Sotirov (*): Leibniz Style Arithmetization of Monadic Predicate Calculus with Equality  (ps, dvi)
• Maxim Vsemirnov: Undecidable Weak Theories of Polynomial Rings  (ps, dvi)

History of Logic of the 20th century

• Michel Bourdeau: Paul Du Bois-Reymond et l'idée de logique empirique  (ps, dvi)
• Manuel A. Correia: Aristotle's De Interpretatione Chapter 14  (ps, dvi)
• Jairo José da Silva: The Many Senses of Completeness  (ps, dvi)
• Reinhard Kahle, Volker Peckhaus: Hilbert's Paradox  (ps, dvi)
• Javier Legris: Paul Hertz's Systems of Propositions and The Origins of Proof Theory  (ps, dvi)
• Jacek Pasniczek: Meinongian Logics  (ps, dvi)

Model Theory

• B. Baizhanov, M. Erimbetov: Extensions of Countable Models of Stable Theories  (ps, dvi)
• Stefano Baratella, Siu-Ah Ng: Applications of Quantifier Elimination in Banach Spaces  (ps, dvi)
• Russell Barker: A Sketch of the Proof that There is no Recursive Link Between the k-size of a Model and its Cardinality  (ps, dvi)
• Luc Bélair: Delta-Rings and Axioms for Witt Vectors with Frobenius  (ps, dvi)
• Oleg Belegradek: Poly-Regular Ordered Abelian Groups  (ps, dvi)
• G. Campero-Arena, J. K. Truss: Homogeneous and 1-Transitive Coloured, Countable Linear Orderings  (ps, dvi)
• Walter A. Carnielli, Marcelo E. Coniglio: Translations and Model Theory  (ps, dvi)
• Zoé Chatzidakis, Ehud Hrushovski: Some Asymptotic Results on Fields  (ps, dvi)
• R. Cluckers: Invariants of Semi-algebraic p-adic Sets  (ps, dvi)
• P. Dellunde, F. Delon, F. Point: Separably Closed Fields Considered as Modules  (ps, dvi)
• Françoise Delon: Minimal Groups in Separably Closed Fields  (ps, dvi)
• Max Dickmann, Francisco Miraglia: Model-theoretic Results for Pythagorean Fields  (ps, dvi)
• Marko Djordjevic: Recursive Upper Bounds for a Class of L^n-Theories  (ps, dvi)
• Mário J. Edmundo: O-minimal Cohomology and Definably Compact Definable Groups  (ps, dvi)
• Ali Enayat: \sum_0^1- Definitions of Infinity  (ps, dvi)
• Yu.L.Ershov: On Wonderful Extensions of the Field Q of Rational Numbers  (ps, dvi)
• José Iovino: A Dichotomy for the Asymptotic Geometry of Sequences  (ps, dvi)
• Alexandre Ivanov: Actions of Automorphism Groups on Real Trees  (ps, dvi)
• Eric Jaligot: "Small" Groups of Finite Morley Rank  (ps, dvi)
• Markus Junker: Topologically Defined Independence Relations  (ps, dvi)
• Juliette Kennedy, Saharon Shelah: On Universality Properties of Reduced Products  (ps, dvi)
• Hirotaka Kikyo: Generic Automorphisms and the DMP  (ps, dvi)
• Moses Klein: Embedding Groups into the Baer-Specker Group  (ps, dvi)
• Oren Kolman, Saharon Shelah: Infinitary Axiomatizabiliy of Slender and Cotorsion-free Groups  (ps, dvi)
• Ingo Kraus (*): Quantifierfree Stability in Generic Structures  (ps, dvi)
• Gérard Leloup: Valuations with Cyclically Ordered Exponents  (ps, dvi)
• Olivier Lessmann: Simplicity Inside a Homogeneous Model  (ps, dvi)
• F. Lucas: First-order Theories of r-projectable l-groups and Priestley Products  (ps, dvi)
• Kerkko Luosto: Four Variables and Finite Groups  (ps, dvi)
• Marcin Mostowski, Konrad Zdanowski: Some Properties of Logics with Henkin Quantifiers in Poor Vocabularies  (ps, dvi)
• Jon Nedelmann (*): The Spectrum of a Simple Modular Theory  (ps, dvi)
• Ludomir Newelski: Small Profinite Groups  (ps, dvi)
• Francis Oger: An Application of Ramsey's Theorem to Groups with Homogeneous Theory  (ps, dvi)
• Thanases Pheidas: Open Problems Towards an Analogue of Hilbert's Tenth Problem for the Rational Numbers  (ps, dvi)
• David A. Pierce: Model-theoretic Differential Geometry  (ps, dvi)
• Armin Rigo (*): Complétions de Cauchy de structures uniformes du premier ordre  (ps, dvi)
• J. Rosický: Two Preservation Thorems in Infinitary Logic  (ps, dvi)
• Gábor Sági (*): Ultraproducts, Higher Order Logics and Complexity Theory  (ps, dvi)
• Thomas Scanlon: Groups Definable in Compact Complex Manifolds  (ps, dvi)
• Philip Scowcroft: Easy Proofs of Some Theorems of Ax-Kochen-Ershov  (ps, dvi)
• Ziv Shami (*): Groups Interpretable in Simple Theories  (ps, dvi)
• Patrick Simonetta: On Valued C-minimal Groups  (ps, dvi)
• Katrin Tent: BN-pairs of Finite Morley Rank  (ps, dvi)
• Carlo Toffalori: On the Ziegler Spectrum of a Group Ring  (ps, dvi)
• Jouko Väänänen, Boban Velickovic: Winning Strategies and sigma-closed Sets of Partial Isomorphisms  (ps, dvi)
• Viktor V. Verbovskiy: On Unary Functions Definable in Coset-Minimal Ordered Groups  (ps, dvi)
• Roman Wencel: Boolean-Ordered O-Minimal Structures  (ps, dvi)
• Alex Wilkie (*): Liouville Functions  (ps, dvi)
• Karim Zahidi: Existential Theories of Rings Connected with Hilbert's Tenth Problem  (ps, dvi)

Philosophy

• Edward Belaga: Post-Hilbertian Programme and Its Post-Gödelian Stumbling Block. II  Logical, Phenomenological, and Philosophical Limits of the Set-Theoretical Quest for Mathematical Infinity  (ps, dvi)
• Jean-Yves Béziau: Universal Logic: Towards a General Theory of Logics  (ps, dvi)
• Pascal Boldini: The Reference of Mass Terms in Type Theory  (ps, dvi)
• Paula Bucholc (*): Logical Competence Versus Logical Correctness  (ps, dvi)
• Bernd Buldt: An Epistemological Difference Between G1 and G2  (ps, dvi)
• Michele Friend: Is 'Analytical Truth' in Mathematics Co-Extensional with 'Theorem?  (ps, dvi)
• Norma B. Goethe: Frege's Arguments Against Kant's Notion of Pure Intuition and the Principles of Logic  (ps, dvi)
• Kai Hauser: Objectivity over Objects  (ps, dvi)
• Aviad Heifetz, Philippe Mongin: Une Logique Probabiliste pour les Espaces de Types  (ps, dvi)
• Andrei Kouznetsov: Multidimensional Logic on the Generalized Consequences  (ps, dvi)
• Serban Leoca (*): What is it a logical theory of truth?  (ps, dvi)
• Diego Letzen, Luis Urtubey: Non Contradiction as a "No Overlap" Condition and Incompatibility Relations in Lattices  (ps, dvi)
• Øystein Linnebo: Field's Nominalism and the Concept of an Object  (ps, dvi)
• Mathieu Marion: Radical Antirealism and Substructural Logics  (ps, dvi)
• José Martínez Fernández (*): A Strategy for the Solution to the Gupta-Belnap Fixed-Point Problem  (ps, dvi)
• Mieczyslaw Omyla: Extensionality and the Fregean Axiom  (ps, dvi)
• Lisa O'Neill, John Serembus: Leblanc and The Development of Twentieth Century Logic  (ps, dvi)
• Carlos Pelta: Wide Sets, Deep Many-Valuedness and Sorites Arguments  (ps, dvi)
• Ahti Pietarinen: Some Remarks on Games Logic Plays  (ps, dvi)
• Andrzej Krzysztof Rogalski: Recent Approaches to the Theory of Truth  (ps, dvi)
• Michael B. Wrigley: Logic, Reduction, and Number in the Tractatus  (ps, dvi)

Proof Theory and Logical Foundation of Computer Science

• Mojtaba Aghaei : Gentzen-style Axiomatizations for Conservative Extensions of Basic Propositional Logic  (ps, dvi)
• Yuuki Andou : Strong Normalization of Classical Natural Deduction  (ps, dvi)
• Mohammad Ardeshir : A Gentzen-style Axiomatization for Basic Predicate Logic  (ps, dvi)
• Jeremy Avigad : Cut Elimination Revisited  (ps, dvi)
• Arnon Avron: Safety of Formulas in Query Languages, in Set Theory and in Metamathematics  (ps, dvi)
• Wojciech Buszkowski: Finite Models for Linear Logics  (ps, dvi)
• L. Crosilla (*): Constructive Set Theories with Restricted Induction  (ps, dvi)
• Giovanni Curi (*): How a Point-free Constructive Version of the Uryshon Metrization Theorem Can Turn a Collection Into a Set  (ps, dvi)
• Stéphane Demri, Rajeev Goré: Theoremhood Preserving Maps Characterising Cut Elimination for Modal Provability Logics  (ps, dvi)
• Solomon Feferman: On the Proof Theoretical Strength of some Systems with the Numerical Omniscience Scheme  (ps, dvi)
• Solomon Feferman, Thomas Strahm: Unfolding Finitist Arithmetic  (ps, dvi)
• Hans Fleischhack, Elisabeth Pelz: Partial Order Based Model Checking with DataTypes  (ps, dvi)
• Jonatan Gomez: Consequence Relations, Finitary Closure Operators and Scott's Information Systems  (ps, dvi)
• Volker Halbach: Disquotational Truth and Analyticity  (ps, dvi)
• Makoto Tatsuta, Sachio Hirokawa: Long D-normal Form Yields Uniqueness of Proofs  (ps, dvi)
• Ying Jiang: Positive Types in System \cal F  (ps, dvi)
• Thierry Joly: Les types non finiment engendrés du Lambda-Calcul  (ps, dvi)
• Reinhard Kahle: Name Induction in Explicit Mathematics  (ps, dvi)
• Richard Lassaigne, Michel de Rougemont: Definability and Verification by Model Checking  (ps, dvi)
• Alexander V. Lyaletski: On Herbrand Theorem  (ps, dvi)
• Maria da Paz N. Medeiros, Luiz Carlos Pereira: Translations and Normalization Procedures  (ps, dvi)
• Maria Napierala: Constructive Content of Classical Reasoning  (ps, dvi)
• Sara Negri: Systems of Natural Deduction for Intuitionistic Linear Logic  (ps, dvi)
• Jan von Plato: Classical Natural Deduction  (ps, dvi)
• Valeri Plisko: A Predicate Logic Based on the Gödel Interpretation and the System of Hereditary Effective Operations  (ps, dvi)
• Valeri Plisko, Dmitri Viter: Equality from the Constructive Point of View  (ps, dvi)
• Andreja Prijatelj: Linear Logic in View of Bounded Structural Rules  (ps, dvi)
• Dieter Probst: Iteration as an Induction Principle in Explicit Mathematics  (ps, dvi)
• Christian Renteria: Natural Deduction for CTL - Proof Theory  (ps, dvi)
• B.N. Rossiter: The Logic of Interacting Levels in Database Schemata  (ps, dvi)
• Saeed Salehi (*): A Generalized Realizability for Constructive Arithmetics  (ps, dvi)
• Zbigniew Stachniak: IG-Resolution for Definite Theories  (ps, dvi)
• Thomas Strahm: Bounded Applicative Theories  (ps, dvi)
• Thomas Studer: Impredicative Overloading in Explicit Mathematics  (ps, dvi)
• Lorenzo Tortora de Falco: Coherent Obsessional Experiments for Linear Logic Proof-nets  (ps, dvi)
• Sergei Tupailo: Realization of Intuitionistic KPM in Explicit Mathematics  (ps, dvi)
• Dan E. Willard: Extending the Cut-Free Version of the Second Incompleteness Theorem Almost to Robinson's Arithmetic Q  (ps, dvi)
• Tatiana Yavorskaya (Sidon): Logic of Proof and Storage Predicates  (ps, dvi)
• Rostislav Yavorsky: Provability Logics with Quantifiers on Proofs  (ps, dvi)
• Vladimir A. Zakharov: On the Approximation Relation on Dynamic Logic Models  (ps, dvi)

Set Theory

• Jordi López Abad (*): Almost-Ramsey Sets in c_0  (ps, dvi)
• David Asperó(*): The Bounded Martin's Maximum and the Size of the Continuum  (ps, dvi)
• Joan Bagaria: Determinacy and Weakly-Ramsey Sets in Banach Spaces  (ps, dvi)
• Gary D. Bell: On Evidence Concerning the Continuum Hypothesis  (ps, dvi)
• Lev Bukovský: On Some Families of Thin Sets  (ps, dvi)
• Mauro Di Nasso: ZFC[\Omega]: a nonstandard set theory where all sets have nonstandard extensions  (ps, dvi)
• Carlos A. Di Prisco, Jimena Llopis, Stevo Todorcevic: Parametrized Partitions  (ps, dvi)
• Natasha Dobrinen: A Partial Result on a Problem of Jech  (ps, dvi)
• Lech Dubikajtis: Certains systèmes faibles de la théorie des ensembles  (ps, dvi)
• Mirna Dzamonja: D-spaces  (ps, dvi)
• Olivier Esser: On the Generalized Positive Comprehension Principle  (ps, dvi)
• Marco Forti: Strongly Extensional vs Complementable Collections  (ps, dvi)
• Aapo Halko: On Strong Measure Zero Subsets of {}^\kappa 2  (ps, dvi)
• Joel David Hamkins: A Simple Maximality Principle  (ps, dvi)
• James Hirschorn: Random Trees Under CH  (ps, dvi)
• V. Kanovei: On Borel Non-reducibility of P-ideals  (ps, dvi)
• Paul Larson: On Gödel's Argument for c = omega_2  (ps, dvi)
• Benedikt Löwe (*): A measure-Theoretic Wagde Hierarchy  (ps, dvi)
• Gian Arturo Marco: Omitting Types and the Logic Action  (ps, dvi)
• Juan Carlos Martínez: A Forcing Construction for Thin-Very Tall Boolean Algebras  (ps, dvi)
• Heike Mildenberger, Saharon Shelah: The Relative Consistency of g < cf(Sym(omega))  (ps, dvi)
• David Miller: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice  (ps, dvi)
• Stefan Neumann: PCF Theory for Small Products of Arbitrary Partial Orders  (ps, dvi)
• Matti Pauna: On Non-Wellfounded Sets as Fixed Points of Substitutions  (ps, dvi)
• Mika Rautila: Some Results on Stationary Subsets of Regular Cardinals  (ps, dvi)
• Masahiro Shioya: Partitioning Pairs of Uncountable Sets  (ps, dvi)
• Yi Zhang: Adjoining Cofinitary Permutations  (ps, dvi)

Others

• Tarek Sayed Ahmed: On Neat Reducts of Algebras of Logics  (ps, dvi)
• Carlos Javier Ruiz Salguero, Víctor Manuel Ardila de la Peña, José Reinaldo Montañez Puentes: An alternative notion of topological category. External logic on some topological categories  (ps, dvi)
• Alexandru Baltag: Universal Set Theory and Strong Modal Reflection Principles  (ps, dvi)
• D.A.Bredikhin: N-Variables Positive Logic and Algebras of Relations  (ps, dvi)
• Dumitru Busneag : On Relatively Pseudocomplemented Posets and Implicative Algebras  (ps, dvi)
• Philip Ehrlich: Real and Surreal Arithmetic Continua  (ps, dvi)
• Robert Goldblatt: Equational Definability of Some Classes of Coalgebras  (ps, dvi)
• Valentin Goranko, Bruce Kapron: The Modal Logic of the Countable Random Frame  (ps, dvi)
• Petr Hájek (*): Properties of Monadic Fuzzy Predicate Logics  (ps, dvi)
• Robin Hirsch, Ian Hodkinson, Agnes Kurucz: Modal Logics Between K^3 and S5^3  (ps, dvi)
• Zuzana Honzíková (*): A Contribution on t-norm Based Logics  (ps, dvi)
• Larisa Maksimova: Intuitionistic Logic and Projective Beth Property  (ps, dvi)
• Jacek Malinowski (*): Quantum Logical Consequence  (ps, dvi)
• Alexandra Ralph: Languages for Describing Sheaves of Modules  (ps, dvi)
• Pavel Schreiner: Fragment of Logic of Finite Constant Domains Without Disjunction and Existential Quantifier  (ps, dvi)
• Dmitry Tishkovsky: On Algebraic Counterparts of Some Properties of Superintuitionistic Predicate and Intuitionistic Polymodal Logics  (ps, dvi)
• A.D. Yashin: On the Relationship Between Intuitionistic Propositional Logic and Intuitionistic Protothetics  (ps, dvi)

Contributed papers presented by title

• B.S. Baizhanov: Some Remarks on Theories Without Finite Cover Property  (ps, dvi)
• Xavier Caicedo: The Ehrenfeucht-Mostowski Theorem in Abstract Logics  (ps, dvi)
• John Corcoran: What are Logical Relations?  (ps, dvi)
• Dusan Guller: Model, Fixpoint, and Herbrand Semantics for Quantified Disjunctive Programs  (ps, dvi)
• Sriram Nambiar, John Corcoran: Boole's Elimination Summation Problem: an Overlooked Breakthrough  (ps, dvi)
• Beibut Sh. Kulpeshov: Binary aleph_0-categorical Weakly O-minimal Theories  (ps, dvi)
• Vera Puninskaya: Modules with Few Models over a Serial Ring  (ps, dvi)
• Shahid Rahman: A New Dialogical Semantics for Linear Logic  (ps, dvi)
• Hans Schoutens: The Decidability of the Existential Theory of F_p[[t]] and Resolution of Singularities  (ps, dvi)
• Albert Sweet: Locally Standard Grammar  (ps, dvi)
• Z. Talasbaeva: Positive Numberings of the Families of Sigma_n^{-1} Sets  (ps, dvi)
• J.V. Tucker, J.I. Zucker: Abstract Versus Concrete Models of Computation on Partial Metric Algebras  (ps, dvi)
• Peter Vojtás: Many Valued Logic Programming - Implications Versus Clauses  (ps, dvi)

Updated February 2, 2001.