Thesis (M.S.)--Mechanical Engineering, Georgia Institute of Technology, 2005. / Esogbue, Augustine, Committee Member ; Lee, Kok-Meng, Committee Member ; Ye-Hwa Chen, Committee Chair. Includes bibliographical references.

We study finite generation, 2-generation and simplicity of subgroups of H[sub]c, the group of homeomorphisms of Cantor space. In Chapter 1 and Chapter 2 we run through foundational concepts and notation. In Chapter 3 we study vigorous subgroups of H[sub]c. A subgroup G of H[sub]c is vigorous if for any non-empty clopen set A with proper non-empty clopen subsets B and C there exists g ∈ G with supp(g) ⊑ A and Bg ⊆ C. It is a corollary of the main theorem of Chapter 3 that all finitely generated simple vigorous subgroups of H[sub]c are in fact 2-generated. We show the family of finitely generated, simple, vigorous subgroups of H[sub]c is closed under several natural constructions. In Chapter 4 we use a generalised notion of word and the tight completion construction from [13] to construct a family of subgroups of H[sub]c which generalise Thompson's group V . We give necessary conditions for these groups to be finitely generated and simple. Of these we show which are vigorous. Finally we give some examples.

Thesis (M.S.)--Rochester Institute of Technology, 1987. / Typescript. Includes bibliographical references (leaves viii-xi).

It can be deduced from the Burnside Basis Theorem that if G is a finite p-group with d(G)=r then given any generating set A for G there exists a subset of A of size r that generates G. We have denoted this property B. A group is said to have the basis property if all subgroups have property B. This thesis is a study into the nature of these two properties. Note all groups are finite unless stated otherwise. We begin this thesis by providing examples of groups with and without property B and several results on the structure of groups with property B, showing that under certain conditions property B is inherited by quotients. This culminates with a result which shows that groups with property B that can be expressed as direct products are exactly those arising from the Burnside Basis Theorem. We also seek to create a class of groups which have property B. We provide a method for constructing groups with property B and trivial Frattini subgroup using finite fields. We then classify all groups G where the quotient of G by the Frattini subgroup is isomorphic to this construction. We finally note that groups arising from this construction do not in general have the basis property. Finally we look at groups with the basis property. We prove that groups with the basis property are soluble and consist only of elements of prime-power order. We then exploit the classification of all such groups by Higman to provide a complete classification of groups with the basis property.

This thesis presents an account of the cubical sets model of homotopy type theory using an internal type theory for elementary topoi. Homotopy type theory is a variant of Martin-Lof type theory where we think of types as spaces, with terms as points in the space and elements of the identity type as paths. We actualise this intuition by extending type theory with Voevodsky's univalence axiom which identifies equalities between types with homotopy equivalences between spaces. Voevodsky showed the univalence axiom to be consistent by giving a model of homotopy type theory in the category of Kan simplicial sets in a paper with Kapulkin and Lumsdaine. However, this construction makes fundamental use of classical logic in order to show certain results. Therefore this model cannot be used to explain the computational content of the univalence axiom, such as how to compute terms involving univalence. This problem was resolved by Cohen, Coquand, Huber and Mortberg, who presented a new model of type theory in Kan cubical sets which validated the univalence axiom using a constructive metatheory. This meant that the model provided an understanding of the computational content of univalence. In fact, the authors present a new type theory, cubical type theory, where univalence is provable using a new "glueing" type former. This type former comes with appropriate definitional equalities which explain how the univalence axiom should compute. In particular, Huber proved that any term of natural number type constructed in this new type theory must reduce to a numeral. This thesis explores models of type theory based on the cubical sets model of Cohen et al. It gives an account of this model using the internal language of toposes, where we present a series of axioms which are sufficient to construct a model of cubical type theory, and hence a model of homotopy type theory. This approach therefore generalises the original model and gives a new and useful method for analysing models of type theory. We also discuss an alternative derivation of the univalence axiom and show how this leads to a potentially simpler proof of univalence in any model satisfying the axioms mentioned above, such as cubical sets. Finally, we discuss some shortcomings of the internal language approach with respect to constructing univalent universes. We overcome these difficulties by extending the internal language with an appropriate modality in order to manipulate global elements of an object.

The paper is located on the border between physics, mathematics and philosophy (ontology). The latter is required to embed the dualistic by nature mathematics into a monistic metatheory. It is shown, that a consequent philosophical monism and an approach which starts from the origin of the universe imposes significant constraints on a physical Theory-of-Everything. This may be helpful for finding such a theory. A philosophical system that is monistic and at the same time structured clear enough to be compatible with mathematical thinking is the Hegelian dialectic logic. With the aid of this logic the necessary existence of a causal chain embedded in the general, unconditional and timeless being is proved constructively. In the causal chain our entire reality is coded. It is termed by Hegel as determinate being in contrast to being. The chain has a beginning, representing the birth of the universe (big bang) and the beginning of time. It is isomorphic to the natural numbers. The half-ring structure of the natural numbers induces a secondary causal network. Thus the ontological approach results in a special version of the theory or causal sets. The causal network is topologically homeo-morphic to an infinite dimensional Minkowski cone. Each prime number corresponds to a dimension. Hypothetical small 'bumps” of 4D spacetime (Brane) in the direction of the extra dimensions of the Minkowski manifold mean topological defects, which can be interpreted as curvature of spacetime. This means a bridge to the general theory of relativity. On the other hand, the bumps may be interpreted as objects with which one can handle similar to the strings in string theory. / Die Arbeit bewegt sich im Grenzgebiet zwischen Physik, Mathematik und Philosophie (Ontologie). Letztere wird benötigt, um die vom Wesen her dualistische Mathematik in eine monistische Metatheorie einzubetten. Es wird gezeigt, dass ein konsequenter philosophischer Monismus und ein Denken vom Ursprung des Universums her einer physikalischen Theorie-von-Allem erhebliche Randbedingungen auferlegen. Für das Auffinden einer solchen Theorie kann das hilfreich sein. Ein philosophisches System, dass monistisch ist und zugleich klar genug strukturiert um mit der mathematischen Denkweise kompatibel zu sein ist die Hegelsche dialektische Logik. Unter Zuhilfenahme dieser Logik wird die notwendige Existenz einer in das allgemeine, unbedingte und zeitlose Sein eingebetteten, aber vom Chaos dieses Seins unbeeinflussten kausalen Kette konstruktiv bewiesen. In dieser kausalen Kette ist unsere gesamte Realität codiert, von Hegel als Dasein im Gegensatz zum Sein bezeichnet. Die Kette hat einen Anfang, der den Anfang des Universums und den Anfang der Zeit darstellt. Sie ist isomorph zu den natürlichen Zahlen. Deren Halbring-Struktur induziert ein sekundäres kausales Netzwerk. Somit ist das Ergebnis der ontologischen Herangehensweise eine spezielle Version der Theorie der kausalen Mengen. Das Netzwerk ist topologisch homöomorph ist zu einem unendlich dimensionalen Minkowski-Kegel. Jeder Primzahl entspricht eine Dimension. Hypothetische kleine „Ausbeulungen“ oder „Bumps“ der 4D-Raumzeit (Brane) in Richtung der Extradimensionen der Minkowski-Mannigfaltigkeit bedeuten topologische Baufehler, die sich als Krümmung der Raumzeit interpretieren lassen und eine Brücke zur allgemeinen Relativi-tätstheorie darstellen. Auf der anderen Seite lassen sich die Ausbeulungen der Brane als Objekte deuten, mit denen man ähnlich umgehen kann wie mit den Strings der Stringtheorie.

Made available in DSpace on 2016-04-27T16:58:47Z (GMT). No. of bitstreams: 1 Rodrigo Sanchez Macedo.pdf: 2027323 bytes, checksum: 37ac4e33d4ecc9ff5385e13f1bfcff4b (MD5) Previous issue date: 2008-10-22 / This research provides an analysis of textbooks that Osvaldo Sangiorgi published in the period of the Movement of Modern Mathematics. This analysis was centered in the Theory of Sets, which before the move was part only of Higher Education, and during the Movement was inserted in textbooks, especially in the Sangiorgi, protagonist of the Movement in Brazil. For this analysis are used to the common theoretical foundation of History of Education. The study by Le Goff (1992) on Monument/Document and the study of Juliá (2001) respectively based treatment that should be given to sources of research and the History of Practice. Chartier and Hébrard (1981) deal with the strategies, tactics and ownership and Chervel (1990) contributes with the concept of disciplinarization, which are used in the analysis of how the author entered the contents of their textbooks. Preceding this analysis, it presented the Movement of Modern Mathematics in Brazil and the Theory of Sets included within this movement, this presentation based on dissertations, theses and articles dealing with the issue. Also preceding the analysis, are given an overview of the historical development of the theory of sets, and books on the Theory of Sets published during the period of the Movement of Modern Mathematics in Brazil. The results obtained in the analysis shows how some elements included in textbooks of Osvaldo Sangiorgi emerged from the tensions in the school culture, not limited only to a adequacy of the contents before addressed only in Higher Education / Essa pesquisa apresenta uma análise de livros didáticos que Osvaldo Sangiorgi publicou no período do Movimento da Matemática Moderna. Essa análise foi centralizada na Teoria dos Conjuntos, que antes do Movimento fazia parte apenas do Ensino Superior e durante o Movimento foi inserida nos livros didáticos, especialmente nos de Sangiorgi, protagonista do Movimento no Brasil. Para esta análise são utilizados os fundamentos teóricos comuns à História da Educação. O estudo de Le Goff (1992) sobre Monumento/Documento e o estudo de Juliá (2001) fundamentam respectivamente o tratamento que deve ser dado às fontes de pesquisa e a História das Práticas. Chartier e Hébrard (1981) tratam das estratégias, táticas e apropriação e Chervel (1990) contribui com o conceito de disciplinarização, que são utilizados na análise de como o autor inseriu os conteúdos em seus livros didáticos. Precedendo essa análise, é apresentado o Movimento da Matemática Moderna no Brasil e a Teoria dos Conjuntos inserida nesse Movimento, apresentação esta baseada em dissertações, teses e artigos que tratam do tema. Também precedendo a análise, são apresentados um panorama histórico do desenvolvimento da Teoria dos Conjuntos e livros sobre a Teoria dos Conjuntos publicados durante o período do Movimento da Matemática Moderna no Brasil. Os resultados obtidos na análise mostram como alguns elementos inseridos nos livros didáticos de Osvaldo Sangiorgi surgiram a partir das tensões existentes na cultura escolar, não se limitando apenas a uma adequação dos conteúdos antes abordados apenas no Ensino Superior

In 2020 Parusiński and Rond proved that every algebraic set X ⊂ R^n is homeomorphic to an algebraic set X’ ⊂ R^n which is described globally (and also locally) by polynomial equations whose coefficients are real algebraic numbers. In general, the following problem was widely open: Open Problem. Is every real algebraic set homeomorphic to a real algebraic set defined by polynomial equations with rational coefficients? The aim of my PhD thesis is to provide classes of real algebraic sets that positively answer to above Open Problem. In Chapter 1 I introduce a new theory of real and complex algebraic geometry over subfields recently developed by Fernando and Ghiloni. In particular, the main notion to outline is the so called R|Q-regularity of points of a Q-algebraic set X ⊂ R^n. This definition suggests a natural notion of a Q-nonsingular Q-algebraic set X ⊂ R^n. The study of Q-nonsingular Q-algebraic sets is the main topic of Chapter 2. Then, in Chapter 3 I introduce Q-algebraic approximation techniques a là Akbulut-King developed in collaboration with Ghiloni and the main consequences we proved, that are, versions ‘over Q’ of the classical and the relative Nash-Tognoli theorems. Last results can be found in in Chapters 3 & 4, respectively. In particular, we obtained a positive answer to above Open Problem in the case of compact nonsingular algebraic sets. Then, after extending ‘over Q’ the Akbulut-King blowing down lemma, we are in position to give a complete positive answer to above Open Problem also in the case of compact algebraic sets with isolated singularities in Chapter 4. After algebraic Alexandroff compactification, we obtained a positive answer also in the case of non-compact algebraic sets with isolated singularities. Other related topics are investigated in Chapter 4 such as the existence of Q-nonsingular Q-algebraic models of Nash manifolds over every real closed field and an answer to the Q-algebrization problem for germs of an isolated algebraic singularity. Appendices A & B contain results on Nash approximation and an evenness criterion for the degree of global smoothings of subanalytic sets, respectively.