Directed Sets and Malitz‐Cauchy‐Completions

DOI10.1002/MALQ.19970430404MaRDI QIDQ4366128zbMATH OpenOpenAlexFDO

Authors Roland Hinnion

Publication date 9 March 1998

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19970430404

zbMATH Keywords

directed setslarge cardinalprojective limitCauchy-completionsdirected families of equivalencesinfinite first-order structuresMalitz completionMalitz-familiesMalitz-spectrum

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Large cardinals (03E55)

Recommendations

• A general Cauchy-completion process for arbitrary first-order structures
• Ramifiable Directed Sets
• Cauchy completeness in elementary logic
• Formula balancing and continuously valuated models
• Directed Sets and Cofinal Types

Cites work

• scientific article; zbMATH DE number 3467030 (Why is no real title available?)
• A general Cauchy-completion process for arbitrary first-order structures

Cited in

(4)

• A general Cauchy-completion process for arbitrary first-order structures
• On directed sets and their suprema
• Directed Completions and DM-Completions on $\mathcal {R}-$ Posets
• A Constructive Model of Directed Univalence in Bicubical Sets

This page was built for publication: Directed Sets and Malitz‐Cauchy‐Completions

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