Coherence spaces and uniform continuity

DOI10.1007/978-3-662-54458-7_1MaRDI QIDQ2988356zbMATH OpenOpenAlexFDO

Authors Kei Matsumoto

Publication date 19 May 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1706.00562

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Uniform structures and generalizations (54E15)

Abstract: In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map as a uniformly continuous function. The linear exponential comonad then assigns to each uniform space X the finest uniform space !X compatible with X. By a standard realizability construction, it is possible to consider a theory of representations in our model. Each (separable, metrizable) uniform space, such as the real line, can then be represented by (a partial surjecive map from) a coherence space with totality. The following holds under certain mild conditions: a function between uniform spaces X and Y is uniformly continuous if and only if it is realized by a total linear map between the coherence spaces representing X and Y.

Recommendations

• Non-uniform hypercoherences
• Coherence spaces are untopological
• A constructive model of uniform continuity
• On Köthe sequence spaces and linear logic
• Strong and Uniform Continuity – the Uniform Space Case

Cites work

• scientific article; zbMATH DE number 1670474 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 3479763 (Why is no real title available?)
• scientific article; zbMATH DE number 1231640 (Why is no real title available?)
• scientific article; zbMATH DE number 218500 (Why is no real title available?)
• scientific article; zbMATH DE number 3201246 (Why is no real title available?)
• scientific article; zbMATH DE number 3326329 (Why is no real title available?)
• A Relationship between Equilogical Spaces and Type Two Effectivity
• A domain-theoretic approach to computability on the real line
• A note on full intuitionistic linear logic
• A tutorial on computable analysis
• Abstract datatypes for real numbers in type theory
• Categorical logic and type theory
• Computability on topological spaces via domain representations
• Extended admissibility.
• Finiteness spaces
• Geometry of Interaction and linear combinatory algebras
• Glueing and orthogonality for models of linear logic
• Impredicativity entails untypedness
• Linear logic
• Linear realizability and full completeness for typed lambda-calculi
• PCF extended with real numbers
• Stability and computability in coherent domains
• The system \({\mathcal F}\) of variable types, fifteen years later
• Theory of representations
• Total objects in inductively defined types
• Total sets and objects in domain theory

Cited in

(7)

• Continuous cohesion over sets
• Remarks on unicoherence at subcontinua
• Non-uniform (hyper/multi)coherence spaces
• From coherent to finiteness spaces
• Non-uniform hypercoherences
• Coherent ultrafilters and nonhomogeneity
• scientific article; zbMATH DE number 637489 (Why is no real title available?)

This page was built for publication: Coherence spaces and uniform continuity

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