Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Peter Lietz"'
Autor:
Juan Francisco Flores-Vázquez, Gabriel Ramírez-García, Oscar René Marrufo-Meléndez, Ruth Alcalá-Lozano, Morten Peter Lietz, Yaneth Rodríguez-Agudelo, Gilberto Isaac Acosta-Castillo, Remco J. Renken, Andre Aleman, Stefanie Enriquez-Geppert, Ana Luisa Sosa-Ortiz
Publikováno v:
Frontiers in Aging Neuroscience, Vol 13 (2021)
Although the presence of anosognosia in amnestic mild cognitive impairment (aMCI) may be predictive of conversion to Alzheimer’s disease (AD), little is known about its neural correlates in AD and aMCI. Four different groups were compared using vol
Externí odkaz:
https://doaj.org/article/85c301128f6b40a98ad0782850fe3ee1
Autor:
Peter Lietz, Thomas Streicher
Publikováno v:
Annals of Pure and Applied Logic. 163:1803-1807
Ishiharaʼs boundedness principle BD - N was introduced in Ishihara (1992) [5] and has turned out to be most useful for constructive analysis, see e.g. Ishihara (2001) [6] . It is equivalent to the statement that every sequentially continuous functio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0cfbbd7184be0edc1a65c0b5015674b3
https://doi.org/10.1016/j.apal.2012.04.004
https://doi.org/10.1016/j.apal.2012.04.004
Autor:
Thomas Streicher, Peter Lietz
Publikováno v:
Mathematical Structures in Computer Science. 12
In standard realizability one works with respect to an untyped universe of realizers called a partial combinatory algebra (pca). It is well known that a pca [Ascr ] gives rise to a categorical model of impredicative type theory via the category Asm([
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05cfeb719f68f6ab2b55507e63fdb7dc
https://doi.org/10.1017/s0960129502003663
https://doi.org/10.1017/s0960129502003663