Concept
Well-order
Related publications (44)
Combinatory Array Logic with Sums
We prove an NP upper bound on a theory of integer-indexed integer-valued arrays that extends combi- natory array logic with an ordering relation on the index set and the ability to express sums of elements. We compare our fragment with seven other fragment ...
2023A dependence of the cost of fast controls for the heat equation on the support of initial datum
The controllability cost for the heat equation as the control time goes to 0 is well-known of the order for some positive constant , depending on the controlled domain and for all initial datum. In this paper, we prove that the constant $C ...
2021Cross-sections of line configurations in R-3 and (d-2)-flat configurations in R-d
We consider sets L = {l(1),..., l(n)} of n labeled lines in general position in R-3, and study the order types of point sets {p(1),..., p(n)} that stem from the intersections of the lines in L with (directed) planes Pi, not parallel to any line of L, that ...
ELSEVIER SCIENCE BV2019