The recursion-theoretic study of mathematical structures other thanωis now a field of much activity. Analysis and algebra are two such structures which have been studied for their effective contents. Studies in analysis began with the work of Specker on nonconstructive proofs in analysis [16] and in Lacombe's inspiring notes on relevant notions of recursive analysis [8]. Studies in algebra originated in the work of Frolich and Shepherdson on effective extensions of explicit fields [1] and in Rabin's study of computable fields (...) [15]. Equipped with the richness of modern techniques in recursion theory, Metakides and Nerode [11]–[13] began investigating the effective content of vector spaces and fields; these studies have been extended by Kalantari, Remmel, Retzlaff, Shore and others.Kalantari and Retzlaff [5] began a foundational inquiry into effectiveness in topological spaces. They consider a topological spaceXwith a countable basis ⊿ for the topology. The space isfully effective, that is, the basis elements are coded intoωand the operation of intersection of basis elements and the relation of inclusion among them are both computable. Similar to, the lattice of recursively enumerable subsets ofω, the collection of r.e. open subsets ofXforms a latticeℒunder the usual operations of union and intersection. (shrink)

We discuss the concept of spontaneous breaking of gauge symmetry in super-conductors and superfluids and, in particular, the circumstances under which the absolute phase of a superfluid can be physically meaningful and experimentally relevant. We argue that the study of this question pushes us toward the frontiers of what we understand about the quantum measurement process, and underline the need for a new theoretical framework that keeps pace with modern technological capabilities.

According to a commonly held view, the properties of condensed-matter systems are simply consequences of the properties of their atomic-level components, and all of theoretical research in condensed-matter physics consists essentially in deducing the former from the latter. I argue that this apparently plausible picture is totally misleading, and that condensed-matter physics is a discipline which is not only autonomous, but guaranteed in the long run to be fundamental.

I examine the question of how far experiments that look for the effects of superposition of macroscopically distinct states are relevant to the classic measurement paradox of quantum mechanics. Existing experiments on superconducting devices confirm the predictions of the quantum formalism extrapolated to the macroscopic level, and to that extent provide strong circumstantial evidence for its validity at this level, but do not directly test the principle of superposition of macrostates. A more ambitious experiment, not obviously infeasible with current technology, (...) could provide a direct test between quantum mechanics and a whole class of theories embodying the postulate of realism at the macroscopic level. (shrink)

I consider various experiments related to the so-called “macroscopic quantum coherence” experiment, which are probably at present in the class of “thought” experiment but are likely to become realistic in the next few decades. I explore the way in which outcomes consistent with the predictions of quantum mechanics would be interpreted by an adherent of, respectively, the Copenhagen, statistical, and Bohmian interpretations of the formalism.

I discuss the question: Is it possible to prepare, by purely thermodynamic means, an ensemble described by a quantum state having a definite phase relation between two component states which have never been in direct contact? Resolution of this question requires us to take explicit account of the nature of the correlations between the system and its thermal environment.

I consider various experiments related to the so-called “macroscopic quantum coherence” experiment, which are probably at present in the class of “thought” experiment but are likely to become realistic in the next few decades. I explore the way in which outcomes consistent with the predictions of quantum mechanics would be interpreted by an adherent of, respectively, the Copenhagen, statistical, and Bohmian interpretations of the formalism.

It is argued that among possible nonlocal hidden-variable theories a particular class (called here “crypto-nonlocal” or CN) is relatively plausible on physical grounds. CN theories have the property that (for example) the two photons emitted in an atomic cascade process are indistinguishable in their individual statistical properties from photons emitted singly, and that in the latter case the effects of nonlocality are unobservable. It is demonstrated that all CN theories are constrained by inequalities which are violated by the quantum-mechanical predictions; (...) these inequalities bear no simple relation to Bell's inequalities, and an explicit example is constructed of a CN theory which violates the latter. It is also shown that while existing experiments cannot rule out general CN theories, they do rule out (subject to a few caveats such as the usual ones concerning the well-known “loopholes”) the subclass in which the photon polarizations are linear. (shrink)