登入

跳至 : 概要書目資訊主題

Model theory.

概要

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

書目資訊

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

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

The reconstruction of trees from their automorphism groups / by: (書目-語言資料,印刷品)

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

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

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

Henkin-Keisler models by: (書目-語言資料,印刷品)

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

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

Computable models 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.