Extensions of valuations

DOI10.1017/S096012950400461XMaRDI QIDQ4675769zbMATH OpenOpenAlexWikidataFDO

Authors Jean Goubault-Larrecq

Publication date 6 May 2005

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s096012950400461x

zbMATH Keywords

Alexandroff topologyprogramming language semanticscontinuous valuationsprobabilistic nondeterminismspecialisation preordering

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• Extension d’une valuation
• scientific article; zbMATH DE number 3953140
• Quasi-valuations extending a valuation
• Ramification of valuations
• Extensions of valuation domains and going-up
• Extending valuations to formal completions
• scientific article; zbMATH DE number 1420945
• Continuous valuations
• Valuations of terms
• Valuations and Henselization

Cited in

(7)

• EXTENDING THE MEASUREMENT OF TANGIBLES TO INTANGIBLES
• Logical relations for monadic types
• Constructing the space of valuations of a quasi-Polish space as a space of ideals
• Continuous valuations
• Measure extension theorems for \(T_{0}\)-spaces
• Extending valuations to formal completions
• An Extension Result for Continuous Valuations

This page was built for publication: Extensions of valuations

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