| |
|
| Artikel-Nr.: 858A-9783540075349 Herst.-Nr.: 9783540075349 EAN/GTIN: 9783540075349 |
| |
|
| | |
| An observation on the product of Silver's forcing.- Recursively unsolvable algorithmic problems and related questions reexamined.- Lectures on large cardinal axioms.- Indescribability properties and small large cardinals.- Marginalia to a theorem of Silver.- Computation theories: An axiomatic approach to recursion on general structures.- Closed models and hulls of theories.- Axioms of choice in Morse-Kelley class theory.- First-order logic and its extensions.- Set theory in infinitary languages.- Sur la méthode en histoire de la logioue.- The model theory of local fields.- Quantifier elimination.- Intensional semantics for natural language.- On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes.- Many-valued algorithmic logic.- The least ? 2 1 and ? 2 1 reflecting ordinals.- Data types as lattices. Weitere Informationen: | | Author: | G. H. Müller; A. Oberschelp; K. Potthoff | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Mathematische Logik; Forcing; Model Theory; set theory, Logic, Mathematische Logik, forcing, model theory, set theory |
| | |
| |