7289 search results - page 111 / 1458 » A Dependent Set Theory |
334
Voted
AML
2011
15 years 20 days ago
2011
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...
141
click to vote
CDC
2008
IEEE
16 years 3 days ago
2008
IEEE
— Given an unforced nonlinear system and two nested closed and invariant sets Γ ⊂ O, we present reduction principles allowing one to extrapolate the properties of stability, a...
116
click to vote
CDC
2008
IEEE
16 years 3 days ago
2008
IEEE
— In this paper we explore the stabilization of closed invariant sets for passive systems, and present conditions under which a passivity-based feedback makes the set stable, sem...
118
Voted
CIE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
162
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we consider the relative expressive power of two very common operators applicable to sets and multisets: the with and the union operators. For such operators we prove...