[Alloout
d
Back to main page
Alfred Tarski Centenary Conference
Tentative list of proposed talks
-
Zofia Adamowicz, Consistency, incompleteness and non-conservativeness in arithmetic
-
John W. Addison Jr., Tarski's theory of definability:
common themes in descriptive set theory, recursive function theory, classical
pure logic, and finite-universe logic.
-
Paola D'Aquino, Around quadratic reciprocity law in
weak fragments of Arithmetic
-
Arnon Avron, Non-deterministic Matrices
-
Arnold Beckmann, Models
and separations of bounded arithmetic
-
Lev Beklemishev, Provability
algebras and proof-theoretic ordinals
-
Arianna Betti, Lesniewski's Early Solution to the
Liar and Tarski
-
Andreas Blass, Some cardinal characteristics of the
continuum
-
Aleksander Blaszczyk, Free
Boolean Algebras and Nowhere Dense Ultrafilters
-
Willem Blok, On equivalence of deductive systems
-
Sam Buss, Extracting feasible algorithms from intuitionistic proofs
-
Janusz Czelakowski, Abstract algebraic logic and hierarchies
of deductive systems
-
G. Cattaneo, M. L. Dalla Chiara, R. Giuntini, An unsharp quantum logic from quantum computation
-
Lou van den Dries, Gromov-Hausdorff limits in euclidean and non-euclidean space
-
Roman Duda, On the Warsaw interactions of logic and
mathematics in the years 1919-1939
-
Ivo Düntsch, Algebraic structures for qualitative
reasoning
-
Leo Esakia, Recent observations
concerning Tarski's topological interpretation of the Intuitionistic Calculus
-
Anita Burdman Feferman, Two clues from the Alfred
Tarski Archives: A story and a journal
-
Solomon Feferman, Tarski's conception of logic
-
Jens Erik Fenstad, Tarski,
Truth and Natural Languages
-
Melvin Fitting, Scope issues in modal logic
-
Silvio Ghilardi, Unification in propositional logic
-
Mai Gehrke, Canonical extensions of bounded distributive lattice expansions
-
Steven Givant, How Tarski and his students revolutionized
the theory of relations
-
Mario Gomez-Torrente, Reading the "Wahrheitsbegriff"
-
Andrzej Grzegorczyk, Computability
without Mathematics
-
Petr Hajek, Tarski and fuzzy logic
-
Jaakko Hintikka, Independence-friendly logic and axiomatic set theory
-
Henry Hiz, Reexamination of Tarski's semantics
-
Wilfrid Hodges, What languages have a Tarski truth-definition?
-
Paul Horwich, A Minimalist Critique of Tarski on Truth
-
Petre Jipsen, The many descendants of Tarski's Relation
Algebras
-
Peter Johnstone, Open/Compact
Duality in Topos Theory
-
Juliette Kennedy, Some Model Theoretic Results Based
on Transfer Principles
-
Roman Kossak, Undefinability
of truth and nonstandard models.
-
Henryk Kotlarski, The
incompleteness theorems after 70 years
-
Dexter Kozen, A Computer Scientist's View of Admissible
Sets
-
Joachim Lambek, What
is the world of mathematics?
-
Angus Macintayre, Quantifier elimination in geometrical
situations,from real closed fields to rigid analytic spaces
-
Roger D. Maddux, A brief history of relation algebras
-
Johann Makowsky, Algorithmic aspects of the Feferman-Vaught Theorem
-
Victor Marek, Tarski and semantical considerations
in Logic Programming and Logical Foundations of Artificial Intelligence
-
Ralph McKenzie, How Difficult is Tarski's Finite Equational
Basis Problem?
-
George F. McNulty, Alfred Tarski's Influence on the
Development of the Logic of Equations
-
Radko Mesiar, Triangular norms: from probabilistic
metric spaces to many-valued logics
-
Robert K. Meyer, Ternary relations & relevant semantics
-
Don Monk, The spectrum
of maximal independent subsets of a Boolean algebra
-
Marcin Mostowski, with M. Krynicki and
K. Zdanowski, Henkin quantifiers in finite models, A survey
-
Roman Murawski, Philosophical reflexion on mathematics
in Poland between the wars
-
Jan Mycielski, Tarski's
nominalism versus his model theory
-
Anil Nerode, Logics of Hybrid Systems
-
Ludomir Newelski, Small profinite structures
-
Ilkka Niiniluoto, Tarski's definition and truth-makers
-
Ewa Orlowska, Relational proof systems
-
Leszek Pacholski, Set constraints in the sense of
Tarski
-
Jerzy Perzanowski, Alfred Tarski and Modal Logic
-
Don Pigozzi, Abstract Algebraic Logic and the Specification
of Abstract Data Types
-
Hilary Priestley, Duality theory, canonical extensions and
Kripke semantics
-
Pavel Pudlak, On the meaning of consistency
-
Artur Rojszczak, On
Philosophical Background of Semantic Definition of Truth
-
Ivo Rosenberg, The role of relations in universal algebra
and related fields
-
Czeslaw Ryll-Nardzewski with
T. Figiel,
R. Frankiewicz and
R. Komorowski,
On stable isotropic Banach spaces
-
Czeslaw Ryll-Nardzewski with
M. Grzech and
R. Frankiewicz ,
Set theoretical aspects of l_infty/c_0
-
Gabriel Sandu, Truth as a vague predicate
-
Krister Segerberg, Revision and contraction in full dynamic doxastic logic
-
Peter Simons, Nominalism, Truth, and Languages that
Grow
-
Göran Sundholm, Concepts of Truth and Proof: Frege,
Hilbert, Tarski
-
Stan Surma, From (metamathematical) solutions of the
functional equation: fgf = f to a digression on Galois connections
-
Harrie de Swart, Axiomatizations of the plurality
ranking rule
-
Leslaw W. Szczerba, Natural Geometry.
-
Constantine Tsinakis , Residuated Lattices
-
Dimiter Vakarelov with Philippe Balbiani,
Dynamic
Extensions of Arrow Logic
-
Matt Valeriote, Decidable Equationally Defined Classes
-
Jouko Väänänen, Some Results in Infinitary Logic
-
Vladimir L. Vasyukov, Developing Tarski: a Brouwerian
Topos of Theories
-
Igor Walukiewicz, Adding fixpoints to modal and first-order logics
-
Benjamin Wells, Why Tarski was interested in the problem of
pseudorecursiveness
-
Alex Wilkie, O-minimality
-
Rudolf Wille, Contextual Logic: a Human-oriented Mathematization of Philosophical
Logic
-
Jan Wolenski, Aletheia, veritas and truth from Pre-Socratics
to Tarski
-
Piotr Wojtylak with W. A. Pogorzelski, Cn-definitions
of propositional connectives
-
Alan Woods, The Pigeon Hole Principle in Bounded Arithmetic and Propositional Calculus.