FERREIRA, Francicleber Martins. Modelos minimais e hierarquia de expressividade. 2007. 122 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2007. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T15:45:38Z No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-15T15:38:19Z (GMT) No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) / Made available in DSpace on 2016-07-15T15:38:19Z (GMT). No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) Previous issue date: 2007 / Neste trabalho, o conceito de Modelo Minimal e seu uso na semântica de certas lógicas são estudados. Nós analisamos o poder expressivo de diversas lógicas que usam o conceito de Modelo Minimal para definir sua relação de satisfação. Os principais teoremas estudados foram o Teorema de Löwenheim-Skolem e o Teorema de Definibilidade de Beth. No Capítulo 1, nós damos algumas motivações e revisamos alguns conceitos básicos de Lógica. No Capítulo 2, nos estudamos a Lógica de Menor Ponto Fixo|LFP. Nós exibimos uma prova de que o Teorema de Beth não vale para LFP. Nós usamos teorias infinitas para provar isso. Utilizando um resultado de Hodkinson para L!!1!, nós mostramos que o Teorema de Beth continua não valendo mesmo para teorias finitas de LFP. Nós continuamos estudando problemas de definibilidade para LFP e demonstramos que, para tipos especiais de definições implícitas formadas por Sistemas Recursivos, que funcionam como definições recursivas em determinados contextos, existe uma definição explícita. Nós promavos ainda que o Teorema de LÄowenheim-Skolem Descendente vale para qualquer conjunto de fórmulas de LFP, independentemente de sua cardinalidade. No Capítulo 3, a Circunscrição de McCarthy e as Teorias Circunscritivas Aninhadas de Lifschitz, uma generalização da primeira. Nós abordamos o poder expressivo de Circunscrição e a falha do Teorema de LÄowenheim-Skolem Descendente. Nós também investigamos questões de definibilidade no contexto de Circunscrição. Nós encerramos esse capítulo mostrando que as Teorias Circunscritivas Aninhadas possuem poder expressivo comparável com o da Lógica de Segunda-Ordem. No Capítulo 4, nós estendemos uma lógica criada por van Benthem dando origem a duas outras lógicas, a saber, U-MIN e I-MIN. Nós provamos que ambas são equivalentes entre si em poder expressivo e daí em diante chamamos U-MIN de MIN. Nós introduzimos a Lógica Si-MIN de minimalização simultânea e provamos que Si-MIN é equivalente a U-MIN e I-MIN e também à Lógica de Segunda-Ordem. Nós então propomos o fragmento MIN¢ de MIN, cujo poder expressivo situa-se entre o da Lógica de Segunda-Ordem e o de LFP. No Capítulo 5, nós reunimos nossas conclusões e apontamos trabalhos futuros.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito de Modelo Minimal para definir sua relaÃÃo de satisfaÃÃo. Os principais teoremas estudados foram o Teorema de LÃwenheim-Skolem e o Teorema de Definibilidade de Beth. No CapÃtulo 1, nÃs damos algumas motivaÃÃes e revisamos alguns conceitos bÃsicos de LÃgica. No CapÃtulo 2, nos estudamos a LÃgica de Menor Ponto Fixo|LFP. NÃs exibimos uma prova de que o Teorema de Beth nÃo vale para LFP. NÃs usamos teorias infinitas para provar isso. Utilizando um resultado de Hodkinson para L!!1!, nÃs mostramos que o Teorema de Beth continua nÃo valendo mesmo para teorias finitas de LFP. NÃs continuamos estudando problemas de definibilidade para LFP e demonstramos que, para tipos especiais de definiÃÃes implÃcitas formadas por Sistemas Recursivos, que funcionam como definiÃÃes recursivas em determinados contextos, existe uma definiÃÃo explÃcita. NÃs promavos ainda que o Teorema de LÃowenheim-Skolem Descendente vale para qualquer conjunto de fÃrmulas de LFP, independentemente de sua cardinalidade. No CapÃtulo 3, a CircunscriÃÃo de McCarthy e as Teorias Circunscritivas Aninhadas de Lifschitz, uma generalizaÃÃo da primeira. NÃs abordamos o poder expressivo de CircunscriÃÃo e a falha do Teorema de LÃowenheim-Skolem Descendente. NÃs tambÃm investigamos questÃes de definibilidade no contexto de CircunscriÃÃo. NÃs encerramos esse capÃtulo mostrando que as Teorias Circunscritivas Aninhadas possuem poder expressivo comparÃvel com o da LÃgica de Segunda-Ordem. No CapÃtulo 4, nÃs estendemos uma lÃgica criada por van Benthem dando origem a duas outras lÃgicas, a saber, U-MIN e I-MIN. NÃs provamos que ambas sÃo equivalentes entre si em poder expressivo e daà em diante chamamos U-MIN de MIN. NÃs introduzimos a LÃgica Si-MIN de minimalizaÃÃo simultÃnea e provamos que Si-MIN à equivalente a U-MIN e I-MIN e tambÃm à LÃgica de Segunda-Ordem. NÃs entÃo propomos o fragmento MIN de MIN, cujo poder expressivo situa-se entre o da LÃgica de Segunda-Ordem e o de LFP. No CapÃtulo 5, nÃs reunimos nossas conclusÃes e apontamos trabalhos futuros.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-02-28Bitstream added on 2014-06-13T20:47:31Z : No. of bitstreams: 1 dutra_ag_me_sjrp.pdf: 367017 bytes, checksum: 7f6e068667f2c81f80e87e474b0e7f14 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Uma substituicão é uma aplicação de um conjunto nito A (alfabeto) ao conjunto das palavras nitas sobre A. Neste trabalho, estudaremos propriedades topológicas e métricas dos sistemas din amicos associados a substituicões. Em particular, mostraremos que, para uma classe de substituicões, o sistema dinâmico associado é minimal e ergódico. / A substitution is a map from a nite set A (alphabet) to the set of nite words whose letters belong to A. In this work, we study some topological and metrical properties of the dynamical system associated to a substitution. In particular, we prove that for a class of substitutions, the associated dynamical system is minimal and ergodic.

FERREIRA, Francicleber Martins. Modelos minimais e hierarquia de expressividade. 2007. 109 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2007. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-29T18:55:46Z No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-29T18:56:33Z (GMT) No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) / Made available in DSpace on 2016-06-29T18:56:33Z (GMT). No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) Previous issue date: 2007 / Neste trabalho, o conceito de Modelo Minimal e seu uso na semântica de certas lógicas são estudados. Nós analisamos o poder expressivo de diversas lógicas que usam o conceito de Modelo Minimal para definir sua relação de satisfação. Os principais teoremas estudados foram o Teorema de Löwenheim-Skolem e o Teorema de Definibilidade de Beth. No Capítulo 1, nós damos algumas motivações e revisamos alguns conceitos básicos de Lógica. No Capítulo 2, nos estudamos a Lógica de Menor Ponto Fixo|LFP. Nós exibimos uma prova de que o Teorema de Beth não vale para LFP. Nós usamos teorias infinitas para provar isso. Utilizando um resultado de Hodkinson para L!!1!, nós mostramos que o Teorema de Beth continua não valendo mesmo para teorias finitas de LFP. Nós continuamos estudando problemas de definibilidade para LFP e demonstramos que, para tipos especiais de definições implícitas formadas por Sistemas Recursivos, que funcionam como definições recursivas em determinados contextos, existe uma definição explícita. Nós promavos ainda que o Teorema de LÄowenheim-Skolem Descendente vale para qualquer conjunto de fórmulas de LFP, independentemente de sua cardinalidade. No Capítulo 3, a Circunscrição de McCarthy e as Teorias Circunscritivas Aninhadas de Lifschitz, uma generalização da primeira. Nós abordamos o poder expressivo de Circunscrição e a falha do Teorema de LÄowenheim-Skolem Descendente. Nós também investigamos questões de definibilidade no contexto de Circunscrição. Nós encerramos esse capítulo mostrando que as Teorias Circunscritivas Aninhadas possuem poder expressivo comparável com o da Lógica de Segunda-Ordem. No Capítulo 4, nós estendemos uma lógica criada por van Benthem dando origem a duas outras lógicas, a saber, U-MIN e I-MIN. Nós provamos que ambas são equivalentes entre si em poder expressivo e daí em diante chamamos U-MIN de MIN. Nós introduzimos a Lógica Si-MIN de minimalização simultânea e provamos que Si-MIN é equivalente a U-MIN e I-MIN e também à Lógica de Segunda-Ordem. Nós então propomos o fragmento MIN¢ de MIN, cujo poder expressivo situa-se entre o da Lógica de Segunda-Ordem e o de LFP. No Capítulo 5, nós reunimos nossas conclusões e apontamos trabalhos futuros.

Submitted by DANIELE ALESSANDRA REGHINI GAZETTA null (daniellygaze@hotmail.com) on 2016-01-15T17:36:23Z No. of bitstreams: 1 diss-daniele.pdf: 783553 bytes, checksum: e593f1ebb872fff02a080d05283744d5 (MD5) / Rejected by Ana Paula Grisoto (grisotoana@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: No campo “Versão a ser disponibilizada online imediatamente” foi informado que seria disponibilizado o texto completo porém no campo “Data para a disponibilização do texto completo” foi informado que o texto completo deverá ser disponibilizado apenas 6 meses após a defesa. Caso opte pela disponibilização do texto completo apenas 6 meses após a defesa selecione no campo “Versão a ser disponibilizada online imediatamente” a opção “Texto parcial”. Esta opção é utilizada caso você tenha planos de publicar seu trabalho em periódicos científicos ou em formato de livro, por exemplo e fará com que apenas as páginas pré-textuais, introdução, considerações e referências sejam disponibilizadas. Se optar por disponibilizar o texto completo de seu trabalho imediatamente selecione no campo “Data para a disponibilização do texto completo” a opção “Não se aplica (texto completo)”. Isso fará com que seu trabalho seja disponibilizado na íntegra no Repositório Institucional UNESP. Por favor, corrija esta informação realizando uma nova submissão. Agradecemos a compreensão. on 2016-01-15T19:12:27Z (GMT) / Submitted by DANIELE ALESSANDRA REGHINI GAZETTA null (daniellygaze@hotmail.com) on 2016-01-16T16:43:56Z No. of bitstreams: 2 diss-daniele.pdf: 783553 bytes, checksum: e593f1ebb872fff02a080d05283744d5 (MD5) daniele-dissert.pdf: 585710 bytes, checksum: 222237614b39411bc9b9a3e82ad6ab17 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2016-01-18T16:33:44Z (GMT) No. of bitstreams: 1 gazetta_dar_me_sjrp.pdf: 783553 bytes, checksum: e593f1ebb872fff02a080d05283744d5 (MD5) / Made available in DSpace on 2016-01-18T16:33:44Z (GMT). No. of bitstreams: 1 gazetta_dar_me_sjrp.pdf: 783553 bytes, checksum: e593f1ebb872fff02a080d05283744d5 (MD5) Previous issue date: 2016-01-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O principal resultado dessa dissertação é o Teorema de Poincaré-Bendixson para campos de vetores planares suaves por partes, que nos diz quais são os tipos de conjuntos limite. Estudaremos também detalhes a respeito dos conceitos de conjuntos minimais e caóticos em campos de vetores planares suaves por partes. / The main result of this work is the Poincaré - Bendixson Theorem for planar piecewise smooth vector fields, which tell us what kind of limit sets arise in this context. We will also study details about the concepts of minimal and chaotic sets in planar piecewise smooth vector fields.

[pt] Neste trabalho estendemos os resultados em (12) e (22), sobre a minimalidade de uma das folheações estável ou instável forte), para o caso de atratores robustamente transitivos parcialmente hiperbólico e com direção central unidimensional. No nosso contexto a hiperbolicidade parcial esta definida somente no atrator. Algumas consequências são obtidas tais como a verificação de que estes atratores são robustamente) classes homoclínicas, possuem robustamente) interior vazio e admitem uma decomposição espectral. Resultados similares ainda valem no caso de atratores genericamente transitivos. / [en] In this work we extend the results in (12) and (22) about the minimality of one of the strong foliations (stable or unstable), for the case of robustly transitive attractors that is partially hyperbolic with one dimensional center bundle. In our context the partial hyperbolicity is defined only in the attractor. Some consequences are obtained as the verification that these attractors are (robustly) homoclinic classes, have (robustly) empty interior and admit a spectral decomposition. Similar results still holds in the case of generically transitive attractors.

[pt] Um diagrama de Bratteli B é um objeto combinatório representado por um grafo dividido em infinitos níveis, cada um com número finito de vértices e de arestas entre vértices de níveis consecutivos. Além disso, todo vértice possui ligação com vértices dos níveis precedente e sucessor. Estudamos, do ponto de vista topológico, o espaço dos caminhos infinitos formados pelas arestas de um diagrama de Bratteli, denotado por XB. Estabelecemos uma relação de equivalência neste espaço, denominada AF. Quando é possível definir uma ordem parcial em XB o diagrama é dito ordenado; neste caso, definimos um homeomorfismo em XB denominado de função de Bratteli-Vershik. Consideramos sistemas dinâmicos minimais definidos em conjuntos de Cantor e associamos a estes diagramas de Bratteli ordenados. Um exemplo paradigmático de um conjunto de Cantor é o espaço das sequências infinitas formadas por 00s e 10s, munido de uma métrica apropriada. Neste espaço são definidas as funções odômetro. Definimos a relação de equivalência orbital, na qual duas sequências são equivalentes se estão na mesma órbita do odômetro, e a relação de equivalência de caudas, onde duas sequências são equivalentes se a partir de alguma entrada elas são iguais. Estudamos como estas duas relações estão relacionadas. Provamos que o odômetro diádico é um homeomorfismo minimal definido em um conjunto de Cantor e, portanto, pode ser associado a um diagrama de Bratteli ordenado. Uma relação de equivalência é dita étale quando admite uma topologia gerada por uma ação local. Dois exemplos são as relações AF e orbital. Dada uma relação de equivalência étale R em um espaço X, definimos um invariante algébrico D(X,R). Construímos o grupo de dimensão de um diagrama de Bratteli. Provamos, então, que dado um diagrama de Bratteli B, seu grupo de dimensão é isomorfo a D(XB,RB), onde RB é relação AF de B. Finalmente, estudamos sob quais condições um grupo abeliano ordenado é o grupo de dimensão de um diagrama de Bratteli. Esta dissertação é baseada no livro de Ian F. Putnam Cantor minimal systems, publicado em University Lecture Series, 70. American Mathematical Society, Providence, RI, 2018. [6]. / [en] A Bratteli diagram B is a combinatorial object represented by a graph divided into infinite levels, each level with a finite number of vertices and edges between vertices of consecutive levels. Moreover, every vertex is connected to vertices of the preceding and successor levels. We study, from a topological point of view, the space of infinite paths formed by the edges of a Bratteli diagram, denoted by XB. We establish an equivalence relation on this space, called the AF relation. When it is possible to define a partial order in XB the Bratteli diagram is called ordered; in this case, we define a homeomorphism on XB called the Bratteli-Vershik function. We consider minimal dynamic systems defined on Cantor sets and associate to these systems ordered Bratteli diagrams. A paradigmatic example of a Cantor set is the space of the infinite sequences formed by 00s and 10s, equipped with an appropriate metric. In this space, are defined the odometer functions. We define the orbital equivalence relation, in which two elements of the Cantor set are equivalent if they are in the same orbit of the odometer, and the tail equivalence relation, where two sequences are equivalents if they differ in only finitely many entries. We study how these equivalence relations are related. We prove that the dyadic odometer is a minimal homeomorphism and, therefore, it can be associated to a ordered Bratteli diagram. An equivalence relation is called étale if it admits a topology generated by a local action. Two examples are the AF equivalence relation and the orbital equivalence relation above. Given an étale equivalence relation R on a space X, we define an algebraic invariant D(X,R). We construct the dimension group of a Bratteli diagram. Then, we prove that given a Bratteli diagram B, its dimension group is isomorphic to D(XB,RB), where RB is the AF equivalence relation of B. Finally, we study under which conditions an ordered abelian group is the dimension group for some Bratteli diagram. This master thesis is based on the book by Ian F. Putnam Cantor minimal systems, published in University Lecture Series, 70. American Mathematical Society, Providence, RI, 2018. [6].

Made available in DSpace on 2015-03-26T13:45:36Z (GMT). No. of bitstreams: 1 texto completo.pdf: 1755688 bytes, checksum: 33e268f82618cf29e2d1fa6df5c6fa6c (MD5) Previous issue date: 2013-07-30 / Fundação de Amparo a Pesquisa do Estado de Minas Gerais / A poset metric is the generalization of the Hamming metric. In this work we make a detailed study of poset spaces, hierarchy of I -weights and I -distribution of P P weights, emphasizing the non-degenerate poset codes. We verify the duality relation between the hierarchy weights of poset code and its dual. In the sequel two new parameters are defined to a class of poset codes non-degenerate with dual code is too non-degenerate in the environment. As a result enunciated in the Minimality Theorem, the Variance Theorem and the Minimality Identity in the poset spaces. / Uma generalização da métrica de Hamming é a métrica poset. Faremos um estudo detalhado dos espaços poset, hierarquia de I-pesos e a I-distribuição de pesos, dando ênfase aos códigos poset não degenerados. Verificamos a relação de dualidade poset entre as hierarquias de um código e seu dual. Definimos dois novos parâmetros para a classe de códigos dualmente não degenerados no ambiente poset. Como consequência, enunciamos e mostramos o Teorema da Minimalidade, o Teorema da e Variância e a Identidade de Minimalidades no espaço poset.