Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Lorenzo Galeotti"'
Autor:
Amedeo Bianchini, Giovanni Vitale, Stefano Romano, Irene Sbaraini Zernini, Lorenzo Galeotti, Matteo Cescon, Matteo Ravaioli, Antonio Siniscalchi
Publikováno v:
Applied Sciences, Vol 14, Iss 11, p 4590 (2024)
Background: perioperative stroke is one of the major complications after surgery. Patent foramen ovale (PFO) increases the risk of stroke in non-cardiac surgery by right-to-left shunt related to intraoperative hemodynamic alterations, leading to para
Externí odkaz:
https://doaj.org/article/53b72230438a4c5482dd29929b7c18b3
Autor:
LORENZO GALEOTTI, BENEDIKT LÖWE
Publikováno v:
The Bulletin of Symbolic Logic. 28:182-206
The complete characterisation of order types of non-standard models of Peano arithmetic and its extensions is a famous open problem. In this paper, we consider subtheories of Peano arithmetic (both with and without induction), in particular, theories
This book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe, CiE 2024, held in Amsterdam, The Netherlands, during July 8–12, 2024 The 26 full papers and 2 short papers included in this book were carefully revie
We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). We show that our notion of OTM-realisability is sound with respect to certain systems of infinitary intuitionistic logic,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8267a860adc69b093150be077b4670d3
Autor:
Lorenzo Galeotti
Publikováno v:
The Bulletin of Symbolic Logic. 25:449-450
Autor:
Lorenzo Galeotti
Publikováno v:
Computing with Foresight and Industry ISBN: 9783030229955
CiE
CiE
Blum-Shub-Smale machines are a classical model of computability over the real line. In [9], Koepke and Seyfferth generalised Blum-Shub-Smale machines to a transfinite model of computability by allowing them to run for a transfinite amount of time. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::79f816f161b71f53017264377640b309
https://doi.org/10.1007/978-3-030-22996-2_2
https://doi.org/10.1007/978-3-030-22996-2_2
Autor:
Lorenzo Galeotti
Publikováno v:
Pursuit of the Universal ISBN: 9783319401881
CiE
CiE
Let \(\kappa \) be an uncountable cardinal with \(\kappa ^{
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1588d3a85ffd9b8157a222a92495814e
https://doi.org/10.1007/978-3-319-40189-8_28
https://doi.org/10.1007/978-3-319-40189-8_28
Summary unavailable at this time.
Publikováno v:
Scopus-Elsevier
Les reboisements de pin noir d'Autriche dans le Monte Morello, pres de l'importante zone urbaine de Florence (Italie) sont affectes depuis maintenant plusieurs annees d'un severe deperissement consistant en un jaunissement tres frequent des couronnes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21c2b39bfc6fd6f00c9462578ed5f7fb
http://www.scopus.com/inward/record.url?eid=2-s2.0-0032102830&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-0032102830&partnerID=MN8TOARS