scientific article

zbMath0419.08010MaRDI QIDQ3852250

Franco Montagna

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Boolean algebraKripke modelsPeano arithmeticLindenbaum sentence algebrafree diagonalizable algebra

Mathematics Subject Classification ID

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 (14)

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

This page was built for publication: