Results 11 to 20 of about 170,012 (254)
Dependent choice, properness, and generic absoluteness [PDF]
, 2020 We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to -preserving symmetric ...
Boolos +6 more
core +2 more sources
Mathematical framework for traction force microscopy [PDF]
ESAIM: Proceedings, 2013 Summary: This paper deals with the \textit{Traction Force Microscopy} (TFM) problem. It consists in obtaining stresses by solving an inverse problem in an elastic medium, from known experimentally measured displacements. In this article, the application is the determination of the stresses exerted by a living cell at the surface of an elastic gel.
R. Michel +7 more
openaire +2 more sources
Seeing the Forest and the Trees When Writing a Mathematical Proof
Prompt, 2017 One of the typical challenges facing a mathematics student when writing a proof is the need to understand the interplay of details and broader concepts.
Lowell Abrams
doaj +1 more source
Controlling iterated jumps of solutions to combinatorial problems [PDF]
, 2016 Among the Ramsey-type hierarchies, namely, Ramsey's theorem, the free set, the thin set and the rainbow Ramsey theorem, only Ramsey's theorem is known to collapse in reverse mathematics.
Patey, Ludovic
core +5 more sources
Periodic perturbations of constrained motion problems on a class of implicitly defined manifolds [PDF]
, 2014 We study forced oscillations on differentiable manifolds which are globally defined as the zero set of appropriate smooth maps in some Euclidean spaces.
Calamai, Alessandro, Spadini, Marco
core +3 more sources
Nexus Conference 2018. Relationships Between Architecture And Mathematics
Diségno, 2018 The several relationships between mathematical principles and configurative logic of architecture have made this research topic widely debated [William, Ostwald 2015].
Barbara Messina
doaj +1 more source
, 2016 In this commemorative article, the work of Richard Laver is surveyed in its full range and extent.Accepted ...
Kanamori, Akihiro
core +1 more source
A strong polarized relation [PDF]
, 2012 We prove the consistency of a strong polarized relation for a cardinal and its successor, using pcf and forcingComment: 14 ...
Magidor +6 more
core +1 more source
NUMERICAL SIMULATION OF THE CASPIAN SEA CIRCULATION USING THE MARINE AND ATMOSPHERIC RESEARCH SYSTEM
Transactions of the Karelian Research Centre of the Russian Academy of Sciences, 2016 The Marine and Atmospheric Research System (MARS) for simulation of the Caspian Sea meteorological characteristics is presented. It includes computation of the atmospheric forcing with the regional non-hydrostatic atmosphere model Weather Research and ...
Nikolay Diansky +3 more
doaj +1 more source
Coloring trees in reverse mathematics [PDF]
, 2016 The tree theorem for pairs ($\mathsf{TT}^2_2$), first introduced by Chubb, Hirst, and McNicholl, asserts that given a finite coloring of pairs of comparable nodes in the full binary tree $2^{
Dzhafarov, Damir, Patey, Ludovic
core +4 more sources