scientific article
From MaRDI portal
Publication:3852250
zbMath0419.08010MaRDI QIDQ3852250
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Free algebras (08B20) Chain conditions, complete algebras (06E10) Equational classes, universal algebra in model theory (03C05) Axiomatic model classes (08C10)
Related Items
Hyperdiagonalizable algebras, On arithmetical completeness of the logic of proofs, Franco Montagna's work on provability logic and many-valued logic, Generic generalized Rosser fixed points, Topological structure of diagonalizable algebras and corresponding logical properties of theories, Intermediate logics and the de Jongh property, Obituary: Franco Montagna (1948--2015), Provability: The emergence of a mathematical modality, Fixed point algebras, Uniform arithmetical completeness of modal provability logics, Rosser and Mostowski sentences, Around provability logic, The modal logic of provability. The sequential approach, The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
