Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical...
Lire la suite
56,20 €
Expédié sous 2 à 4 semaines
Livré chez vous entre le 7 mai et le 21 mai
En magasin
Résumé
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited at 'Logic Colloquim '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.
Sommaire
An Introduction To Finitary Analyses Of Proof Figures
What Mathematical Truth Could Not Be - II
Proof Search in Constructive Logics
David's Trick
A Semantical Calculus for Intuitionistic Propositional Logic
An Iteration Model Violating the Singular Cardinals Hypothesis
An Introduction to Core Model Theory
Games of Countable Length
On the Complexity of the Propositional Calculus
The Realm of Ordinal Analysis
Covering Properties of Core Models
Ordinal Systems
Polish Group Topologies
Forcing Closed Unbounded Subsets of Nw+1
First Steps into Metapredicativity in Explicit Mathematics
What Makes A (Pointwise) Subrecursive Hierarchy Slow Growing? Minimality Arguments for Infinite Time Turing Degrees.