A general Cauchy-completion process for arbitrary first-order structures

MaRDI QIDQ3590903zbMATH OpenFDO

Authors Roland Hinnion

Publication date 3 September 2007

zbMATH Keywords

compactnessregularityuniformitycardinalsmeasurabilitydirected setsfirst-order structureCauchy-completionramifiability

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Uniform structures and generalizations (54E15) Set-theoretic model theory (03C55) Large cardinals (03E55)

Recommendations

• Formula balancing and continuously valuated models
• Directed Sets and Malitz‐Cauchy‐Completions
• Cauchy completeness in elementary logic
• Entourages, density, Cauchy maps, and completion
• Publication:4726301

Cited in

(5)

• A ``downwards Löwenheim-Skolem-Tarski theorem for specific uniform structures
• Formula balancing and continuously valuated models
• Ramifiable Directed Sets
• On the Consistency of a Positive Theory
• Directed Sets and Malitz‐Cauchy‐Completions

This page was built for publication: A general Cauchy-completion process for arbitrary first-order structures

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