Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

No detailed description available for "Fine Structure and Class Forcing".

Forcing (Model theory) --- Model theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Model theory --- Modeles [Theorie des ] --- Modellentheorie --- Stabiliteit --- Stability --- Stabilité --- Mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Model theory --- Logic, Symbolic and mathematical --- 512 --- -Logic, Symbolic and mathematical --- Algebra --- Congresses --- -Algebra --- 512 Algebra --- -512 Algebra --- Model theory - Congresses --- Logic, Symbolic and mathematical - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras. Audience: Graduate students in logic and others wishing to keep abreast of current trends in model theory. The lectures contain sufficient introductory material to be able to grasp the recent results presented.

Model theory --- Congresses --- Mathematical logic. --- Algebraic geometry. --- Functions of real variables. --- Group theory. --- Mathematical Logic and Foundations. --- Algebraic Geometry. --- Real Functions. --- Group Theory and Generalizations. --- Groups, Theory of --- Substitutions (Mathematics) --- Algebra --- Real variables --- Functions of complex variables --- Algebraic geometry --- Geometry --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Model theory - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Set theory --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Logique mathématique --- Model theory --- Théorie des modèles --- Forcing (Model theory) --- Forcing (mathématiques) --- Théorie des ensembles --- Constructibility (Set theory) --- Constructibilité (théorie des ensembles) --- Mathematics --- Logique mathématique. --- Théorie des modèles. --- Théorie des ensembles. --- Logic, Symbolic and mathematical. --- Théorie des modèles --- Set theory. --- Théorie des ensembles --- Ensembles ordonnés --- Axiome du choix --- Logique mathematique --- Algebres de boole --- Logique du premier ordre