Pages that link to "Item:Q5790901"
From MaRDI portal
The following pages link to Nicht konstruktiv beweisbare Sätze der Analysis (Q5790901):
Displayed 50 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Computing sums of conditionally convergent and divergent series using the concept of grossone (Q440666) (← links)
- Notes on computable analysis (Q519888) (← links)
- Beta-shifts, their languages, and computability (Q633763) (← links)
- Reflections on function spaces (Q651312) (← links)
- Real numbers, continued fractions and complexity classes (Q751655) (← links)
- Rekursive reelle Zahlen (Q767909) (← links)
- Zur rekursiven Funktionentheorie (Q767910) (← links)
- Reducibilities on real numbers (Q795039) (← links)
- Représentations des nombres réels par développements en base entière et complexité. (Representations of real numbers by expansions on integer basis and complexity) (Q804571) (← links)
- Divergence bounded computable real numbers (Q817855) (← links)
- Fuzzy constructive logic (Q843607) (← links)
- The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
- Algebras of recursively enumerable sets and their applications to fuzzy logic (Q937908) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Computing interpolating sequences (Q970109) (← links)
- Classification of computably approximable real numbers (Q1015380) (← links)
- Approximation to measurable functions and its relation to probabilistic computation (Q1088659) (← links)
- On the continued fraction representation of computable real numbers (Q1096627) (← links)
- Representations of the real numbers and of the open subsets of the set of real numbers (Q1101448) (← links)
- Nonconstructivizability of certain ordered fields of real numbers (Q1104316) (← links)
- The maximum value problem and NP real numbers (Q1161742) (← links)
- Computational complexity of real functions (Q1171056) (← links)
- The constructive inequivalence of various notions of preference ordering (Q1177104) (← links)
- Some aspects of effectively constructive mathematics that are relevant to the foundations of neoclassical mathematical economics and the theory of games (Q1196208) (← links)
- Recursive function theory and numerical analysis (Q1216028) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II (Q1302291) (← links)
- On the hierarchy and extension of monotonically computable real numbers. (Q1426053) (← links)
- The closure properties on real numbers under limits and computable operators. (Q1607302) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- Complexity of the calculus of continued fraction representation of real numbers (Q1814099) (← links)
- Using PVS to validate the algorithms of an exact arithmetic. (Q1853641) (← links)
- Constructive mathematics and unbounded operators -- a reply to Hellman (Q1902560) (← links)
- Effective content of the calculus of variations. I: Semi-continuity and the chattering lemma (Q1919765) (← links)
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- An example of noncomputability of exponents of a system of ordinary differential equations (Q1980446) (← links)
- Algorithmic randomness and Fourier analysis (Q2000003) (← links)
- Rates of metastability for iterations on the unit interval (Q2033176) (← links)
- Liouville numbers and the computational complexity of changing bases (Q2106591) (← links)
- On the complexity of conversion between classic real number representations (Q2106593) (← links)
- Dedekind cuts and long strings of zeros in base expansions (Q2117788) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- Computable irrational numbers with representations of surprising complexity (Q2216036) (← links)
- The abstract type of the real numbers (Q2238151) (← links)
- Extended fuzzy constructive logic (Q2253863) (← links)
- Moduli of regularity and rates of convergence for Fejér monotone sequences (Q2317680) (← links)
- A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces (Q2320042) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)