검색어: acho que tcu de bair evolution (포르투갈어 - 영어)

acho que
guess who

acho que eles
i think they

acho que não.
i think not.

bem, acho que ...
well, i suppose...

acho que agora
i now think

eu acho que não.
i think not.

acho que é isso!
i think that's it!

acho que é divertido.
i find it amusing.

"eu acho que é."
"i think so."

acho que sim. certo?
have you understood my question so far? i think so. right?

acho que deveríamos reconhecer...
i think that we should acknowledge that...

você acha que conseguiria?)
do you think you could manage it?)

acha que seria possível?
could this be possible?

note que elementos do espaço de cantor podem ser identificados com conjuntos de inteiros e elementos do espaço de baire com funções de inteiros para inteiros.
note that elements of the cantor space can be identified with sets of integers and elements of the baire space with functions from integers to integers.

* todo espaço localmente compacto hausdorff não vazio é uma espaço de baire.
*(bct2) every locally compact hausdorff space is a baire space.

**todo jogo infinito formula_11 em que formula_12 é um subconjunto borel de um espaço de baire é determinado.
**every infinite game formula_6 in which formula_7 is a borel subset of baire space is determined.

*cada subconjunto aritmético do espaço de cantor ou espaço de baire é um conjunto de borel.
* every arithmetical subset of cantor space or baire space is a borel set.

uma definição paralela é utilizada para definir a hierarquia aritmética em potências cartesianas finitas dos espaços de baire ou de cantor, usando fórmulas com diversas variáveis livres.
a parallel definition is used to define the arithmetical hierarchy on finite cartesian powers of baire space or cantor space, using formulas with several free variables.

*um definição equivalente da hierarquia analítica em um espaço de baire é dada pela definição de hierarquia analítica de fórmulas utilizando uma versão funcional da aritmética de segunda ordem.
*an equivalent definition of the analytical hierarchy on baire space is given by defining the analytical hierarchy of formulas using a functional version of second-order arithmetic; then the analytical hierarchy on subsets of cantor space can be defined from the hierarchy on baire space.

**o teorema da categoria de baire sobre espaços completos métricos, e suas consequências, como o teorema do mapeamento aberto e o teorema do grafo fechado.
**the baire category theorem about complete metric spaces, and its consequences, such as the open mapping theorem and the closed graph theorem.