Logic: From Foundations to Applications

European Logic Colloquium
Herausgeber: Hodges, Wilfrid; Truss, John; Steinhorn, Charles; Hyland, Martin

• Gebundenes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: McGraw Hill LLC
• Seitenzahl: 550
• Erscheinungstermin: 22. August 1996
• Englisch
• Abmessung: 241mm x 165mm x 35mm
• Gewicht: 907g
• ISBN-13: 9780198538622
• ISBN-10: 0198538626
• Artikelnr.: 62889328

Inhaltsangabe

* 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