Follow
Pietro Ursino
Pietro Ursino
Verified email at unict.it
Title
Cited by
Cited by
Year
Notes from the logbook of a proof-checker’s project
D Cantone, EG Omodeo, JT Schwartz, P Ursino
Verification: Theory and Practice, 182-207, 2003
352003
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators
D Cantone, P Ursino, EG Omodeo
Information and Computation 172 (2), 165-201, 2002
232002
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate
D Cantone, P Ursino
Information and Computation 237, 215-242, 2014
182014
An Introduction to the Technique of Formative Processes in Set Theory
D Cantone, P Ursino
Springer International Publishing, 2018
172018
A generalized small model property for languages which force the infinity
P Ursino
arXiv preprint math/0411226, 2004
102004
Embeddings into P (N)/fin and extension of automorphisms
A Bella, A Dow, KP Hart, M Hrusak, J van Mill, P Ursino
arXiv preprint math/0112136, 2001
82001
A unifying approach to computable set theory
D Cantone, P Ursino
Proceedings of Logic Colloquium, 82-83, 1997
81997
Combinatorial and topological aspects of measure preserving functions
A Giarlotta, V Pata, P Ursino
Topology Proc., to appear. cf. MR 2003f 28035, 2000
42000
Basics of set theory
D Cantone, P Ursino
An Introduction to the Technique of Formative Processes in Set Theory, 3-20, 2018
22018
Universal Minimal Flow in the Theory of Topological Groupoids
R Re, P Ursino
arXiv preprint arXiv:1609.05647, 2016
2*2016
Transitive venn diagrams with applications to the decision problem in set theory
D Cantone, EG Omodeo, P Ursino
in set theory, Proc. APPIA GULP PRODE'99 Joint Conference on Declarative …, 2000
22000
Rearrangeable functions on the real line
V Pata, P Ursino
Real Analysis Exchange 24 (2), 677-694, 1999
21999
Concentration of measure for classical Lie groups
SL Cacciatori, P Ursino
arXiv preprint arXiv:1810.06492, 2018
12018
An extension to Rk of a result by Fekete and Meijer
A Giarlotta, P Ursino
Far East J. Math. Sci 68, 21-29, 2012
12012
Experimental comparison of two tableau-based decision procedures for MLSS
D Cantone, R Terranova, P Ursino
CILC08—Convegno Italiano di Logica Computazionale, 10-12, 0
1*
A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product
P Ursino
arXiv preprint arXiv:1902.10511, 2019
2019
Formative Processes
D Cantone, P Ursino
An Introduction to the Technique of Formative Processes in Set Theory, 59-92, 2018
2018
Decidability of MLSSPF
D Cantone, P Ursino
An Introduction to the Technique of Formative Processes in Set Theory, 113-143, 2018
2018
The Decision Problem in Set Theory
D Cantone, P Ursino
An Introduction to the Technique of Formative Processes in Set Theory, 21-58, 2018
2018
Two Dichotomy Theorems
D Cantone, P Ursino
arXiv preprint arXiv:1703.04648, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20