Z-stability in Constructive Analysis

DOI10.2168/LMCS-12(3:10)2016zbMath1445.03070arXiv1602.07368OpenAlexW2275027931MaRDI QIDQ2974781

J. B. Dent, Douglas S. Bridges, Maarten McKubre-Jordens

Publication date: 11 April 2017

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

constructivitypositivity principleanti-Specker\(Z\)-stabilitywell-behaved function

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Cites Work

• Inheriting the anti-Specker property
• A uniformly continuous function on [0,1 that is everywhere different from its infimum]
• Reclassifying the antithesis of Specker's theorem
• Constructive notions of equicontinuity
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• The anti-Specker property, positivity, and total boundedness
• The Approximation of Fixed Points of a Continuous Mapping
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Z-stability in Constructive Analysis