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 | 35 | 2003 |
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 | 23 | 2002 |
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 | 18 | 2014 |
An Introduction to the Technique of Formative Processes in Set Theory D Cantone, P Ursino Springer International Publishing, 2018 | 17 | 2018 |
A generalized small model property for languages which force the infinity P Ursino arXiv preprint math/0411226, 2004 | 10 | 2004 |
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 | 8 | 2001 |
A unifying approach to computable set theory D Cantone, P Ursino Proceedings of Logic Colloquium, 82-83, 1997 | 8 | 1997 |
Combinatorial and topological aspects of measure preserving functions A Giarlotta, V Pata, P Ursino Topology Proc., to appear. cf. MR 2003f 28035, 2000 | 4 | 2000 |
Basics of set theory D Cantone, P Ursino An Introduction to the Technique of Formative Processes in Set Theory, 3-20, 2018 | 2 | 2018 |
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 | 2 | 2000 |
Rearrangeable functions on the real line V Pata, P Ursino Real Analysis Exchange 24 (2), 677-694, 1999 | 2 | 1999 |
Concentration of measure for classical Lie groups SL Cacciatori, P Ursino arXiv preprint arXiv:1810.06492, 2018 | 1 | 2018 |
An extension to Rk of a result by Fekete and Meijer A Giarlotta, P Ursino Far East J. Math. Sci 68, 21-29, 2012 | 1 | 2012 |
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 |