Valdez-Jimenez v. Eighth Jud. Dist. Ct.,136 Nev. Adv. Op. 20 (April 9, 2020)

The Court determined what process is constitutionally required when a district court sets bail in an amount that the defendant cannot afford, resulting in pretrial detention. The Court found that bail may only be imposed where it is necessary to reasonably ensure the defendant’s appearance at court proceedings or to reasonably protect the community. If a defendant remains in custody after arrest they are (1) entitled to an individualized hearing, where (2) the State must prove by clear and convincing evidence that bail, rather than less restrictive conditions, is necessary to ensure the defendant’s appearance at future court proceedings or to protect the safety of the community, and (3) the district court must also state its findings and reasons for the bail decision on the record

On the logical definability of certain graph and poset languages

We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order logic, a natural extension of monadic second-order logic), and to be recognizable in an algebraic framework induced by the notion of modular decomposition of a finite graph. More precisely, we consider the set $F\_\infty$ of composition operations on graphs which occur in the modular decomposition of finite graphs. If $F$ is a subset of $F\_{\infty}$, we say that a graph is an \calF-graph if it can be decomposed using only operations in $F$. A set of $F$-graphs is recognizable if it is a union of classes in a finite-index equivalence relation which is preserved by the operations in $F$. We show that if $F$ is finite and its elements enjoy only a limited amount of commutativity -- a property which we call weak rigidity, then recognizability is equivalent to CMS-definability. This requirement is weak enough to be satisfied whenever all $F$-graphs are posets, that is, transitive dags. In particular, our result generalizes Kuske's recent result on series-parallel poset languages

Money, Time Preference and External Balance

In monetary economies, international differences in rates of time preference do not in general lead to long run trade imbalances -- in sharp contrast with Butter's 119811 results on non-monetary overlapping generation economies. This claim is documented within the context of a simple two country framework in which new immortal families enter each economy over time, with the two countries differing only in their subjective discount rates. Even if consumers are more "impatient" at home than abroad, trade is balanced in the long run in the presence of valued fiat currencies in constant supply, and the current account is indeterminate.