Repositório da Produção Científica e Intelectual da Unicamp Please use this identifier to cite or link to this item:
http://repositorio.unicamp.br/jspui/handle/REPOSIP/352672
| Type: | Artigo |
| Title: | A direct proof of the five element basis theorem |
| Author: | Veličković B. Venturi, G. |
| Abstract: | We present a direct proof of the consistency of the existence of a five element basis for the uncountable linear orders. Our argument is based on the approach of König, Larson, Moore and Veličković and simplifies the original proof of Moore |
| Subject: | Álgebra linear Lógica simbólica e matemática Philosophy of Mathematics Algebra |
| Country: | Alemanha |
| Editor: | Wiley |
| Rights: | Fechado |
| Identifier DOI: | 10.1002/malq.201600015 |
| Address: | https://onlinelibrary.wiley.com/doi/full/10.1002/malq.201600015 |
| Date Issue: | 2017 |
| Appears in Collections: | IFCH - Artigos e Outros Documentos |
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| 2-s2.0-85033372343.pdf | 278.32 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.