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

zbMATH Open1123.03023MaRDI QIDQ3590903FDOQ3590903

Authors: Roland Hinnion 

Publication date: 3 September 2007

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

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)

Cited In (5)

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

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)