ML-1994-06: Hendriks, Lex and de Jongh, Dick (1994) Finitely Generated Magari Algebras and Arithmetic. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1994-06.text.ps.gz Download (105kB) |
|
Text (Abstract)
ML-1994-06.abstract.txt Download (712B) |
Abstract
Some consequences are studied of Shavrukov's theorem regarding
the Magari algebras (diagonalizable algebras) that are embeddable in
the Magari algebra of formal arithmetical theories. Semantic charac
terizations of faithfully interpretable modal propositional theories in a
finite number of propositional letters are given, in particular for finitely
axiomatizable ones. Supported by this theory computer aided calculations
on the theories of lowest complexity in one propositional letter
were executed leading to a complete list of 62 formulas that axiomatize
such theories under which the 8 maximal ones of particular interest.
| Item Type: | Report |
|---|---|
| Report Nr: | ML-1994-06 |
| Series Name: | Mathematical Logic and Foundations (ML) |
| Year: | 1994 |
| Date Deposited: | 12 Oct 2016 14:40 |
| Last Modified: | 12 Oct 2016 14:40 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1352 |
Actions (login required)
 |
View Item |
