Roman Kossak – författare
Visar alla böcker från författaren Roman Kossak. Handla med fri frakt och snabb leverans.
9 produkter
9 produkter
Del 50 - Oxford Logic Guides
The Structure of Models of Peano Arithmetic
Inbunden, Engelska, 2006
1 818 kr
Skickas inom 5-8 vardagar
Aimed at graduate students and research logicians and mathematicians, this much-awaited text covers over forty years of work on relative classification theory for non-standard models of arithmetic. With graded exercises at the end of each chapter, the book covers basic isomorphism invariants: families of types realized in a model, lattices of elementary substructures and automorphism groups. Many results involve applications of the powerful technique of minimal types due to Haim Gaifman, and some of the results are classical but have never been published in a book form before.
Häftad, Engelska, 2017
332 kr
Skickas inom 5-8 vardagar
The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. This third volume in the weak arithmetics collection contains nine substantive papers based on lectures delivered during the two last meetings of the conference series Journées sur les Arithmétiques, held in 2014 at the University of Gothenburg, Sweden, and in 2015 at the City University of New York Graduate Center.
Del 5 - Ontos Mathematical Logic
Logic Without Borders
Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics
Inbunden, Engelska, 2015
2 068 kr
Skickas inom 5-8 vardagar
In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, squarely address this development. These articles also connect to the diverse work of Väänänen, whose ecumenical approach to logic reflects the unity of the discipline.
Häftad, Engelska, 2021
195 kr
Skickas inom 5-8 vardagar
Del 3 - Springer Graduate Texts in Philosophy
Mathematical Logic
On Numbers, Sets, Structures, and Symmetry
Häftad, Engelska, 2019
620 kr
Skickas inom 10-15 vardagar
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.
Del 4 - Springer Graduate Texts in Philosophy
Mathematical Logic
On Numbers, Sets, Structures, and Symmetry
Inbunden, Engelska, 2024
1 082 kr
Skickas inom 10-15 vardagar
The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.Part I, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics.
Inbunden, Engelska, 2017
413 kr
Skickas inom 10-15 vardagar
To find "criteria of simplicity" was the goal of David Hilbert's recently discovered twenty-fourth problem on his renowned list of open problems given at the 1900 International Congress of Mathematicians in Paris.
Häftad, Engelska, 2018
413 kr
Skickas inom 10-15 vardagar
To find "criteria of simplicity" was the goal of David Hilbert's recently discovered twenty-fourth problem on his renowned list of open problems given at the 1900 International Congress of Mathematicians in Paris.
Del 36 - Lecture Notes in Logic
Set Theory, Arithmetic, and Foundations of Mathematics
Theorems, Philosophies
Inbunden, Engelska, 2011
1 577 kr
Tillfälligt slut
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 Tennenbaum's theorem in arithmetic; a number of papers on Tennenbaum phenomena in weak arithmetics as well as on other aspects of arithmetics, such as interpretability; the transcript of Gödel's previously unpublished 1972-1975 conversations with Sue Toledo, along with an appreciation of the same by Curtis Franks; Hugh Woodin's paper arguing against the generic multiverse view; Anne Troelstra's history of intuitionism through 1991; and Aki Kanamori's history of the Suslin problem in set theory. The book provides a historical and philosophical treatment of particular theorems in arithmetic and set theory, and is ideal for researchers and graduate students in mathematical logic and philosophy of mathematics.