## Abstract We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
On The Uniqueness of the Lindenbaum Extension
✍ Scribed by Teodor StępIeń
- Publisher
- John Wiley and Sons
- Year
- 1988
- Tongue
- English
- Weight
- 367 KB
- Volume
- 34
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
It has been found that there is an error in Venkov's proof of the uniqueness of the Leech lattice . A construction of neighbours of even unimodular lattices is studied and is used to modify Venkov's proof so that the error is corrected .
The maximum likelihood method of identification is a powerful tool for obtaining mathematical models of dynamic processes. To apply this method a loss function has to be minimized. The aim of the paper is an investigation of the local minimum points of this loss function for a common structure of a
In Bandelt and Dress Ad¨. in Math. 92 1992 , 47᎐105 the concept of a coherent decomposition of a finite metric is introduced and it is conjectured that every such metric can be decomposed into a coherent sum of prime metrics in a unique way. In this note we give a counterexample to this conjecture.