scientific article; zbMATH DE number 3993528

MaRDI QIDQ4722028zbMATH OpenFDO

Authors Nobuyoshi Motohashi

Publication date 1985

zbMATH Keywords

abstract model theorydecidabilitydevelopment of model theoryexpository paperfirst order structuresfirst order theoriesGödel's completeness and incompleteness theoremsnumber of modelspreservation theoremsproof theorystability theorytruth definitionultraproducts

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) General logic (03B99) Model theory (03Cxx)

Recommendations

• New developments in model theory
• scientific article; zbMATH DE number 1015878
• scientific article; zbMATH DE number 1237866
• scientific article; zbMATH DE number 53151
• scientific article; zbMATH DE number 3933024

Cited in

(11)

• The mathematical descriptions of truth and change
• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth
• New developments in model theory
• scientific article; zbMATH DE number 4164796 (Why is no real title available?)
• scientific article; zbMATH DE number 4027418 (Why is no real title available?)
• scientific article; zbMATH DE number 732049 (Why is no real title available?)
• scientific article; zbMATH DE number 1490113 (Why is no real title available?)
• scientific article; zbMATH DE number 1552085 (Why is no real title available?)
• A mathematically derived definitional/semantical theory of truth
• Truth definitions in finite models
• Composition theorem for generalized sum

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 Q4722028)