Výsledky vyhledávání - "Zoli, Enrico"

Let $\mu$ be a translation-invariant metric measure on $\R$ with the following scaling property: for every $\lambda \in (0,1)$ there exists $b(\lambda)>\lambda$ with $\mu(\lambda X)\geq b(\lambda) \mu(X)$ for all $X \si \R$. If $X$ is a $\Z$-invarian

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=project_eucl::caedbed77fa8b1e5ed7de0828b5eb043
http://projecteuclid.org/euclid.rae/1242738932

Zobrazit plný text záznamu

A Note on Formalizing Undefined Terms in Real Analysis

Autor: SACERDOTI COEN, CLAUDIO, ZOLI, ENRICO

To adopt proof assistants based on logic of total functions in education, one major problem is that of representing partial functions. In particular, one wishes to capture undefinedness in a rigorous way, while staying as close as possible to traditi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______4094::614df34bbe80408fe988eb1b09a1d5cc
http://hdl.handle.net/11585/54976

Zobrazit plný text záznamu

No transcendence basis of R over Q can be analytic

Autor: Zoli, Enrico

Publikováno v: Real Anal. Exchange 30, no. 1 (2004), 311-318

It has been proved by Sierpiński that no linear basis of $\mathbb{R}$ over $\mathbb{Q}$ can be an analytic set. Here we show that the same assertion holds by replacing ``linear basis'' with ``transcendence basis''. Furthermore, it is demonstrated th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=project_eucl::7d974f32ce2e7e0e4d4d37b5f3c783f4
http://projecteuclid.org/euclid.rae/1122482136

Zobrazit plný text záznamu