A continuity principle, a version of Baire's theorem and a boundedness principle
From MaRDI portal
(Redirected from Publication:5502822)
Baire's theoremboundedness principlesconstructive mathematicscontinuity principlesomniscience principlesreverse mathematics
Foundations of classical theories (including reverse mathematics) (03B30) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Baire category, Baire spaces (54E52)
Recommendations
- A generalization of a Baire theorem concerning barely continuous functions
- A continuous analogue of the upper bound theorem
- scientific article; zbMATH DE number 3993588
- The uniform boundedness theorem and a boundedness principle
- A generalization of the uniform boundedness principle
- A continuous version of the Hausdorff-Banach-Tarski paradox
- Partial continuity of set-valued mappings and a generalization of one Baire theorem
- \(\mathcal{A}\)-continuity and measure
Cites work
Cited in
(23)- Intuitionistic sequential compactness?
- On Brouwer's continuity principle
- On the necessity of some topological spaces
- Minimum classical extensions of constructive theories
- Principles weaker than BD-N
- Continuous homomorphisms of R onto a compact group
- Limited Omniscience and the Bolzano-Weierstrass Principle
- The uniform boundedness theorem and a boundedness principle
- On the failure of BD-ℕ and BD, and an application to the anti-specker property
- Continuous isomorphisms from R onto a complete abelian group
- Principles of bar induction and continuity on Baire space
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
- Maps for learning indexable classes
- On the necessity of some topological spaces
- Realizability models refuting Ishihara's boundedness principle
This page was built for publication: A continuity principle, a version of Baire's theorem and a boundedness principle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5502822)
