Source author record

Marco Forti

Marco Forti appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO math.GN math.RA

Catalog footprint

What is connected

3works

3topics

1close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

The Euclidean numbers

We introduce axiomatically a Nonarchimedean field E, called the field of the Euclidean numbers, where a transfinite sum is defined that is indicized by ordinal numbers less than the first inaccessible Ω. Thanks to this sum, E becomes a saturated hyperreal field isomorphic to the so called Kiesler field of cardinality Ω, and suitable topologies can be put on E and on Ω \cup {Ω} so as to obtain the transfinite sums as limits of a suitable class of their finite subsums. Moreover there is a natural isomorphic embedding into E of the semiring Ω equipped by the natural sum and product. Finally a notion of numerosity satisfying all Euclidean common notions is given, whose values are nonnegative nonstandard integers of E. Then E can be charachterized as the hyperreal field generated by the real numbers and together with the semiring of numerosities (and this explains the name Euclidean numbers).

preprint2011arXiv

Quasi-selective and weakly Ramsey ultrafilters

Selective ultrafilters are characterized by many equivalent properties, in particular the Ramsey property that every finite colouring of unordered pairs of integers has a homogeneous set in U, and the equivalent property that every function is nondecreasing on some set in U. Natural weakenings of these properties led to the inequivalent notions of weakly Ramsey and of quasi-selective ultrafilter, introduced and studied in [1] and [4], respectively. U is weakly Ramsey if for every finite colouring of unordered pairs of integers there is a set in U whose pairs share only two colours, while U is f-quasi-selective if every function g < f is nondecreasing on some set in U. (So the quasi-selective ultrafilters of [4] are here id-quasi selective.) In this paper we consider the relations between various natural cuts of the ultrapowers of N modulo weakly Ramsey and f-quasi-selective ultrafilters. In particular we characterize those weakly Ramsey ultrafilters that are isomorphic to a quasi-selective ultrafilter.

preprint2010arXiv

Leibniz's Principles and Topological Extensions

Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object", "everything can possibly exist, unless it yields contradiction", "the ideal elements correctly determine the real things". Here we give a precise formulation of these principles within the framework of the Topological Extensions of [8], structures that generalize at once compactifications, completions, and nonstandard extensions. In this topological context, the above Leibniz's principles appear as a property of separation, a property of compactness, and a property of analyticity, respectively. Abiding by this interpretation, we obtain the somehow surprising conclusion that these Leibnz's principles can be fulfilled in pairs, but not all three together.