Cauchy completeness in elementary logic

DOI10.2307/2275809MaRDI QIDQ3128466zbMATH OpenOpenAlexFDO

Authors José Carlos Cifuentes, Antonio M. A. Sette, Daniele Mundici

Publication date 29 September 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Cauchy completenessCauchy net of structuresCauchy sequencepseudometricspace of structuresultraproduct as a limit

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Ultraproducts and related constructions (03C20) Abstract model theory (03C95)

Recommendations

• scientific article; zbMATH DE number 3857062
• scientific article; zbMATH DE number 1169382
• Theory of completeness for logical spaces
• Completeness theory for propositional logics
• Completeness and incompleteness for intuitionistic logic
• Elementary definability and completeness in general and positive modal logic
• Completeness for linear continuous logic
• Provability logic and the completeness principle
• scientific article; zbMATH DE number 3999892
• On arithmetical completeness of the logic of proofs

Cites work

• Compactness and normality in abstract logics
• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• Ultraproducts in the theory of models

Cited in

(3)

• A general Cauchy-completion process for arbitrary first-order structures
• Directed Sets and Malitz‐Cauchy‐Completions
• Honest elementary degrees and degrees of relative provability without the cupping property

This page was built for publication: Cauchy completeness in elementary logic

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