Showing 1–3 of 3 results for author: Van der Meeren, J

Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition

Authors: Michael Rathjen, Jeroen Van der Meeren, Andreas Weiermann

Abstract: In this article we investigate whether the addition-free theta functions form a canonical notation system for the linear versions of Friedman's well-partial-orders with the so-called gap-condition over a finite set of labels. Rather surprisingly, we can show this is the case for two labels, but not for more than two labels. To this end, we determine the order type of the notation systems for addit… ▽ More In this article we investigate whether the addition-free theta functions form a canonical notation system for the linear versions of Friedman's well-partial-orders with the so-called gap-condition over a finite set of labels. Rather surprisingly, we can show this is the case for two labels, but not for more than two labels. To this end, we determine the order type of the notation systems for addition-free theta functions in terms of ordinals less than $\varepsilon_0$. We further show that the maximal order type of the Friedman ordering can be obtained by a certain ordinal notation system which is based on specific binary theta functions. △ Less

Submitted 6 May, 2015; originally announced May 2015.

Comments: 41 pages

MSC Class: 03F15; 03E10; 06A06

Reverse mathematics, well-quasi-orders, and Noetherian spaces

Authors: Emanuele Frittaion, Matt Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren

Abstract: A quasi-order $Q$ induces two natural quasi-orders on $P(Q)$, but if $Q$ is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Goubault-Larrecq showed that moving from a well-quasi-order $Q$ to the quasi-orders on $P(Q)$ preserves well-quasi-orderedness in a topological sense. Specifically, Goubault-Larrecq proved that the upper topologies of the i… ▽ More A quasi-order $Q$ induces two natural quasi-orders on $P(Q)$, but if $Q$ is a well-quasi-order, then these quasi-orders need not necessarily be well-quasi-orders. Nevertheless, Goubault-Larrecq showed that moving from a well-quasi-order $Q$ to the quasi-orders on $P(Q)$ preserves well-quasi-orderedness in a topological sense. Specifically, Goubault-Larrecq proved that the upper topologies of the induced quasi-orders on $P(Q)$ are Noetherian, which means that they contain no infinite strictly descending sequences of closed sets. We analyze various theorems of the form "if $Q$ is a well-quasi-order then a certain topology on (a subset of) $P(Q)$ is Noetherian" in the style of reverse mathematics, proving that these theorems are equivalent to ACA_0 over RCA_0. To state these theorems in RCA_0 we introduce a new framework for dealing with second-countable topological spaces. △ Less

Submitted 26 November, 2015; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: minor changes suggested by referees, added table

Journal ref: Archive for Mathematical Logic, 55 (2016), 431-459

An order-theoretic characterization of the Howard-Bachmann-hierarchy

Authors: Jeroen Van der Meeren, Michael Rathjen, Andreas Weiermann

Abstract: In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees with respect to a homeomorphic embeddability relation. We use our calculations to draw some conclusions about some corresponding subsystems of second order arit… ▽ More In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees with respect to a homeomorphic embeddability relation. We use our calculations to draw some conclusions about some corresponding subsystems of second order arithmetic. All these subsystems deal with versions of light-face $Π^1_1$-comprehension △ Less

Submitted 5 January, 2015; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: 46 pages

MSC Class: 03B30; 03E10; 03E35; 03F03; 03F05; 03F15; 03F35; 06A06