Algebra and Logic - Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

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.

List of contents

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.

Product details

• Assisted by: J. N. Crossley (Editor), J.N. Crossley (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 29.06.2009
• EAN: 9783540071525
• ISBN: 978-3-540-07152-5
• No. of pages: 314
• Dimensions: 156 mm x 235 mm x 18 mm
• Weight: 506 g
• Illustrations: X, 314 p.
• Series: Lecture Notes in Mathematics; Lecture Notes in Mathematics
• Subject: Natural sciences, medicine, IT, technology > Mathematics > Arithmetic, algebra