A Tenth Hilbert Problem-like Result: The Decidability of MLS with Unordered Cartesian Product
Pietro Ursino

















































































































LISTE DES PUBLICATIONS
IN







#1#2#3 #1 (#3), #2.

#1#2 #1, #2.













headings

-1cm
1cm
0cm
22.5cm
15cm
0.5cm
1cm
12pt
1pt
1pt
1


mydefDefinition 
myconjConjecture 
myopenProblOpen Problem 
mylemmaLemma 
mypropositionProposition 
mytheoremTheorem 
myclaimClaim 
mycorollaryCorollary 
myalgorithmAlgorithm 
myprocedure[myalgorithm]Procedure 
myremarksRemarks 
myremark[myremarks]Remark 
myprinciplePrinciple 
myexercExercise 
myexampleExample 
myexamples[myexample]Examples 
myproblemProblem 
mypropertyProperty 




























































































 




































50
2em
=0pt =0 




ℝ
ℕ
ℤ
ℚ
50
2em2mm2mm
=0pt =0 






























des

   ∙
   = 0 mm
= 3 mm = 2 mm
= 0.4 mm
= = 5 mm 








