A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern |
Autore | Mycielski Jan <1932-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1990 |
Descrizione fisica | 1 online resource (78 p.) |
Disciplina | 511.3 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
First-order logic
Lattice theory |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4704-0849-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References"" |
Record Nr. | UNINA-9910480032803321 |
Mycielski Jan <1932-> | ||
Providence, Rhode Island : , : American Mathematical Society, , 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern |
Autore | Mycielski Jan <1932-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1990 |
Descrizione fisica | 1 online resource (78 p.) |
Disciplina | 511.3 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
First-order logic
Lattice theory |
ISBN | 1-4704-0849-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References"" |
Record Nr. | UNINA-9910788873403321 |
Mycielski Jan <1932-> | ||
Providence, Rhode Island : , : American Mathematical Society, , 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A lattice of chapters of mathematics : interpretations between theorems / / Jan Mycielski, Pavel Pudlák, and Alan S. Stern |
Autore | Mycielski Jan <1932-> |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1990 |
Descrizione fisica | 1 online resource (78 p.) |
Disciplina | 511.3 |
Collana | Memoirs of the American Mathematical Society |
Soggetto topico |
First-order logic
Lattice theory |
ISBN | 1-4704-0849-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References"" |
Record Nr. | UNINA-9910827763503321 |
Mycielski Jan <1932-> | ||
Providence, Rhode Island : , : American Mathematical Society, , 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|