Complete Coinductive Theories. I

DOI10.2307/2001343zbMATH Open0706.03034OpenAlexW4213354593MaRDI QIDQ3486554FDOQ3486554

Alistair H. Lachlan

Publication date: 1990

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

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

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)

Cites Work

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

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)