登入

跳至 : 概要書目資訊主題

Model theory.

概要

作品:	41 作品在 11 項出版品 11 種語言

書目資訊

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

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

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

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

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

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

Simple groups of finite Morley rank / by: (書目-語言資料,印刷品)

Lecture notes on O-minimal structures and real analytic geometry by: (書目-電子資源)

A Functorial model theory : = newer applications to algebraic topology, descriptive sets, and computing categories topos / by: (書目-語言資料,印刷品)

An invitation to model theory / 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.

Polynomials.

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.

Formal Languages and Automata Theory.

Computer science- Mathematics.

Permutation groups.

Envelopes (Geometry).

Ultraproducts.

Arithmetic and Logic Structures.

Mordell conjecture.

Computer Science.

Finite groups.

Categories (Mathematics)

First-order logic.

General Algebraic Systems.