Forcing lightface definable well-orders without the CGH

For any given uncountable cardinal $\kappa$ with $\kappa^{{<}\kappa}=\kappa$, we present a forcing that is $<\kappa$-directed closed, has the $\kappa^+$-c.c. and introduces a lightface definable well-order of $H(\kappa^+)$. We use this to define a global iteration that does this for all such $\kappa$ simultaneously and is capable of preserving the existence of many large cardinals in the universe

Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

Compensation plays an important role in advanced transaction models, cooperative work, and workflow systems. However, compensation operations are often simply written as a^−1 in transaction model literature. This notation ignores any operation parameters, results, and side effects. A schema designer intending to use an advanced transaction model is expected (required) to write correct method code. However, in the days of cut-and-paste, this is much easier said than done. In this paper, we demonstrate the feasibility of using an off-the-shelf theorem prover (also called a proof assistant) to perform automated verification of compensation requirements for an OODB schema. We report on the results of a case study in verification for a particular advanced transaction model that supports cooperative applications. The case study is based on an OODB schema that provides generic graph editing functionality for the creation, insertion, and manipulation of nodes and links

Short Proofs of Tautologies using the Schema of Equivalence

It is shown how the schema of equivalence can be used to obtain short proofs of tautologies A , where the depth of proofs is linear in the number of variables in A

Photometric and spectroscopic variability of the FUor star V582 Aurigae

We carried out BVRI CCD photometric observations in the field of V582 Aur from 2009 August to 2013 February. We acquired high-, medium-, and low-resolution spectroscopy of V582 Aur during this period. To study the pre-outburst variability of the target and construct its historical light curve, we searched for archival observations in photographic plate collections. Both CCD and photographic observations were analyzed using a sequence of 14 stars in the field of V582 Aur calibrated in BVRI. The pre-outburst photographic observations of V582 Aur show low-amplitude light variations typical of T Tauri stars. Archival photographic observations indicate that the increase in brightness began in late 1984 or early 1985 and the star reached the maximum level of brightness at 1986 January. The spectral type of V582 Aur can be defined as G0I with strong P Cyg profiles of H alpha and Na I D lines, which are typical of FU Orionis objects. Our BVRI photometric observations show large amplitude variations V~2.8 mag. during the 3.5 year period of observations. Most of the time, however, the star remains in a state close to the maximum brightness. The deepest drop in brightness was observed in the spring of 2012, when the brightness of the star fell to a level close to the pre-outburst. The multicolor photometric data show a color reversal during the minimum in brightness, which is typical of UX Ori variables. The corresponding spectral observations show strong variability in the profiles and intensities of the spectral lines (especially H alpha), which indicate significant changes in the accretion rate. On the basis of photometric monitoring performed over the past three years, the spectral properties of the maximal light, and the shape of the long-term light curve, we confirm the affiliation of V582 Aur to the group of FU Orionis objects.Comment: 9 pages, 8 figures, accepted for publication in A&

Randomness on computable probability spaces - A dynamical point of view

We extend the notion of randomness (in the version introduced by Schnorr) to computable probability spaces and compare it to a dynamical notion of randomness: typicality. Roughly, a point is typical for some dynamic, if it follows the statistical behavior of the system (Birkhoff’s pointwise ergodic theorem). We prove that a point is Schnorr random if and only if it is typical for every mixing computable dynamics. To prove the result we develop some tools for the theory of computable probability spaces (for example, morphisms) that are expected to have other applications

Sexuality and Civil Rights: Re-Imagining Anti-Discrimination Laws

In this essay, I first describe the origins and current status of anti-discrimination laws that cover sexual orientation and/or gender identity. I examine the debates over whether existing laws are underutilized, and I analyze the variations in the structures of state and local laws that contribute to an unevenness in the patterns of utilization. These factors suggest that even persons living in states or local jurisdictions that already have anti-discrimination laws may lack meaningful mechanisms for redress. Part two raises the ante in my exploration of the relationship between sexuality and civil rights laws by asking whether there are ways that the civil rights concept itself may fall short of addressing the kinds of discrimination that LGBT persons experience. I approach this question by inviting readers to engage in a thought experiment of designing anti-discrimination laws around the experiences of persons who suffer sexuality-linked discrimination, rather than trying to shoehorn those life experiences into a standard anti-discrimination model. I conclude that there are points of friction between sexuality and civil rights that bubble beneath the surface of advocates\u27 longstanding efforts to fold sexual orientation into the civil rights model

The dawn of the age of the drones: an Australian privacy law perspective

Examines Australia\u27s privacy laws in relation to&nbsp;unmanned aerial vehicles, to identify deficiencies that may need to be addressed. Introduction Suppose a homeowner habitually enjoys sunbathing in his or her backyard, protected by a high fence from prying eyes, including those of an adolescent neighbour. In times past such homeowners could be assured that they might go about their activities without a threat to their privacy. However, recent years have seen technological advances in the development of unmanned aerial vehicles (‘UAVs’), also known colloquially as drones, that have allowed them to become reduced in size, complexity and price. UAVs today include models retailing to the public for less than $350 and with an ease of operation that enables them to serve as mobile platforms for miniature cameras. These machines now mean that for individuals like the posited homeowner’s adolescent neighbour, barriers such as high fences no longer constitute insuperable obstacles to their voyeuristic endeavours. Moreover, ease of access to the internet and video sharing websites provides a ready means of sharing any recordings made with such cameras with a wide audience. Persons in the homeowner’s position might understandably seek some form of redress for such egregious invasions of their privacy. Other than some form of self-help, what alternative measures may be available? Under Australian law this problem yields no easy answer. In this country, a fractured landscape of common law, Commonwealth and state/territory legislation provides piecemeal protection against invasions of privacy by cameras mounted on UAVs. It is timely, at what may be regarded as the early days of the drone age, to consider these laws and to identify deficiencies that may need to be addressed lest, to quote words that are as apt today as they were when written over 120 years ago, ‘modern enterprise and invention … through invasions upon [their] privacy, [subject victims] to mental pain and distress, far greater than could be inflicted by mere bodily injury.