scientific article; zbMATH DE number 1390025

From MaRDI portal

Publication:4934290

Jump to:navigation, search

zbMath0940.03046MaRDI QIDQ4934290

Terrence Millar

Publication date: 17 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

survey stability computational complexity omitting types elementary embeddings number of countable models almost homogeneity homogeneous models computable objects computational approach to classical model theoretic results computational hierarchies of model theoretic domains effective arguments

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computable structure theory, computable model theory (03C57)

Related Items (3)

Effectiveness in RPL, with applications to continuous logic ⋮ Algebraic structures computable without delay ⋮ Decidable Kripke models of intuitionistic theories

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4934290&oldid=19348828"