Lecture Notes in Logic – serie
Visar alla böcker i serien Lecture Notes in Logic. Handla med fri frakt och snabb leverans.
47 produkter
Kurt Gödel
Essays for his Centennial
Av Solomon Feferman, Charles Parsons m. fl.
Inbunden, 2010
2052 kr
Lägg i varukorg
Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary …
Simple Theories and Hyperimaginaries
Inbunden, 2011
1987 kr
Lägg i varukorg
This book is an up-to-date introduction to simple theories and hyperimaginaries, with special attention to Lascar strong types and elimination of hyperimaginary problems. Assuming only knowledge of general model theory, the foundations of forking, stability and simplicity are presented in full …
A Framework for Priority Arguments
Inbunden, 2010
1987 kr
Lägg i varukorg
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the …
Stable Domination and Independence in Algebraically Closed Valued Fields
Av Deirdre Haskell, Ehud Hrushovski m. fl.
Häftad, 2011
667 kr
Lägg i varukorg
This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset …
Logic Colloquium 2007
Av Françoise Delon, Ulrich Kohlenbach m. fl.
Inbunden, 2010
1905 kr
Lägg i varukorg
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both …
Wadge Degrees and Projective Ordinals
The Cabal Seminar, Volume II
Av Alexander S. Kechris, Benedikt Löwe m. fl.
Inbunden, 2011
2360 kr
Lägg i varukorg
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Wadge Degrees and Projective Ordinals is the second of a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new …
A Course in Model Theory
Av Katrin Tent, Martin Ziegler
Inbunden, 2012
971 kr
Lägg i varukorg
This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski constructions. The authors introduce the classic results, as well as more recent developments in this vibrant area of mathematical …
Logic Colloquium 2004
Av Alessandro Andretta, Keith Kearnes m. fl.
Inbunden, 2007
1628 kr
Lägg i varukorg
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 recent developments, and the rest of the papers are chosen to complement the …
Logic Colloquium 2005
Av Costas Dimitracopoulos, Ludomir Newelski m. fl.
Inbunden, 2007
1921 kr
Lägg i varukorg
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 …
Stable Domination and Independence in Algebraically Closed Valued Fields
Av Deirdre Haskell, Ehud Hrushovski m. fl.
Inbunden, 2007
1928 kr
Lägg i varukorg
This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset …
Games, Scales and Suslin Cardinals
The Cabal Seminar, Volume I
Av Alexander S. Kechris, Benedikt Löwe m. fl.
Inbunden, 2008
1807 kr
Lägg i varukorg
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Games, Scales, and Suslin Cardinals is the first of a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new …
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
Inbunden, 2022
1710 kr
Lägg i varukorg
This is the second of two volumes by Professor Cherlin presenting the state of the art in the classification of homogeneous structures in binary languages and related problems in the intersection of model theory and combinatorics. Researchers and graduate students in the area will find in these …
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs
Inbunden, 2022
1928 kr
Lägg i varukorg
This is the first of two volumes by Professor Cherlin presenting the state of the art in the classification of homogeneous structures in binary languages and related problems in the intersection of model theory and combinatorics. Researchers and graduate students in the area will find in these …
A Theory of Truth
Inbunden, 2023
2204 kr
Lägg i varukorg
How should we treat the liar and kindred paradoxes? A Theory of Truth argues that we should diverge from classical logic, and presents a new formal theory of truth. The theory does not incorporate contradictions and is not substructural, but deviates from classical logic significantly, and endorses …
The Largest Suslin Axiom
Inbunden, 2024
1970 kr
Lägg i varukorg
Developing the theory up to the current state-of-the art, this book studies the minimal model of the Largest Suslin Axiom (LSA), which is one of the most important determinacy axioms and features prominently in Hugh Woodin's foundational framework known as the Ultimate L. The authors establish the …
Set Theory, Arithmetic, and Foundations of Mathematics
Theorems, Philosophies
Av Juliette Kennedy, Roman Kossak
Inbunden, 2011
1889 kr
Lägg i varukorg
This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics. Highlights of the volume include: a history of …
Quantifiers, Propositions and Identity
Admissible Semantics for Quantified Modal and Substructural Logics
Inbunden, 2011
1987 kr
Lägg i varukorg
Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as …
Effective Mathematics of the Uncountable
Av Noam Greenberg, Denis Hirschfeldt m. fl.
Inbunden, 2013
1944 kr
Lägg i varukorg
Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods - some old, some new - that have extended its basic concepts to uncountable structures. Unlike in the classical case, however, no single dominant approach has emerged, and …
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Av Martin Grohe
Inbunden, 2017
2933 kr
Lägg i varukorg
Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book …
Logic and Algebraic Structures in Quantum Computing
Av Jennifer Chubb, Ali Eskandarian m. fl.
Inbunden, 2016
2312 kr
Lägg i varukorg
Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from …
Ordinal Definability and Recursion Theory
The Cabal Seminar, Volume III
Av Alexander S. Kechris, Benedikt Löwe m. fl.
Inbunden, 2016
2834 kr
Lägg i varukorg
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, …
Complexity of Infinite-Domain Constraint Satisfaction
Inbunden, 2021
2264 kr
Lägg i varukorg
Constraint Satisfaction Problems (CSPs) are natural computational problems that appear in many areas of theoretical computer science. Exploring which CSPs are solvable in polynomial time and which are NP-hard reveals a surprising link with central questions in universal algebra. This monograph …
Turing's Legacy
Developments from Turing's Ideas in Logic
Av Rod Downey
Inbunden, 2014
2013 kr
Lägg i varukorg
Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from …
A Guide to NIP Theories
Av Pierre Simon
Inbunden, 2015
1987 kr
Lägg i varukorg
The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the subject that will appeal to anyone interested in model …
Logic Colloquium '96
Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996
Av J. M. Larrazabal, D. Lascar m. fl.
Inbunden, 2017
1905 kr
Lägg i varukorg
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 twelfth publication in the Lecture …
Logic Colloquium '95
Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
Av Johann A. Makowsky, Elena V. Ravve
Inbunden, 2017
2215 kr
Lägg i varukorg
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 …
Aspects of Incompleteness
Inbunden, 2017
1987 kr
Lägg i varukorg
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. In this volume, the tenth publication in the Lecture …
Bounded Variable Logics and Counting
A Study in Finite Models
Av Martin Otto
Inbunden, 2017
1987 kr
Lägg i varukorg
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. In this volume, the ninth publication in the Lecture …
The Core Model Iterability Problem
Inbunden, 2017
1944 kr
Lägg i varukorg
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. Large cardinal hypotheses play a central role in …
A General Algebraic Semantics for Sentential Logics
Av Josep Maria Font, Ramon Jansana
Inbunden, 2017
1944 kr
Lägg i varukorg
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. In this volume, the seventh publication in the …
