On some computational properties of open sets
From MaRDI portal
Cites work
- A Constructive Look at Functions of Bounded Variation
- A Separation Theorem for ∑ 1 1 Sets
- An introduction to measure theory
- Baire one star functions
- Big in reverse mathematics: measure and category
- Big in reverse mathematics: the uncountability of the reals
- Bounded variation and around
- Bounded variation and the strength of Helly's selection theorem
- Bounded variation implies regulated: a constructive proof
- Computations in higher types
- Continuous selections. I
- Contribution à l'analyse arithmétique du continu.
- Darboux Properties and Applications to Non-Absolutely Convergent Integrals
- Differentiation of real functions
- Effective discontinuity and a characterisation of the superjump
- Effective Jordan decomposition
- Ekeland's variational principle in weak and strong systems of arithmetic
- First level Borel functions and isomorphisms
- First-Class Functions
- Generalizations of Urysohn's lemma for some subclasses of Darboux functions
- Higher-order computability
- scientific article; zbMATH DE number 4091484 (Why is no real title available?)
- scientific article; zbMATH DE number 3743557 (Why is no real title available?)
- scientific article; zbMATH DE number 194101 (Why is no real title available?)
- scientific article; zbMATH DE number 1215497 (Why is no real title available?)
- scientific article; zbMATH DE number 1030714 (Why is no real title available?)
- scientific article; zbMATH DE number 2061585 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- scientific article; zbMATH DE number 1870414 (Why is no real title available?)
- scientific article; zbMATH DE number 2208228 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 3322954 (Why is no real title available?)
- scientific article; zbMATH DE number 3334141 (Why is no real title available?)
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- Integrals of continuous functions
- Introduction à l'étude de la théorie des nombres et de l'algèbre supérieure. D'après des conférences faites à l'École Normale Supérieure par J. Tannery.
- Investigations of infinitely often oscillating and discontinuous functions.
- Investigations of infinitely often oscillating and discontinuous functions. A contribution to the founding of the concept of function.
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Jordan measure and Riemann integration
- LCF considered as a programming language
- Located sets and reverse mathematics
- Measure-theoretic uniformity and the Suslin functional
- Memoir on discontinuous functions.
- Omniscience principles and functions of bounded variation
- On Computable Numbers, with an Application to the Entscheidungsproblem
- On Countably Paracompact Spaces
- On effectively discontinuous type-2 objects
- On Fourier series
- On functions of real variables.
- On Real-Valued Functions in Topological Spaces
- On representations of Baire one functions as the sum of lower and upper semicontinuous functions
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
- On the computability of the fan functional
- On the computational properties of basic mathematical notions
- On the concept of definite integral.
- On the uncountability of \(\mathbb{R}\)
- On the variational principle
- Open sets in computability theory and reverse mathematics
- Pincherle's theorem in reverse mathematics and computability theory
- Proofs and refutations. The logic of mathematical discovery. Edited by John Worrall and Elie Zahar
- Recursive Functionals and Quantifiers of Finite Types I
- Representations of the real numbers and of the open subsets of the set of real numbers
- Separating sets by cliquish functions
- Separating sets by Darboux-like functions
- Some characterizations of normal and perfectly normal spaces
- Some observation on pointwise discontinuous functions.
- Subsystems of second order arithmetic
- Sums of quasicontinuous functions defined on pseudometrizable spaces
- Sur l'approximation les uns par les autres des nombres formant un ensemble dénombrable.
- The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis
- The biggest five of reverse mathematics
- The countably based functionals
- The emergence of open sets, closed sets, and limit points in analysis and topology
- The Normal Completion of the Lattice of Continuous Functions
- Über Funktionen, die auf einer abgeschlossenen Menge stetig sind.
- Über halbstetige Funktionen und deren Verallgemeinerung.
- Über halbstetige und unstetige Funktionen.
This page was built for publication: On some computational properties of open sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6909848)
