Algebra and Logic (eBook, PDF)

Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Redaktion: Crossley, J. N.

• Format: PDF

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 314
• Erscheinungstermin: 15. November 2006
• Englisch
• ISBN-13: 9783540374800
• Artikelnr.: 53136722

Inhaltsangabe

Reminiscences of logicians.- Frames and models in modal logic.- A language and axioms for explicit mathematics.- Dimension theory of commutative polynomial rings.- Dimension theory of power series rings over a commutative ring.- Axiomatic classes in propositional modal logic.- Nilpotent actions on nilpotent groups.- Structure theorems for inverse semigroups.- Recursion theory and algebra.- An exposition of forcing.- Logic and foundations.- Church-Rosser theorems for replacement systems.