Showing 1–8 of 8 results for author: Barrett, J M

Reverse mathematics of rings

Authors: Jordan Mitchell Barrett

Abstract: Using the tools of reverse mathematics in second-order arithmetic, as developed by Friedman, Simpson, and others, we determine the axioms necessary to develop various topics in commutative ring theory. Our main contributions to the field are as follows. We look at fundamental results concerning primary ideals and the radical of an ideal, concepts previously unstudied in reverse mathematics. Then w… ▽ More Using the tools of reverse mathematics in second-order arithmetic, as developed by Friedman, Simpson, and others, we determine the axioms necessary to develop various topics in commutative ring theory. Our main contributions to the field are as follows. We look at fundamental results concerning primary ideals and the radical of an ideal, concepts previously unstudied in reverse mathematics. Then we turn to a fine-grained analysis of four different definitions of Noetherian in the weak base system $\mathsf{RCA}_0 + \mathsf{I}Σ_2$. Finally, we begin a systematic study of various types of integral domains: PIDs, UFDs and Bézout and GCD domains. △ Less

Submitted 5 September, 2021; originally announced September 2021.

Comments: Masters thesis submitted to Victoria University of Wellington, 2021. Supervised by Dan Turetsky. 5+96 pages, 5 figures

MSC Class: 03B30; 03F35; 13E05; 13G05

Cousin's lemma in second-order arithmetic

Authors: Jordan Mitchell Barrett, Rodney G. Downey, Noam Greenberg

Abstract: Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent… ▽ More Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent to $\mathsf{WKL}_0$; (ii) Cousin's lemma for Baire class 1 functions is equivalent to $\mathsf{ACA}_0$; (iii) Cousin's lemma for Baire class 2 functions, or for Borel functions, are both equivalent to $\mathsf{ATR}_0$ (modulo some induction). △ Less

Submitted 6 May, 2021; originally announced May 2021.

Comments: 13 pages, no figures

MSC Class: 03B30; 03F35 (Primary); 03D78; 26A39 (Secondary)

On Ramsey-minimal infinite graphs

Authors: Jordan Mitchell Barrett, Valentino Vito

Abstract: For fixed finite graphs $G$, $H$, a common problem in Ramsey theory is to study graphs $F$ such that $F \to (G,H)$, i.e. every red-blue coloring of the edges of $F$ produces either a red $G$ or a blue $H$. We generalize this study to infinite graphs $G$, $H$; in particular, we want to determine if there is a minimal such $F$. This problem has strong connections to the study of self-embeddable grap… ▽ More For fixed finite graphs $G$, $H$, a common problem in Ramsey theory is to study graphs $F$ such that $F \to (G,H)$, i.e. every red-blue coloring of the edges of $F$ produces either a red $G$ or a blue $H$. We generalize this study to infinite graphs $G$, $H$; in particular, we want to determine if there is a minimal such $F$. This problem has strong connections to the study of self-embeddable graphs: infinite graphs which properly contain a copy of themselves. We prove some compactness results relating this problem to the finite case, then give some general conditions for a pair $(G,H)$ to have a Ramsey-minimal graph. We use these to prove, for example, that if $G=S_\infty$ is an infinite star and $H=nK_2$, $n \ge 1$ is a matching, then the pair $(S_\infty,nK_2)$ admits no Ramsey-minimal graphs. △ Less

Submitted 11 March, 2021; v1 submitted 28 November, 2020; originally announced November 2020.

Comments: 14 pages, 4 figures. The published version on EJC contains a minor error: in the proof of Lemma 20 on p10, in the last sentence of the last paragraph, it says "The induced subgraph $F := Γ[x_1,\ldots,x_n]$". This should read "The subgraph of $Γ$ induced by all edges that are incident to at least one of $x_1, \ldots, x_n$", and has been corrected in this arXiv version

MSC Class: 05C55; 05D10; 05C63; 05C60

Journal ref: The Electronic Journal of Combinatorics 28(1) (2021), #P1.46

Elementary topoi

Authors: Jordan Mitchell Barrett

Abstract: As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise logic. However, we could ask what it might mean to formalise logic in another category $\mathbf{C}$. The notion of an (elementary) topos distills the essential f… ▽ More As the prototypical category, $\mathbf{Set}$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $\mathbf{Set}$ has enough structure to "properly" formalise logic. However, we could ask what it might mean to formalise logic in another category $\mathbf{C}$. The notion of an (elementary) topos distills the essential features of $\mathbf{Set}$ which allow us to do this. This expository report defines topoi, and describes the development of first-order logic and set theory within a topos. △ Less

Submitted 25 November, 2020; originally announced November 2020.

Comments: 11 pages, no figures

MSC Class: 18B25; 03G30 (primary); 18C40; 18C10; 03E70 (secondary)

The reverse mathematics of Cousin's lemma

Authors: Jordan Mitchell Barrett

Abstract: Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent… ▽ More Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent to the system $\mathsf{WKL}_0$; (ii) Cousin's lemma for Baire 1 functions is at least as strong as $\mathsf{ACA}_0$; (iii) Cousin's lemma for Baire 2 functions is at least as strong as $\mathsf{ATR}_0$. △ Less

Submitted 25 November, 2020; originally announced November 2020.

Comments: Honours thesis, Victoria University of Wellington, 30 Oct 2020. Supervised by Rod Downey and Noam Greenberg. 6+51 pages, 10 figures

MSC Class: 03B30; 03F35 (primary); 26A39; 03D78; 26A21

Ramsey theory for layered semigroups

Authors: Jordan Mitchell Barrett

Abstract: We further develop the theory of layered semigroups, as introduced by Farah, Hindman and McLeod, providing a general framework to prove Ramsey statements about such a semigroup $S$. By nonstandard and topological arguments, we show Ramsey statements on $S$ are implied by the existence of "coherent" sequences in $S$. This framework allows us to formalise and prove many results in Ramsey theory, inc… ▽ More We further develop the theory of layered semigroups, as introduced by Farah, Hindman and McLeod, providing a general framework to prove Ramsey statements about such a semigroup $S$. By nonstandard and topological arguments, we show Ramsey statements on $S$ are implied by the existence of "coherent" sequences in $S$. This framework allows us to formalise and prove many results in Ramsey theory, including Gowers' $\mathrm{FIN}_k$ theorem, the Graham-Rothschild theorem, and Hindman's finite sums theorem. Other highlights include: a simple nonstandard proof of the Graham-Rothschild theorem for strong variable words; a nonstandard proof of Bergelson-Blass-Hindman's partition theorem for located variable words, using a result of Carlson, Hindman and Strauss; and a common generalisation of the latter result and Gowers' theorem, which can be proven in our framework. △ Less

Submitted 11 April, 2021; v1 submitted 5 August, 2020; originally announced August 2020.

Comments: 25 pages, 0 figures

MSC Class: 05D10 (Primary); 03H05; 22A20; 54J05; 54D80 (Secondary)

Journal ref: The Electronic Journal of Combinatorics 28(2), #P2.10, 2021

On functor-quotients and their isomorphism theorems

Authors: Jordan Mitchell Barrett, Valentino Vito

Abstract: The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a category $\mathbf{C}$, which are relativized to a faithful functor $\mathcal{F}\colon \mathbf{C} \to \mathbf{D}$. The isomorphism theorems of universal algebras… ▽ More The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a category $\mathbf{C}$, which are relativized to a faithful functor $\mathcal{F}\colon \mathbf{C} \to \mathbf{D}$. The isomorphism theorems of universal algebras generalize to this setting, and we additionally find important links between $\mathcal{F}$-quotients in the concrete category of first-order structures, and quotients defined for model-theoretic equivalence classes. By first working in this categorical setting, some quotient-related results for first-order structures can be naturally obtained. In particular, we are able to prove some isomorphism theorems in the context of model theory directly from their corresponding categorical isomorphism theorems. △ Less

Submitted 26 March, 2021; v1 submitted 21 June, 2020; originally announced June 2020.

Comments: 13 pages, no figures; contains expositional improvements from the previous version

MSC Class: 18A32 (Primary); 08A30; 03C05; 18C05 (Secondary)

On Rado conditions for nonlinear Diophantine equations

Authors: Jordan Mitchell Barrett, Martino Lupini, Joel Moreira

Abstract: Building on previous work of Di Nasso and Luperi Baglini, we provide general necessary conditions for a Diophantine equation to be partition regular. These conditions are inspired by Rado's characterization of partition regular linear homogeneous equations. We conjecture that these conditions are also sufficient for partition regularity, at least for equations whose corresponding monovariate polyn… ▽ More Building on previous work of Di Nasso and Luperi Baglini, we provide general necessary conditions for a Diophantine equation to be partition regular. These conditions are inspired by Rado's characterization of partition regular linear homogeneous equations. We conjecture that these conditions are also sufficient for partition regularity, at least for equations whose corresponding monovariate polynomial is linear. This would provide a natural generalization of Rado's theorem. We verify that such a conjecture hold for the equations $x^{2}-xy+ax+by+cz=0$ and $x^{2}-y^{2}+ax+by+cz=0$ for $a,b,c\in \mathbb{Z}$ such that $abc=0$ or $% a+b+c=0$. To deal with these equations, we establish new results concerning the partition regularity of polynomial configurations in $\mathbb{Z}$ such as $\left\{ x,x+y,xy+x+y\right\} $, building on the recent result on the partition regularity of $\left\{ x,x+y,xy\right\} $. △ Less

Submitted 16 January, 2021; v1 submitted 13 July, 2019; originally announced July 2019.

Comments: 22 pages

MSC Class: 05D10; 11D99 (Primary) 11U10 (Secondary)

Journal ref: European Journal of Combinatorics, Volume 94, May 2021, #103277