Jump to main content

yr 〜
yr

Search results 9

Categoricity

Categoricity
Paper図書
John T. BaldwinAmerican Mathematical Society2009
Other Libraries in Japan
  • Subject HeadingCompleteness theorem Model theory
  • Subject Heading (ID)Completeness theorem Model theory

Completeness theory for propositional logics : pbk.

Completeness theory for propositional logics : pbk.
Paper図書
Witold A. Pogorzelski, Piotr WojtylakBirkhäuserc2008
Other Libraries in Japan
  • Subject HeadingCompleteness theorem
  • Subject Heading (ID)Completeness theorem

Uncountably categorical theories / Boris Zilber ; [translated from the Russian by D. Louvish ; translation edited by Simeon Ivanov]. (Translations of mathematical monographs ; v. 117)

Uncountably categorical theories / Boris Zilber ; [translated from the Russian by D. Louvish ; translation edited by Simeon Ivanov]. (Translations of mathematical monographs ; v. 117)
Paper図書
American Mathematical Societyc1993.<MA41-A85>
National Diet Library
  • Subject Headingカテゴリー (数学) モデルの理論. Categories (Mathematics) Completeness theorem. Model theory.

KATの完全性定理と項の還元可能性の決定可能性

KATの完全性定理と項の還元可能性の決定可能性
Digital博士論文
浦本, 武雄京都大学 (Kyoto University)2014-03-24
Available onlineOther Libraries in Japan
  • Subject HeadingKleene algebra with tests completeness theorem decidability regular language...
  • Alternative TitleA Modified Completeness Theorem of KAT and Decidability of Te...
  • Alternative TitleA Modified Completeness Theorem of KAT and Decidability of Te...

Polynomial completeness in algebraic systems

Polynomial completeness in algebraic systems
Paper図書
Kalle Kaarli, Alden F. PixleyChapman & Hall/CRCc2001
Other Libraries in Japan
  • Subject HeadingCompleteness theorem Polynomials
  • Subject Heading (ID)Completeness theorem Polynomials

Completeness problems in the structural theory of automata / by Jürgen Dassow. (Mathematical research = Mathematische Forschung ; Bd. 7)

Completeness problems in the structural theory of automata / by Jürgen Dassow. (Mathematical research = Mathematische Forschung ; Bd. 7)
Paper図書
Akademie-Verlag1981.<MA41-197>
National Diet Library
  • Subject HeadingSequential machine theory. Completeness theorem.

Uncountably categorical theories

Uncountably categorical theories
Paper図書
Boris ZilberAmerican Mathematical Societyc1993
Other Libraries in Japan
  • Subject HeadingCategories (Mathematics) Completeness theorem Model theory
  • Subject Heading (ID)Categories (Mathematics) Completeness theorem Model theory

Completeness problems in the structural theory of automata

Completeness problems in the structural theory of automata
Paper図書
by Jürgen DassowAkademie-Verlag1981
Other Libraries in Japan
  • Subject HeadingSequential machine theory Completeness theorem 系列機械 オートマトン
  • Subject Heading (ID)Sequential machine theory Completeness theorem 系列機械 オートマトン

Beginning model theory : the completeness theorem and some consequences

Beginning model theory : the completeness theorem and some consequences
Paper図書
by Jane BridgeClarendon Press1977
Other Libraries in Japan
  • Subject HeadingModel theory Completeness theorem
  • Subject Heading (ID)Model theory Completeness theorem

Reached to the end of result.

RSS