List of preprints
List of preprints
Embedded Files
A. Linzi. L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL. arXiv:2509.19854. 2025
List of submissions
List of submissions
A. Linzi. A Horn Theory of Fields and Certain Hyperfields. submitted.
A. Linzi. On the graded rings and Krasner hyperfields of valued fields. submitted.
A. Linzi. On some classes of multivalued algebraic structures. submitted.
In many places [...] the reader will find old-fashioned reasonings which lack generality and which are more clumsy than the modern methods.
This has different reasons.
Arend Heyting. Intuitionism: an introduction. 1956. Preface of the 3rd edition, p. 1.
Google Sites
Report abuse