Luis M. Villegas Silva

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We extend a classical result in ordinary recursion theory to higher recursion theory, namely that every recursively enumerable set can be represented in any model A by some Horn theory, where A can be any model of a higher recursion theory, like primitive set recursion, αrecursion, or β -recursion. We also prove that, under suitable conditions, a set(More)
In this paper we prove some cases of the gap-2 cardinal transfer theorem for uncountable languages assuming the axiom of constructibility. Consider uncountable cardinals κ, λ, λ regular, a first order language L with at least one unary predicate symbol U , |L| < min{κ, λ}. Given an L-structure A = 〈A,U, . . .〉, where |A| = κ, |U| = κ, we find an L-structure(More)
The Staphylococcus aureus is the most common isolated microorganism in ruminant animal species diagnostic with clinical or subclinical mastitis. Dairy herds with these diseases can transfer S. aureus into the milk supply, which can lead to food poisoning in humans. The objective of this study was to evaluate the profile of antimicrobial susceptibility, the(More)
  • 1