Complete Coinductive Theories. I

DOI10.2307/2001343MaRDI QIDQ3486554zbMATH OpenOpenAlexFDO

Authors Alistair H. Lachlan

Publication date 1990

Full work available at URL https://doi.org/10.2307/2001343

zbMATH Keywords

algebraicitysaturated modelsrelational languagemodels of complete coinductive theories

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory (03C99)

Recommendations

• Complete Coinductive Theorems. II
• scientific article; zbMATH DE number 3952838
• Coalgebraic Completeness-via-Canonicity
• Unified Classical Logic Completeness
• Completeness for the coalgebraic cover modality
• Soundness and completeness proofs by coinductive methods
• scientific article; zbMATH DE number 1169382
• Completeness for coalgebraic fixpoint logic
• Completeness of cocompletions
• Typed Lambda Calculi and Applications

Cites work

• Coinductive ℵ₀-categorical theories
• Complete Coinductive Theorems. II
• Complete theories with only universal and existential axioms
• Finitely axiomatizable ℵ₁ categorical theories
• Graphs determined by their finite induced subgraphs
• On the number of minimal models
• Ramsey quantifiers and the finite cover property
• Relational structures determined by their finite induced substructures
• Second-order quantifiers and the complexity of theories
• Stable Finitely Homogeneous Structures

Cited in

(4)

• Some coinductive graphs
• Complete Coinductive Theorems. II
• An approximate Herbrand's theorem and definable functions in metric structures
• Unified Classical Logic Completeness

This page was built for publication: Complete Coinductive Theories. I

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