登入

跳至 : 概要書目資訊主題

Model theory.

概要

作品:	38 作品在 9 項出版品 9 種語言

書目資訊

Automorphisms of first-order structures / by: (書目-語言資料,印刷品)

Model theory / by: (書目-語言資料,印刷品)

Accessible categories : = the foundations of categorical model theory / by: (書目-語言資料,印刷品)

Finite structures with few types / by: (書目-語言資料,印刷品)

Model theory with applications to algebra and analysis / by: (書目-語言資料,印刷品)

Model theory = an introduction / by: (書目-語言資料,印刷品)

Categoricity / by: (書目-語言資料,印刷品)

A Course in model theory / by: (書目-語言資料,印刷品)

Mathematical logic = exercises and solutions / by: (書目-電子資源)

Model theory and algebraic geometry : = an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture / by: (書目-語言資料,印刷品)

主題

Arithmetical algebraic geometry.

Modell conjecture.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Theory of Computation.

Geometry, Analytic.

Vector fields.

Group Theory and Generalizations.

Logic.

Valued fields.

Number theory.

Modular curves.

Automorphisms.

Toposes.

Logic, Symbolic and mathematical.

Language Translation and Linguistics.

Logics and Meanings of Programs.

Functor theory.

Algebra.

Model Theory.

Group theory.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algebra, Boolean.

Axiomatic set theory.

Algebraic Geometry.

Mod墈les, Th歋orie des.

Mathematics.

Computable functions.

Domination (Graph theory)

Analysis.

Number Theory.

Diophantine equations.

Stability.

Completeness theorem.

Trees (Graph theory)

Model theory.

Game theory.

Model theory

Independence (Mathematics)

General Logic.

Permutation groups.

Envelopes (Geometry).

Ultraproducts.

Arithmetic and Logic Structures.

Mordell conjecture.

Computer Science.

Finite groups.

Categories (Mathematics)

First-order logic.

General Algebraic Systems.