Rice sequences of relations
Montalbán, Antonio
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (28.07.2012)
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (28.07.2012)
Get full text
Journal Article
Herd immunity under individual variation and reinfection
Montalbán, Antonio, Corder, Rodrigo M., Gomes, M. Gabriela M.
Published in Journal of mathematical biology (01.07.2022)
Published in Journal of mathematical biology (01.07.2022)
Get full text
Journal Article
Independence in computable algebra
Harrison-Trainor, Matthew, Melnikov, Alexander, Montalbán, Antonio
Published in Journal of algebra (01.12.2015)
Published in Journal of algebra (01.12.2015)
Get full text
Journal Article
The complexity of computable categoricity
Downey, Rodney G., Kach, Asher M., Lempp, Steffen, Lewis-Pye, Andrew E.M., Montalbán, Antonio, Turetsky, Daniel D.
Published in Advances in mathematics (New York. 1965) (02.01.2015)
Published in Advances in mathematics (New York. 1965) (02.01.2015)
Get full text
Journal Article
Jump inversions of algebraic structures and Σ‐definability
Faizrahmanov, Marat, Kach, Asher, Kalimullin, Iskander, Montalbán, Antonio, Puzarenko, Vadim
Published in Mathematical logic quarterly (01.05.2019)
Published in Mathematical logic quarterly (01.05.2019)
Get full text
Journal Article
Computing maximal chains
Marcone, Alberto, Montalbán, Antonio, Shore, Richard A.
Published in Archive for mathematical logic (01.08.2012)
Published in Archive for mathematical logic (01.08.2012)
Get full text
Journal Article
2021 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC
Published in The bulletin of symbolic logic
(01.03.2021)
Get full text
Journal Article