Algebra and Logic
Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Published on 29. April 1975
Book
Paperback/Softback
X, 314 pages
978-3-540-07152-5 (ISBN)
Description
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.
More details
Series
Edition
1975 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 314 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 18 mm
Weight
487 gr
ISBN-13
978-3-540-07152-5 (9783540071525)
DOI
10.1007/BFb0062849
Schweitzer Classification
Content
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.