Formula balancing and continuously valuated models

MaRDI QIDQ1766245zbMATH OpenFDO

Authors A. Rigo

Publication date 28 February 2005

Published in Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

zbMATH Keywords

models of set theoryhigher cardinalsCauchy-completionsformula balancinguniform model theoryuniformly continuous valuation

Mathematics Subject Classification ID

Other model constructions (03C30) Uniform structures and generalizations (54E15) Models of arithmetic and set theory (03C62)

Recommendations

• A general Cauchy-completion process for arbitrary first-order structures
• A unified functional look at completion in MET, UNIF and AP
• Entourages, density, Cauchy maps, and completion
• scientific article; zbMATH DE number 7070552
• A predicative completion of a uniform space

Cited in

(1)

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

This page was built for publication: Formula balancing and continuously valuated models

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