Zilber, Boris
Overview
Works:  13 works in 58 publications in 1 language and 1,188 library holdings 

Roles:  Author, Thesis advisor 
Publication Timeline
.
Most widely held works by
Boris Zilber
A course in mathematical logic for mathematicians by
Jurij Ivanovič Manin(
)
17 editions published between 2009 and 2012 in English and held by 573 WorldCat member libraries worldwide
"A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Godel and Tarski, and Cohen's theorem on the independence of the continuum hypothesis. A unique feature of the text is a discussion of quantum logic." "The exposition then moves to a discussion of computability theory that is based on the notion of recursive functions and stresses numbertheoretic connections. The text presents a complete proof of the theorem of DavisPutnamRobinsonMatiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated."Jacket
17 editions published between 2009 and 2012 in English and held by 573 WorldCat member libraries worldwide
"A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Godel and Tarski, and Cohen's theorem on the independence of the continuum hypothesis. A unique feature of the text is a discussion of quantum logic." "The exposition then moves to a discussion of computability theory that is based on the notion of recursive functions and stresses numbertheoretic connections. The text presents a complete proof of the theorem of DavisPutnamRobinsonMatiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated."Jacket
Zariski geometries : geometry from the logician's point of view by
Boris Zilber(
Book
)
18 editions published between 2010 and 2011 in English and held by 322 WorldCat member libraries worldwide
"This book presents methods and results from the theory of Zariski structures and discusses their applications in geometry as well as various other mathematical fields. Its logical approach helps us understand why algebraic geometry is so fundamental throughout mathematics and why the extension to noncommutative geometry, which has been forced by recent developments in quantum physics, is both natural and necessary. Beginning with a crash course in model theory, this book will suit not only model theorists but also readers with a more classical geometric background"Provided by publisher
18 editions published between 2010 and 2011 in English and held by 322 WorldCat member libraries worldwide
"This book presents methods and results from the theory of Zariski structures and discusses their applications in geometry as well as various other mathematical fields. Its logical approach helps us understand why algebraic geometry is so fundamental throughout mathematics and why the extension to noncommutative geometry, which has been forced by recent developments in quantum physics, is both natural and necessary. Beginning with a crash course in model theory, this book will suit not only model theorists but also readers with a more classical geometric background"Provided by publisher
Uncountably categorical theories by
Boris Zilber(
Book
)
13 editions published in 1993 in English and Undetermined and held by 278 WorldCat member libraries worldwide
The 1970s saw the appearance and development in categoricity theory of a tendency to focus on the study and description of uncountably categorical theories in various special classes defined by natural algebraic or syntactic conditions. There have thus been studies of uncountably categorical theories of groups and rings, theories of a oneplace function, universal theories of semigroups, quasivarieties categorical in infinite powers, and Horn theories. In Uncountably Categorical Theories, this research area is referred to as the special classification theory of categoricity. Zilber's goal is t
13 editions published in 1993 in English and Undetermined and held by 278 WorldCat member libraries worldwide
The 1970s saw the appearance and development in categoricity theory of a tendency to focus on the study and description of uncountably categorical theories in various special classes defined by natural algebraic or syntactic conditions. There have thus been studies of uncountably categorical theories of groups and rings, theories of a oneplace function, universal theories of semigroups, quasivarieties categorical in infinite powers, and Horn theories. In Uncountably Categorical Theories, this research area is referred to as the special classification theory of categoricity. Zilber's goal is t
A Course in Mathematical Logic for Mathematicians by
Yuri Ivanovich Manin(
)
1 edition published in 2010 in English and held by 6 WorldCat member libraries worldwide
A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Gödel and Tarski, and Cohen's theorem on the independence of the continuum hypothesis. A unique feature of the text is a discussion of quantum logic. The exposition then moves to a discussion of computability theory that is based on the notion of recursive functions and stresses numbertheoretic connections. The text present a complete proof of the theorem of DavisPutnamRobinsonMatiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated. Part III establishes the essential equivalence of proof theory and computation theory and gives applications such as Gödel's theorem on the length of proofs. A new Chapter IX, written by Yuri Manin, treats, among other things, a categorical approach to the theory of computation, quantum computation, and the P/NP problem. A new Chapter X, written by Boris Zilber, contains basic results of model theory and its applications to mainstream mathematics. This theory has found deep applications in algebraic and diophantine geometry. Yuri Ivanovich Manin is Professor Emeritus at MaxPlanckInstitute for Mathematics in Bonn, Germany, Board of Trustees Professor at the Northwestern University, Evanston, IL, USA, and Principal Researcher at the Steklov Institute of Mathematics, Moscow, Russia. Boris Zilber, Professor of Mathematical Logic at the University of Oxford, has contributed the Model Theory Chapter for the second edition
1 edition published in 2010 in English and held by 6 WorldCat member libraries worldwide
A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Gödel and Tarski, and Cohen's theorem on the independence of the continuum hypothesis. A unique feature of the text is a discussion of quantum logic. The exposition then moves to a discussion of computability theory that is based on the notion of recursive functions and stresses numbertheoretic connections. The text present a complete proof of the theorem of DavisPutnamRobinsonMatiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated. Part III establishes the essential equivalence of proof theory and computation theory and gives applications such as Gödel's theorem on the length of proofs. A new Chapter IX, written by Yuri Manin, treats, among other things, a categorical approach to the theory of computation, quantum computation, and the P/NP problem. A new Chapter X, written by Boris Zilber, contains basic results of model theory and its applications to mainstream mathematics. This theory has found deep applications in algebraic and diophantine geometry. Yuri Ivanovich Manin is Professor Emeritus at MaxPlanckInstitute for Mathematics in Bonn, Germany, Board of Trustees Professor at the Northwestern University, Evanston, IL, USA, and Principal Researcher at the Steklov Institute of Mathematics, Moscow, Russia. Boris Zilber, Professor of Mathematical Logic at the University of Oxford, has contributed the Model Theory Chapter for the second edition
Toric varieties as analytic Zariski structures by
Lucy Burton(
)
1 edition published in 2007 in English and held by 1 WorldCat member library worldwide
1 edition published in 2007 in English and held by 1 WorldCat member library worldwide
Twocardinal theorems by Levon Haykazyan(
)
1 edition published in 2010 in English and held by 1 WorldCat member library worldwide
1 edition published in 2010 in English and held by 1 WorldCat member library worldwide
Model theory of the universal covering spaces of complex algebraic varieties by Misha Gavrilovich(
Book
)
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
Nonalgebraic Zariski geometries by
Dmitry Sustretov(
)
1 edition published in 2012 in English and held by 1 WorldCat member library worldwide
1 edition published in 2012 in English and held by 1 WorldCat member library worldwide
The theory of exponential differential equations by
Jonathan Kirby(
)
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
1 edition published in 2006 in English and held by 1 WorldCat member library worldwide
Aspects of nonelementary stability theory by Levon Haykazyan(
)
1 edition published in 2016 in English and held by 1 WorldCat member library worldwide
1 edition published in 2016 in English and held by 1 WorldCat member library worldwide
Categoricity and covering spaces by
Adam Harris(
)
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
1 edition published in 2013 in English and held by 1 WorldCat member library worldwide
AxSchanuel type inequalities in differentially closed fields by Vahagn Aslanyan(
)
1 edition published in 2017 in English and held by 1 WorldCat member library worldwide
1 edition published in 2017 in English and held by 1 WorldCat member library worldwide
Presmooth geometries by Bernhard August Maurice Elsner(
)
1 edition published in 2014 in English and held by 1 WorldCat member library worldwide
1 edition published in 2014 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Manin, I︠U︡. I. Author
 Koblitz, Neal 1948
 Zariski, Oscar 18991986
 University of Oxford
 Manin, ëIìU. I. Author
 Manin, IŁU. I. Author
 Haykazyan, Levon Author
 Pila, Jonathan
 Gavrilovich, Misha Author
 Aslanyan, Vahagn Author
Covers
Alternative Names
Boris Zilber britischer Mathematiker
Boris Zilber British mathematician
Boris Zilber britisk matematikar
Boris Zilber britisk matematiker
Boris Zilber Brits wiskundige
Boris Zilber brittisk matematiker
Zilber, B.
Zilber, Boris.
Zilʹber, Boris I.
Languages