Directed Sets and Malitz‐Cauchy‐Completions

DOI10.1002/MALQ.19970430404zbMATH Open0883.03018OpenAlexW2042343508MaRDI QIDQ4366128FDOQ4366128

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

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

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)

Cites Work

• Title not available (Why is that?)
• A general Cauchy-completion process for arbitrary first-order structures

Cited In (4)

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

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)