The volume contains twenty-one essays by leading authorities on aspects of contemporary mathematical logic, including set theory, model theory, constructive mathematics and applications of computer science. It includes several excellent expository papers, including in particular the first thorough expositions of applications of 0-minimal structures in field theory.
The volume contains twenty-one essays by leading authorities on aspects of contemporary mathematical logic, including set theory, model theory, constructive mathematics and applications of computer science. It includes several excellent expository papers, including in particular the first thorough expositions of applications of 0-minimal structures in field theory.
* 1: The method of hypersequents in the proof theory of propositional non-classical logic * 2: Church-Rosser lambda theories, infinite lambda-terms and consistency problems * 3: Baire category for monotone sets * 4: Equality in substructural logics * 5: Substructural predicates * 6: Critical points in an algebra of elementary embeddings II * 7: O-minimality nd tame topology * 8: Embeddings of Heyting algebras * 9: Embedding normal forms * 10: Analysing proofs in analysis * 11: Subalgebras of Cohen Algebras need not be Cohen * 12: Independence structures in set theory * 13: Recovering the action of an automorphism group * 14: On the logical strength of Nash-Williams' theorem on transfinite sequences * 15: Open questions around Büchi and Presburger arithmetics * 16: A growth dichotomy for O-minimal expansions of ordered fields * 17: Lukasiewicz normal forms and toric desingularizations * 18: Fine hierarchy and definability in the Lindenbaum algebra * 19: From logic problems to inductive definitions * 20: Hyperstable theories * 21: Quasi-Riemann Surfaces
* 1: The method of hypersequents in the proof theory of propositional non-classical logic * 2: Church-Rosser lambda theories, infinite lambda-terms and consistency problems * 3: Baire category for monotone sets * 4: Equality in substructural logics * 5: Substructural predicates * 6: Critical points in an algebra of elementary embeddings II * 7: O-minimality nd tame topology * 8: Embeddings of Heyting algebras * 9: Embedding normal forms * 10: Analysing proofs in analysis * 11: Subalgebras of Cohen Algebras need not be Cohen * 12: Independence structures in set theory * 13: Recovering the action of an automorphism group * 14: On the logical strength of Nash-Williams' theorem on transfinite sequences * 15: Open questions around Büchi and Presburger arithmetics * 16: A growth dichotomy for O-minimal expansions of ordered fields * 17: Lukasiewicz normal forms and toric desingularizations * 18: Fine hierarchy and definability in the Lindenbaum algebra * 19: From logic problems to inductive definitions * 20: Hyperstable theories * 21: Quasi-Riemann Surfaces
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309