-
Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
Authors:
Saeideh Bahrami
Abstract:
In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}Σ_{1} $, each $ I $-small $ Σ_{1} $-elementary submodel of $ \mathcal{M}$ is of the form of the set of fixed points of some proper initial self-embedding of $ \mathcal{M} $ iff $ I $ is a strong cut of $ \mathcal{M} $. Especially, this feature will provide us with some equivalent c…
▽ More
In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}Σ_{1} $, each $ I $-small $ Σ_{1} $-elementary submodel of $ \mathcal{M}$ is of the form of the set of fixed points of some proper initial self-embedding of $ \mathcal{M} $ iff $ I $ is a strong cut of $ \mathcal{M} $. Especially, this feature will provide us with some equivalent conditions with the strongness of the standard cut in a given countable model $ \mathcal{M} $ of $ \mathrm{I}Σ_{1} $. In addition, we will find some criteria for extendability of initial self-embeddings of countable nonstandard models of $ \mathrm{I}Σ_{1} $ to larger models.
△ Less
Submitted 8 May, 2022; v1 submitted 24 April, 2022;
originally announced April 2022.
-
Synthesis of Output-Feedback Controllers for Mixed Traffic Systems in Presence of Disturbances and Uncertainties
Authors:
Shima Sadat Mousavi,
Somayeh Bahrami,
Anastasios Kouvelas
Abstract:
In this paper, we study mixed traffic systems that move along a single-lane ring-road or open-road. The traffic flow forms a platoon, which includes a number of heterogeneous human-driven vehicles (HDVs) together with only one connected and automated vehicle (CAV) that receives information from several neighbors. The dynamics of HDVs are assumed to follow the optimal velocity model (OVM), and the…
▽ More
In this paper, we study mixed traffic systems that move along a single-lane ring-road or open-road. The traffic flow forms a platoon, which includes a number of heterogeneous human-driven vehicles (HDVs) together with only one connected and automated vehicle (CAV) that receives information from several neighbors. The dynamics of HDVs are assumed to follow the optimal velocity model (OVM), and the acceleration of the single CAV is directly controlled by a dynamical output-feedback controller. The ultimate goal of this work is to present a robust control strategy that can smoothen the traffic flow in the presence of undesired disturbances (e.g. abrupt deceleration) and parametric uncertainties. A prerequisite for synthesizing a dynamical output controller is the stabilizability and detectability of the underlying system. Accordingly, a theoretical analysis is presented first to prove the stabilizability and detectability of the mixed traffic flow system. Then, two H-infinity control strategies, with and without considering uncertainties in the system dynamics, are designed. The efficiency of the two control methods is subsequently illustrated through numerical simulations, and various experimental results are presented to demonstrate the effectiveness of the proposed controller to mitigate disturbance amplification and achieve platoon stability.
△ Less
Submitted 28 July, 2021;
originally announced July 2021.
-
Tanaka's Theorem Revisited
Authors:
Saeideh Bahrami
Abstract:
Tanaka (1997) proved a powerful generalization of Friedman's self-embedding theorem that states that given a countable nonstandard model $(\mathcal{M},\mathcal{A})$ of the subsystem $\mathrm{WKL}_{0}$ of second order arithmetic, and any element $m$ of $\mathcal{M}$, there is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $j$ fixes every predec…
▽ More
Tanaka (1997) proved a powerful generalization of Friedman's self-embedding theorem that states that given a countable nonstandard model $(\mathcal{M},\mathcal{A})$ of the subsystem $\mathrm{WKL}_{0}$ of second order arithmetic, and any element $m$ of $\mathcal{M}$, there is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $j$ fixes every predecessor of $m$.
Here we extend Tanaka's work by establishing the following results for a countable nonstandard model $(\mathcal{M},\mathcal{A})$ of $\mathrm{WKL}_{0} $ and a proper cut $\mathrm{I}$ of $\mathcal{M}$:
Theorem A. The following conditions are equivalent:
(a) $\mathrm{I}$ is closed under exponentiation.
(b) There is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $I$ is the longest initial segment of fixed points of $j$.
Theorem B. The following conditions are equivalent:
(a) $\mathrm{I}$ is a strong cut of $\mathcal{M} $ and $\mathrm{I}\prec _{Σ_{1}}\mathcal{M}.$
(b) There is a self-embedding $j$ of $(\mathcal{M},\mathcal{A})$ onto a proper initial segment of itself such that $\mathrm{I} $ is the set of all fixed points of $j$.
△ Less
Submitted 20 November, 2018;
originally announced November 2018.
-
Fixed Points of Self-embeddings of Models of Arithmetic
Authors:
Saeideh Bahrami,
Ali Enayat
Abstract:
We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. In particular, given a countable nonstandard model M of a modest fragment of Peano arithimetic, we provide complete characterizations of (a) the initial segments of M that can be realized as the longest initial segment of fixed points of a nontrivial self-embedding of M onto a proper initial segment of M;…
▽ More
We investigate the structure of fixed point sets of self-embeddings of models of arithmetic. In particular, given a countable nonstandard model M of a modest fragment of Peano arithimetic, we provide complete characterizations of (a) the initial segments of M that can be realized as the longest initial segment of fixed points of a nontrivial self-embedding of M onto a proper initial segment of M; and (b) the initial segments of M that can be realized as the fixed point set of some nontrivial self-embedding of M onto a proper initial segement of M. Moreover, we demonstrate the the standard cut is strong in M iff there is a self-embedding of M onto a proper initial segment of itself that moves every element that is not definable in M by an existential formula.
△ Less
Submitted 22 January, 2018; v1 submitted 7 March, 2017;
originally announced March 2017.
