Format:
Online-Ressource
ISBN:
9783642110801
Series Statement:
C.I.M.E. Summer Schools 48
Content:
H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model theory.- S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory
Note:
Description based upon print version of record
,
Aspects of Mathematical Logic; Copyright Page; Contents; Basic Notions and Applications of The Theory of Decidability; Lecture 1: Computability, Enumerability, Decidability; Lecture 2: mu - Recursiveness, Enumerability, Decidability; Lecture 3: Kleene's Normal Form Theorem; the Jump Operator; Lecture 4: theorem of friedberg - mucnik,part 1; Lecture 5: Theorem of friedberg - mucnik,part 11; Lecture 6: primitive Reeursive Funetions; Lecture 7; The Domino Problem; Lecture 8: AVA - Case of the Decision Problem of Predicate -- Calculus; On several continuum hypotheses; 1 . Continuum hypothesis
,
2. Conditionned continuum problem3.Cantor's continuum hypothesis; 4.Ordered sets; Bibliography; Models of Set Theory; Lecture I; Lecture II; Lecture III; Lecture IV; Lecture V; Lecture VI; Lecture VII; Lecture VIII; Problems and methods of model theory; 1. Introduction; 2. Model theory of the lower predicate calculus; 3. Ultrapro ducts; 4. Completeness and model comoleteness; 5. A test for elementary eouivalence; 6. Non - standarb analysis and higher order languages; 7. The theorem of ax and kochen; 8. Pseudo - convergence; 9. Henso's conditin; 10. Extensions
,
11. Proof of the theorem of ax and kochen12. Proof of 7.2; completed.Artin's conjecture; Bibliography; The general theory of semisets.Syntactic models of the set theory; 1. Syntactic model (interpretation); 2. Axioms for semisets; 3. Syntactic models of the set theory; 4. Axiom of a support; 5. Example; Literature;
Language:
English
Keywords:
Electronic books
