Logic Colloquium '95 by Johann A Makowsky
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eleventh publication in the Lecture Notes in Logic series, collects the proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in 1995. It includes papers in the core areas of set theory, model theory, proof theory and recursion theory, as well as the more recent topics of finite model theory and non-monotonic logic. It also includes a tutorial on interactive proofs, zero-knowledge and computationally sound proofs that reported on recent developments in theoretical computer science, and three plenary lectures dedicated to the foundational and technical evolution of set theory over the past 100 years.-
Effective Mathematics of the Uncountable
-
Set Theory, Arithmetic, and Foundations of Mathematics
-
Abstract Recursion and Intrinsic Complexity
-
Games, Scales and Suslin Cardinals
-
Large Cardinals, Determinacy and Other Topics
-
Logic Colloquium 2007
-
Complexity of Infinite-Domain Constraint Satisfaction
-
Lectures on Infinitary Model Theory
-
Logic and Algebraic Structures in Quantum Computing
-
Ordinal Definability and Recursion Theory
-
Logic Colloquium 2005
-
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
-
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs
-
Stable Domination and Independence in Algebraically Closed Valued Fields
-
A Comparison Process for Mouse Pairs
-
Recursion Theory
-
Descriptive Set Theory and Forcing
-
A General Algebraic Semantics for Sentential Logics
-
Bounded Variable Logics and Counting
-
Model Theory of Fields
-
Aspects of Incompleteness
-
Logic Colloquium '90
-
Fine Structure and Iteration Trees
-
Logic Colloquium '96
-
The Core Model Iterability Problem
-
Quantifiers, Propositions and Identity
-
A Framework for Priority Arguments
-
Kurt Godel
-
A Guide to NIP Theories
-
The Cabal Seminar 4 Volume Hardback Set
-
The Largest Suslin Axiom
-
A Course in Model Theory
-
Simple Theories and Hyperimaginaries
-
Wadge Degrees and Projective Ordinals
Johann A. Makowsky works in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa. Elena V. Ravve works in the Department of Computer Science at Technion - Israel Institute of Technology, Haifa.
| SKU | Unavailable |
| ISBN 13 | 9781107167902 |
| ISBN 10 | 1107167906 |
| Title | Logic Colloquium '95 |
| Author | Johann A Makowsky |
| Series | Lecture Notes In Logic |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Cambridge University Press |
| Year published | 2017-03-02 |
| Number of pages | 365 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |