ML-1994-06: Finitely Generated Magari Algebras and Arithmetic

ML-1994-06: Hendriks, Lex and de Jongh, Dick (1994) Finitely Generated Magari Algebras and Arithmetic. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (105kB)
[thumbnail of Abstract] Text (Abstract)

Download (712B)


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

Actions (login required)

View Item View Item