scientific article; zbMATH DE number 1390025

MaRDI QIDQ4934290zbMATH OpenFDO

Authors Terrence Millar

Publication date 17 January 2000

zbMATH Keywords

almost homogeneitycomputable objectscomputational approach to classical model theoretic resultscomputational complexitycomputational hierarchies of model theoretic domainseffective argumentselementary embeddingshomogeneous modelsnumber of countable modelsomitting typesstabilitysurvey

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1302870
• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• scientific article; zbMATH DE number 1136113
• A new spectrum of computable models
• Effective model theory vs. recursive model theory

Cited in

(8)

• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• Decidable Kripke models of intuitionistic theories
• scientific article; zbMATH DE number 1302870 (Why is no real title available?)
• scientific article; zbMATH DE number 1136113 (Why is no real title available?)
• Algebraic structures computable without delay
• Computable embeddings and strongly minimal theories
• Effective model theory vs. recursive model theory
• Effectiveness in RPL, with applications to continuous logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934290)