Conference in Mathematical Logic - London '70
Broschiertes Buch

Conference in Mathematical Logic - London '70

Versandkostenfrei!
Versandfertig in 1-2 Wochen
31,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
16 °P sammeln!
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 la...