Pietro Ursino

Available identifiers

zbMath Open ursino.pietroMaRDI QIDQ178072

List of research outcomes

Publication	Date of Publication	Type
Volume of Tubes and Concentration of Measure in Riemannian Geometry	2023-07-31	Paper
Concentration of measure for classical Lie groups	2023-03-06	Paper
Macdonald formula, Ricci Curvature, and Concentration Locus for classical compact Lie groups	2022-04-10	Paper
Decidability and NP-completeness for some languages which extend Boolean Set Theory	2021-08-31	Paper
Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator	2021-06-02	Paper
Hilbert's Tenth problem and NP-completeness of Boolean Syllogistic with unordered cartesian product	2021-01-01	Paper
Universal minimal flow in the theory of topological groupoids	2020-08-03	Paper
A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product	2019-02-27	Paper
Concentration of measure for classical Lie groups	2018-10-15	Paper
An introduction to the technique of formative processes in set theory	2018-07-03	Paper
Two Dichotomy Theorems	2017-03-14	Paper
Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate	2014-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4649711	2012-11-13	Paper
Notes from the logbook of a proof-checker's project	2010-03-23	Paper
Applications of formative process to the decision problem in set theory	2007-08-07	Paper
On a generalized notion of differentiability	2007-07-09	Paper
A generalized small model property for languages which force the infinity	2007-05-09	Paper
Comparing the automorphism group of the measure algebra with some groups related to the infinite permutation group of the natural numbers	2003-12-27	Paper
Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q3146451	2002-09-11	Paper
Embeddings into P(N)/fin and extension of automorphisms	2002-08-27	Paper
Rearrangeable functions on the real line	2001-06-10	Paper

Research outcomes over time

This page was built for person: Pietro Ursino