Conference in Mathematical Logic - London '70
Inductive definitions and analogues of large cardinals.- Compact injectives and Non-Standard Analysis.- Non-axiomatizability results in infinitary languages for higher-order structures.- ? 1 1 models and ? 1 1 -categoricity.- Infinitary properties, local functors, and systems of ordinal functions.- Logics containing S4 without the finite model property.- An ?-calculus system for first-order S4.- Craig's interpolation theorem for modal logics.- A note on models and submodels of arithmetic.- An application of ultra-products to prime rings with polynomial identities.- Embedding nondistributive lattices in the recursively enumerable degrees.- Di…
Mehr
CHF 56.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-05744-4
- EAN: 9783540057444
- Produktnummer: 3480231
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1972
- Seitenangabe: 364 S.
- Masse: H23.5 cm x B15.5 cm x D1.9 cm 552 g
- Auflage: 1972
- Abbildungen: Paperback
- Gewicht: 552
Bewertungen
Anmelden