scientific article; zbMATH DE number 3652414

MaRDI QIDQ3852250zbMATH OpenFDO

Authors Franco Montagna

Publication date 1979

zbMATH Keywords

Boolean algebraKripke modelsPeano arithmeticLindenbaum sentence algebrafree diagonalizable algebra

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Equational classes, universal algebra in model theory (03C05) Free algebras (08B20) Axiomatic model classes (08C10) Chain conditions, complete algebras (06E10)

Cited in

(14)

• Uniform arithmetical completeness of modal provability logics
• Generic generalized Rosser fixed points
• Rosser and Mostowski sentences
• On arithmetical completeness of the logic of proofs
• Franco Montagna's work on provability logic and many-valued logic
• Topological structure of diagonalizable algebras and corresponding logical properties of theories
• The modal logic of provability. The sequential approach
• Around provability logic
• Provability: The emergence of a mathematical modality
• Intermediate logics and the de Jongh property
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• Obituary: Franco Montagna (1948--2015)
• Hyperdiagonalizable algebras
• Fixed point algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3852250)