#### Filter Results:

- Full text PDF available (2)

#### Publication Year

2015

2017

- This year (1)
- Last 5 years (3)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Juan A. Nido Valencia, Julio Solís-Daun, Luis M. Villegas Silva
- Periodica Mathematica Hungarica
- 2016

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)

- Luis M. Villegas Silva, Rafael Atlixco
- 2015

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)

- Aloisio Xavier, Anna Christina Almeida, +6 authors Mauro Aparecido Souza Xavier
- Genetics and molecular research : GMR
- 2017

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
- ›