Algebra and Logic

Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

J.N. Crossley (Herausgeber)

Buch | Softcover

X, 314 Seiten

1975 | 1975
Springer Berlin (Verlag)
978-3-540-07152-5 (ISBN)

Inhalt

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.

Produkt-Details

• Erscheint lt. Verlag: 29.4.1975
• Reihe/Serie: Lecture Notes in Mathematics
• Zusatzinfo: X, 314 p.
• Verlagsort: Berlin
• Sprache: englisch
• Maße: 155 x 235 mm
• Gewicht: 454 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
• Themenwelt: Mathematik / Informatik ► Mathematik ► Algebra
• Schlagworte: Algebra • Computability Theory • differential equation • forcing • Gruppe (Math.) • Kommutative Algebra • Mathematische Logik
• ISBN-10: 3-540-07152-0 / 3540071520
• ISBN-13: 978-3-540-07152-5 / 9783540071525
• Zustand: Neuware