Algebra and Logic

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

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Mathematics 450
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07152-5
• 1975.
• Seitenzahl: 320
• Erscheinungstermin: 29. April 1975
• Englisch
• Abmessung: 235mm x 155mm x 18mm
• Gewicht: 506g
• ISBN-13: 9783540071525
• ISBN-10: 3540071520
• Artikelnr.: 23554414

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.