Search results

Publication Date of Publication Type More reverse mathematics of the Heine-Borel Theorem 2012-12-17 Paper...

semigroups 2006-09-22 Paper Sequences, mathematical induction, and the Heine-Borel theorem 2006-09-22 Paper Generating functions: applications and techniques...

Field Extensions 2014-04-30 Paper More reverse mathematics of the Heine-Borel Theorem 2012-12-17 Paper Reverse mathematics, trichotomy, and dichotomy 2012-12-17...

Publication Date of Publication Type A constructive proof of the Heine-Borel covering theorem for formal reals 2019-01-15 Paper Non-disclosure for distributed...

1905-01-01 Paper A system of axioms for geometry. 1904-01-01 Paper The Heine-Borel theorem. 1904-01-01 Paper The transcendence of \(\pi\) and \(e\). 1904-01-01...

variation of the definite integral. 1906-01-01 Paper Note on the \textit{Heine-Borel} theorem. 1906-01-01 Paper Remarks on a proof that a continuous function is...

in general analysis. 1915-01-01 Paper The converse of the \textit{Heine-Borel} theorem in a \textit{Riesz} domain. 1915-01-01 Paper Relatively uniform convergence...

of mathematics 2022-05-06 Paper Splittings and robustness for the Heine-Borel theorem 2022-03-22 Paper Countable sets versus sets that are countable in...

On natural numbers, integers, and rationals 1949-01-01 Paper The Heine-Borel theorem in extended basic logic 1949-01-01 Paper An extension of basic logic...

Limit of a Function at a Point 1931-01-01 Paper Note on the modified Heine-Borel theorem. 1930-01-01 Paper The relation between Riemann's method of summation...

https://portal.mardi4nfdi.de/entity/Q5614092 1971-01-01 Paper THE HEINE-BOREL THEOREM 1967-01-01 Paper On Fourier transform of rapidly increasing distributions...

P-spaces 1973-01-01 Paper Basically Bounded Sets and a Generalized Heine-Borel Theorem 1973-01-01 Paper Minimal n-prime ideal spaces 1972-01-01 Paper The...

de/entity/Q5224887 2019-07-24 Paper A constructive proof of the Heine-Borel covering theorem for formal reals 2019-01-15 Paper CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD...

\textit{Taylor}'s theorem. 1908-01-01 Paper On \textit{Taylor}'s theorem. 1908-01-01 Paper An additional note on derivates and the theorem of the mean. 1908-01-01...

separation theorem fails 2022-02-24 Paper Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$ 2021-11-03 Paper An unpublished theorem of Solovay...

Paper On the most general class \(L\) of Fréchet in which the Heine- Borel-Lebesgue theorem holds true. 1919-01-01 Paper On the most general plane closed...

One-Dimensionality of Metric Spaces 1988-01-01 Paper Constructing Metrics with the Heine-Borel Property 1987-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3472847...

proof planning 2000-06-04 Paper Analogy in inductive theorem proving 2000-01-12 Paper The Heine-Borel challenge problem. In honor of Woody Bledsoe 1998-08-24...

2009-03-23 Paper Dini’s Theorem in the Light of Reverse Mathematics 2009-03-12 Paper The anti-Specker property, a Heine-Borel property, and uniform continuity...

mardi4nfdi.de/entity/Q3505882 2008-06-11 Paper The anti-Specker property, a Heine-Borel property, and uniform continuity 2008-05-26 Paper Product a‐frames and...