Zobrazeno 1 - 10
of 90
pro vyhledávání: '"A. S. Wainer"'
Autor:
A. S. Wainer, V. M. Nagaitsev, O. V. Korolkova, V. V. Vostrikov, L. V. Osadchuk, Ye. V. Pechkovsky, I. S. Malinovskaya, M. L. Filipenko
Publikováno v:
Бюллетень сибирской медицины, Vol 11, Iss 3, Pp 18-21 (2012)
Allelic variants of genes involved in spermatogenesis can contribute to the genetic predisposition to idiopathic male infertility. In the present study we investigated the association of polymorphism rs3088232 in the BRDT gene with the risk of this p
Externí odkaz:
https://doaj.org/article/086c845a6f78493f8a3a38f2d29b8d72
Publikováno v:
The Bulletin of Symbolic Logic. 27:168-186
Following our [6], though with somewhat different methods here, further variants of Goodstein sequences are introduced in terms of parameterized Ackermann–Péter functions. Each of the sequences is shown to terminate, and the proof-theoretic streng
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffbbea1ab1972b7516e2e2244375b135
https://doi.org/10.1017/bsl.2021.30
https://doi.org/10.1017/bsl.2021.30
Autor:
D. Perboni, L. F. Mazzardo, A. T. Argôlo, T. F. S. Pessoa, S. M. Guaglianoni Neto, Júlia Almeida Stumer, Maini Dornelles, I. K. Lazaretti, Josiane Borghetti Antonelo Nunes, D. M. Prestes, E. F. Vargas, D. R. Sousa, K. M. Brendler, L. R. Weschenfelder, Luiza Braun, Mônia Clarissa Hennig, M. M. Bevilacqua, Charlise Paula Colet, M. A. Patussi, Mirlene Bezerra Pereira, Sabrina Vezentini Cassol, G. Krüger, Luiz Felipe Nunes, Vladimir Alves, F. Fratton, R. T. Soveral, M. B. Iglesias, A. V. S. Wainer, C. Gorczevski, V. O. B. Deprá, Andressa Raquel Lara, Caroline Fockink Ritt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::db999bd97136668d119046937d25c82f
https://doi.org/10.24824/978854443802.2
https://doi.org/10.24824/978854443802.2
The classical Goodstein process gives rise to long but finite sequences of natural numbers whose termination is not provable in Peano arithmetic. In this manuscript we consider a variant based on the Ackermann function. We show that Ackermannian Good
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::297c4d2f8fabe6e092204b7f12b96085
Autor:
Stanley S. Wainer
Publikováno v:
Proof and Computation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::728b26536fcf8dae60cb1d4d3b852d6f
https://doi.org/10.1142/9789813270947_0007
https://doi.org/10.1142/9789813270947_0007
Autor:
Sieg, S. S. Wainer
"A 'linear-style' sequent calculus makes it possible to explore the close structural relationships between primitive recursive programs and their inductive termination proofs, and between program transformations and their corresponding proof transfor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8ca6bf63742287bd1d55d36598ab311
Autor:
Mariya Ivanova Soskova, Dag Normann, Stanley S. Wainer, Peter van Emde Boas, Dugald Macpherson, Andrea Sorbi, Benedikt Löwe, Richard Elwes, Alexandra A. Soskova, Andy Lewis-Pye
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66464a88bfde9b61b13f11a6a3e12d2c
http://hdl.handle.net/11365/1058877
http://hdl.handle.net/11365/1058877
Publikováno v:
Logic Colloquium '01: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54b15f1b09b1f023aba87ed5f9c058bb
https://doi.org/10.1017/9781316755860.020
https://doi.org/10.1017/9781316755860.020
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783319633329
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c435b127a36e2d3d9fb27dd8670fe22b
https://doi.org/10.1007/978-3-319-63334-3_6
https://doi.org/10.1007/978-3-319-63334-3_6
Publikováno v:
Journal of Perinatology. 31:621-624
The use of transcutaneous bilirubin (TcB) measurements has been studied extensively in the newborn population, but there have been few studies in outpatient populations and none from the offices of practicing pediatricians.We performed TcB measuremen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c300bd1f13907f377251396e293b424
https://doi.org/10.1038/jp.2011.5
https://doi.org/10.1038/jp.2011.5