02224nam 2200565 450 991082776350332120170816143340.01-4704-0849-X(CKB)3360000000464610(EBL)3113807(SSID)ssj0000973283(PQKBManifestationID)11514573(PQKBTitleCode)TC0000973283(PQKBWorkID)10961175(PQKB)10989300(MiAaPQ)EBC3113807(RPAM)4817440(PPN)195413091(EXLCZ)99336000000046461020140903h19901990 uy 0engur|n|---|||||txtccrA lattice of chapters of mathematics interpretations between theorems /Jan Mycielski, Pavel Pudlák, and Alan S. SternProvidence, Rhode Island :American Mathematical Society,1990.©19901 online resource (78 p.)Memoirs of the American Mathematical Society,0065-9266 ;Volume 84, Number 426"March 1990, Volume 84, Number 426 (second of 3 numbers)."0-8218-2488-0 Includes bibliographical references.""Table of Contents""; ""Â1. Introduction""; ""Â2. Definitions and generalities""; ""Â3. Elementary results about LC""; ""Â4. The most significant theorems about LC""; ""Â5. Cardinalities, chains and antichains""; ""Â6. General results and the structure of LC""; ""Â7. Results about special theories""; ""Â8. Proof of Theorem 6.12""; ""Appendix I""; ""Appendix II""; ""Appendix III""; ""References""Memoirs of the American Mathematical Society ;Volume 84, Number 426.First-order logicLattice theoryFirst-order logic.Lattice theory.511.3 Mycielski Jan1932-1716691Pudlák Pavel1952-Stern Alan S.1958-MiAaPQMiAaPQMiAaPQBOOK9910827763503321A lattice of chapters of mathematics4112178UNINA