Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia (Lecture Notes in Mathematics, 450)
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.
Keywords
LOGIC, SYMBOLIC AND MATHEMATICALALGEBRAGROUP THEORYCOMMUTATIVE RINGS
