I argue that alienation objections to housing markets face a dilemma. Either they purport to explain distributive injustices, or they hold that markets are objectionable on intrinsic grounds. The first disjunct is empirically dubious. The second undermines the motivation for objecting to housing markets, and overgeneralizes: if markets are objectionable due to alienation, so is all large-scale social cooperation.

In this paper, I argue that Johann Christoph Sturm’s eclectic scientific method reveals an unexpected indebtedness to Francis Bacon’s thought. Sturm’s reception of Bacon is particularly surprising given that the German academic context in the second half of the seventeenth century was still largely Aristotelian. Sturm is indebted to Bacon in the following respects: (1) the critique of the current state of knowledge, (2) eclecticism, (3) a fluid transition from natural history to natural philosophy, (4) the conception of science as hypothetical and dynamic and (5) experimental philosophy and the use of instruments. Given that Sturm mentions Francis Bacon in important places in his work, these respects should not easily be dismissed as commonplace. Bacon is one of Sturm’s salient sources and they are both deeply concerned with a thoroughgoing reform of existing scientific practices.

Jurassic cyrtocrinids from Spain are first documented here as representing relatively diverse assemblages from the western Tethys. The species Ascidicrinus pentagonus, Eugeniacrinites cariophilites, Gammarocrinites compressus, Pilocrinus moussoni, Sclerocrinus cf. S. strambergensis, and Tetracrinus moniliformis are described from Oxfordian marl levels belonging to the Yátova Formation, around Tosos (Zaragoza, NE Spain). Although based on partially disarticulated material, these fossils preserve cups, stem columnals, attachment structures, and brachial plates. Based on the sedimentology and associated invertebrate fauna, cyrtocrinids from this area lived below storm wave action but eventually were affected by storms, as opposed to their modern counterparts that occupy deep water environments. Some specimens preserve traces of interactions with other organisms, such as predation marks or epibiontic colonization during life and post-mortem. Attachment structures suggest cyrtocrinids mostly attached on sponges. We note that diversity of cyrtocrinids changed in step with the abundance of sponge reefs in the Jurassic, suggesting that both groups probably had an important link in that period related with similar ecological requirements.

Public acceptability is crucial for the effectiveness of policy implementation. The carbon trading market is widely adopted by many countries and regions to achieve carbon neutrality and mitigate climate change. Our paper utilizes China's carbon trading market as a quasi-natural experiment, drawing on microdata from the China Residential Energy Consumption Survey to analyze the policy's impact on public acceptance of carbon pricing. We find that the carbon trading market significantly reduces the acceptability of carbon prices among households working in carbon-related industries in the pilot areas. This conclusion is still valid after a series of robustness checks. Regarding the mechanism of influence, the carbon trading market raises households' perceived costs, mainly reflected in the negative impact of rising product prices and increasing living costs. Finally, enhancing public perception of carbon, improving the distribution effect and decreasing the information asymmetry of the policy implementation can improve public acceptability of carbon prices.

Most deaths around the world are certified, registered and then ‘coded’ for statistical purposes. Misclassified (‘hidden’) suicides are deaths assigned an ICD code that is either erroneous or that should never be specified as a cause of death. Public health strategies depend on provision of accurate mortality statistics. Suicides are under-counted, largely through misattribution to natural disease, accident, ill-defined or unknown cause (code R99) or an event of undetermined intent. Proportions of suicides misclassified to each of these codes vary between nations. It is recommended that psychological or verbal autopsies be used when investigating external deaths of uncertain cause or intention, and some R99 deaths. This applies in Britain and wherever unusual patterns of deaths could signal hidden suicides – exemplified by high rates of drug deaths in North America.

Whole-body and regional raw bioelectrical impedance analysis (BIA) parameters have been used to develop lean soft tissue estimation prediction models. Still, no regional fat mass (FM) assessment models have been provided. Hence, we aimed to develop and validate BIA-derived equations to predict regional FM against dual-energy X-ray absorptiometry (DXA) in healthy adults. One hundred and forty-eight adults (77 females) were included in this cross-sectional investigation. DXA assessed whole-body and regional FM and raw bioelectrical parameters of distinct body regions were measured using a 50 kHz phase-sensitive BIA analyser. BIA-derived equations were developed for each sex using a stepwise multiple linear regression approach in 2/3 of the sample and cross-validated in the remaining sample. The BIA-derived equations exhibited moderate to very strong relationships (P < 0·001) with DXA-measured FM of all body regions in females (r = 0·650 to 0·907) and males (r = 0·401 to 0·807). Also, for all the models, no significant deviation from linearity was found (P > 0·10). Agreement analyses revealed no associations between the differences and the means of the predicted and DXA-derived FM. However, the limits of agreement were large, with individual errors exceeding 50 % in females and 70 % in males. While the new BIA-derived equations provide a valid estimate of regional FM in middle-aged healthy adults at the population level, demonstrating a cost-effective alternative to DXA for assessing regional FM, caution is advised when applying these equations for individual-level analysis.

Insights into the paleoneurology and endocranial anatomy of ornithopod dinosaurs come largely from Northern Hemisphere taxa. The recently described non-hadrosaurid iguanodontian Fostoria dhimbangunmal from the Cenomanian of eastern Australia includes a partial skull that offers novel insights into its endocranial anatomy (i.e., the cavity housing the brain). Here, we describe the paleoneurology of F. dhimbangunmal based on a digital cranial endocast obtained from computed tomography. The endocast is mostly complete; however, it is diagenetically dorsoventrally compressed and its ventral limits are not preserved. The endocranial anatomy of F. dhimbangunmal is generally consistent with that of other non-hadrosaurid iguanodontians, including a well-developed olfactory apparatus, suggesting a good sense of smell. In contrast to hadrosaurids and some non-hadrosaurid iguanodontians, F. dhimbangunmal possesses the ancestral flexure condition, in which cranial and pontine flexure angles are subequal. The cerebrum makes up a significant portion of the endocast volume; however, the cerebral hemispheres are not as enlarged or bulbous as seen in hadrosaurids. The forebrain of F. dhimbangunmal did not fill the braincase to the same extent as in hadrosaurids. A distinct vacuity in the supraoccipital of F. dhimbangunmal may represent a new autapomorphy. This study provides the first insights into the neuroanatomy of an Australian iguanodontian dinosaur.

We conduct a theoretical analysis of the performance of $\beta $-encoders. The $\beta $-encoders are A/D (analogue-to-digital) encoders, the design of which is based on the expansion of real numbers with noninteger radix. For the practical use of such encoders, it is important to have theoretical upper bounds of their errors. We investigate the generating function of the Perron–Frobenius operator of the corresponding one-dimensional map and deduce the invariant measure of it. Using this, we derive an approximate value of the upper bound of the mean squared error of the quantization process of such encoders. We also discuss the results from a numerical viewpoint.

We study the behaviour of Kauffman bracket skein modules of 3-manifolds under gluing along surfaces. For this we extend this notion to $3$-manifolds with marking consisting of open intervals and circles in the boundary. The new module is called the stated skein module.

The first results concern non-injectivity of certain natural maps defined when forming connected sums along spheres or disks. These maps are injective for surfaces or for generic quantum parameter, but we show that in general they are not when the quantum parameter is a root of 1. We show that when the quantum parameter is a root of 1, the empty skein is zero in a connected sum where each constituent manifold has non-empty marking. We also prove various non-injectivity results for the Chebyshev-Frobenius map and the map induced by deleting marked balls.

We then interpret stated skein modules as a monoidal symmetric functor from a category of “decorated cobordisms” to a category of algebras and their bimodules. We apply this to deduce properties of stated skein modules as a Van-Kampen like theorem, a computation through Heegaard decompositions and a relation to Hochshild homology for trivial circle bundles over surfaces.

The distinction of the semantic spaces of elements and types is common practice in practically all type systems. A few type systems, including some early ones, have been proposed whose semantic space has functions only, i.e., depending on the context functions may play element roles as well as type roles. All of these systems are either lacking expressive power, in particular, polymorphism, or they violate uniqueness of types. This work presents for the first time a function-based type system in which typing is a relation between functions and which is using an ordering of functions to introduce bounded polymorphism. The ordering is based on an infinite set of top objects, itself strictly linearly ordered, each of which characterizes a certain function space. These top objects are predicative in the sense that a function using some top object cannot be smaller than this object. The interpretation of proposition as types and elements as proofs remains valid and is extended by viewing the ordering between types as logical implication. The proposed system can be shown to satisfy confluence and subject reduction. Furthermore one can show that the ordering is a partial order, every set of expressions has a maximal element, and there is a (unique) minimal, logically strongest, type among all types of an element. The latter result implies an alternative notion of uniqueness of types. Strong normalisation is the deepest property and its proof is based on a well-founded relation defined over a subsystem of expressions without eliminators. Semantic abstraction of the objects involved in typing, i.e., to use functions in element as well as type roles in a relational setting, is the major contribution of function-based type systems. This work shows that dependent products are not necessary for defining type systems with bounded polymorphism, rather it presents a consistent system with bounded polymorphism and minimal types where typing is a relation between partially ordered functions.

In this article, I revisit radical, cultural, and lesbian feminist manifestos from the 1960s and 1970s, such as Shulamith Firestone’s The dialectic of sex, the Radicalesbians’ “The woman-identified woman,” and “The fourth world manifesto” by Barbara Burris et al. I highlight a historical and political shift from the nonlinear temporality of the feminist revolution to the spatiality of women’s culture. This shift, overlapping with what feminist historian Alice Echols describes as “an eclipse of radical feminism” by cultural feminism, is symptomatic and indicative of an agential crisis emerging from the utopian drive of radical feminism. The failure or indefinite postponement of the feminist revolution pushed radical feminism toward the spatial politics of separatism, in which cultural and lesbian feminists found temporary yet sustainable refuge from a patriarchal society. The cultural feminist politics of the women’s space offered a utopian refuge for radical feminists whose desire for feminist revolution did not materialize. However, it initiated feminist hostility against transwomen, establishing a historical presage of the contemporary anti-trans feminist movement. In revisiting textual remnants of feminist history, this article critically intervenes with contemporary anti-trans feminist discourse that politically appropriates the cultural legacies of radical feminism in its essentialist tropes of “real women.”

We show that Calabi–Yau fibrations over curves are uniformly K-stable in an adiabatic sense if and only if the base curves are K-stable in the log-twisted sense. Moreover, we prove that there are cscK metrics for such fibrations when the total spaces are smooth.