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 topologycontinuous valuationsprobabilistic nondeterminismprogramming language semanticsspecialisation preordering

Mathematics Subject Classification ID

Logic in computer science (03B70) Continuous lattices and posets, applications (06B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) 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

(10)

• Continuous valuations
• Measure extension theorems for \(T_{0}\)-spaces
• Logical relations for monadic types
• EXTENDING THE MEASUREMENT OF TANGIBLES TO INTANGIBLES
• scientific article; zbMATH DE number 1231639 (Why is no real title available?)
• scientific article; zbMATH DE number 1107499 (Why is no real title available?)
• An Extension Result for Continuous Valuations
• Extending valuations to formal completions
• Separating minimal valuations, point-continuous valuations, and continuous valuations
• Constructing the space of valuations of a quasi-Polish space as a space of ideals

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)