Logic Colloquium 2005

Front Cover
Cambridge University Press, Dec 3, 2007 - Mathematics - 272 pages
0 Reviews
The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited talks. This 2007 volume includes surveys, tutorials, and selected research papers from the 2005 meeting. Highlights include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

THREAD ALGEBRA AND RISK ASSESSMENT SERVICES
1
COVERING DEFINABLE MANIFOLDS BY OPEN
18
ISOMORPHISMS AND DEFINABLE RELATIONS ON
26
INDEPENDENCE FOR TYPES IN ALGEBRAICALLY CLOSED
46
SIMPLE GROUPS OF FINITE MORLEY RANK
57
TOWARDS A LOGIC OF TYPEFREE MODALITY AND TRUTH
68
STRUCTURAL ANALYSIS OF ARONSZAJN TREES
85
PROOF ANALYSIS IN NONCLASSICAL LOGICS
107
PAUL BERNAYS LATER PHILOSOPHY OF MATHEMATICS
129
RECURSION ON THE PARTIAL CONTINUOUS FUNCTIONALS
173
A TRANSACTIONAL APPROACH TO THE LOGIC OF TRUTH
202
ON SOME PROBLEMS IN COMPUTABLE TOPOLOGY
221
MONOTONE INDUCTIVE DEFINITIONS AND CONSISTENCY
255

Other editions - View all

Common terms and phrases

About the author (2007)

Costas Dimitracopoulos is professor in the Faculty of Philosophy and History of Science at the National and Kapodistrian University of Athens, Greece.

Bibliographic information