LC 2000 et ELSS 2000
Communications libres
La date limite de soumission de résumés de communications
était le 18 avril 2000, et nous n'acceptons plus de nouvelles
communications. Les résumés acceptés seront réunis dans un
volume distribué aux participants du Colloque.
Les résumés dont l'un des auteurs au moins est membre de l'ASL,
seront publiés ultérieurement dans les compte-rendus de la conférence
dans le Bulletin of Symbolic Logic. Quelques sessions parallèles
seront consacrées aux communications libres de ELSS 2000.
Voici la liste (encore provisoire) par thème des communications.
En fin de liste vous trouverez les communications présentées
par titre. Les résumés sont disponibles en format ps ou
dvi.
Un emploi du temps provisoire des contributions libres est disponible,
en format ps uniquement (cliquer ici). (Nous
nous excusons de n'avoir pas encore mis à jour cet emploi du
temps). Les
exposés faits dans le cadre de l'École
d'été ELSS 2000 sont indiqués par (*).
Applications de la logique aux Sciences Cognitives
- 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
theDomain 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)
Calculabilité et Complexité
- 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 (travail en collaboration avec 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)
Histoire de la logique au vingtième siècle
- 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)
Théorie des Modèles
- 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)
Philosophie
- 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)
Théorie de la démonstration et fondements logiques de l'informatique
- 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)
Théorie des Ensembles
- 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)
Autres
- 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)
Communications présentées par titre
- 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)
Mise à jour le 2 février 2001