COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS

2022 ◽  
pp. 1-19
Author(s):  
REESE JOHNSTON ◽  
DILIP RAGHAVAN
Keyword(s):  
2013 ◽  
Vol 41 (4) ◽  
pp. 232-246
Author(s):  
Timo Völkl ◽  
Robert Lukesch ◽  
Martin Mühlmeier ◽  
Michael Graf ◽  
Hermann Winner

ABSTRACT The potential of a race tire strongly depends on its thermal condition, the load distribution in its contact patch, and the variation of wheel load. The approach described in this paper uses a modular structure consisting of elementary blocks for thermodynamics, transient excitation, and load distribution in the contact patch. The model provides conclusive tire characteristics by adopting the fundamental parameters of a simple mathematical force description. This then allows an isolated parameterization and examination of each block in order to subsequently analyze particular influences on the full model. For the characterization of the load distribution in the contact patch depending on inflation pressure, camber, and the present force state, a mathematical description of measured pressure distribution is used. This affects the tire's grip as well as the heat input to its surface and its casing. In order to determine the thermal condition, one-dimensional partial differential equations at discrete rings over the tire width solve the balance of energy. The resulting surface and rubber temperatures are used to determine the friction coefficient and stiffness of the rubber. The tire's transient behavior is modeled by a state selective filtering, which distinguishes between the dynamics of wheel load and slip. Simulation results for the range of occurring states at dry conditions show a sufficient correlation between the tire model's output and measured tire forces while requiring only a simplified and descriptive set of parameters.


1996 ◽  
Vol 2 (1) ◽  
pp. 94-107 ◽  
Author(s):  
Greg Hjorth

§0. Preface. There has been an expectation that the endgame of the more tenacious problems raised by the Los Angeles ‘cabal’ school of descriptive set theory in the 1970's should ultimately be played out with the use of inner model theory. Questions phrased in the language of descriptive set theory, where both the conclusions and the assumptions are couched in terms that only mention simply definable sets of reals, and which have proved resistant to purely descriptive set theoretic arguments, may at last find their solution through the connection between determinacy and large cardinals.Perhaps the most striking example was given by [24], where the core model theory was used to analyze the structure of HOD and then show that all regular cardinals below ΘL(ℝ) are measurable. John Steel's analysis also settled a number of structural questions regarding HODL(ℝ), such as GCH.Another illustration is provided by [21]. There an application of large cardinals and inner model theory is used to generalize the Harrington-Martin theorem that determinacy implies )determinacy.However, it is harder to find examples of theorems regarding the structure of the projective sets whose only known proof from determinacy assumptions uses the link between determinacy and large cardinals. We may equivalently ask whether there are second order statements of number theory that cannot be proved under PD–the axiom of projective determinacy–without appealing to the large cardinal consequences of the PD, such as the existence of certain kinds of inner models that contain given types of large cardinals.


2001 ◽  
Vol 40 (5) ◽  
pp. 329-348
Author(s):  
Rod G. Downey ◽  
Michael R. Fellows
Keyword(s):  

2003 ◽  
Vol 49 (1) ◽  
pp. 22-33 ◽  
Author(s):  
Douglas Czenzer ◽  
Jeffrey B. Remmel
Keyword(s):  

2011 ◽  
Vol 77 (4) ◽  
pp. 760-773 ◽  
Author(s):  
Sanjay Jain ◽  
Frank Stephan ◽  
Jason Teutsch
Keyword(s):  

Author(s):  
Elliot Krop ◽  
Sin-Min Lee ◽  
Christopher Raridan
Keyword(s):  

2020 ◽  
Vol 17 ◽  
pp. 1013-1026
Author(s):  
N. A. Bazhenov ◽  
M. I. Marchuk
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document