The Bristol model:An abyss called a Cohen real

We construct a model M of ZF which lies between L and L[c] for a Cohen real c and does not have the form L(x) for any set x. This is loosely based on the unwritten work done in a Bristol workshop about Woodin's HOD Conjecture in 2011. The construction given here allows for a finer analysis of the needed assumptions on the ground models, thus taking us one step closer to understanding models of ZF, and the HOD Conjecture and its relatives. This model also provides a positive answer to a question of Grigorieff about intermediate models of ZF, and we use it to show the failure of Kinna-Wagner Principles in ZF

Method for producing fiber reinforced metallic composites Patent

Description of method for producing metallic composites reinforced with ceramic and refractory hard metals that are fibered in plac

More game-theoretic properties of boolean algebras

AbstractThe following infinite game G was investigated in [5]: Let B be a Boolean algebra. Two players, White and Black, take turns to choose successively a sequenc

Generalized Effective Reducibility

We introduce two notions of effective reducibility for set-theoretical statements, based on computability with Ordinal Turing Machines (OTMs), one of which resembles Turing reducibility while the other is modelled after Weihrauch reducibility. We give sample applications by showing that certain (algebraic) constructions are not effective in the OTM-sense and considerung the effective equivalence of various versions of the axiom of choice

Resonance classification of mixed assemblages of fish with swimbladders using a modified commercial broadband acoustic echosounder at 1–6 kHz

Author Posting. © The Authors, 2012. This article is posted here by permission of NRC Research Press for personal use, not for redistribution. The definitive version was published in Canadian Journal of Fisheries and Aquatic Sciences 69 (2012): 854-868, doi:10.1139/f2012-013.Recently developed broadband acoustic methods were used to study mixed assemblages of fish spanning a wide range of lengths and species. Through a combination of resonance classification and pulse-compression signal processing, which provides for high-range resolution, a modified commercial broadband echosounder was demonstrated to provide quantitative information on the spatial distribution of the individual size classes within an assemblage. In essence, this system spectrally resolves the different size classes of fish that are otherwise not resolved spatially. This method reveals new insights into biological processes, such as predator–prey interactions, that are not obtainable through the use of a conventional narrowband high-frequency echosounder or previous broadband systems. A recent study at sea with this system revealed aggregations containing bladdered fish 15–30 cm in length (Atlantic herring (Clupea harengus) and silver hake (Merluccius bilinearis)) and a variety of species of smaller fish 2–5 cm in length. These observations infer that the smaller 2–5 cm fish can be colocated in the same aggregations as their predator, the larger silver hake, as well as pre-spawning herring. While this technological advancement provides more information, there remain challenges in interpreting the echo spectra in terms of meaningful biological quantities such as size distribution and species composition.This research was supported by the US Office of Naval Research (grant Nos. N00014-04-1-0440 and N00014-10-1-0127), NOAA – National Marine Fisheries Service; and the J. Seward Johnson Chair of the WHOI Academic Programs Office

Infinite partition monoids

Let $\mathcal P_X$ and $\mathcal S_X$ be the partition monoid and symmetric group on an infinite set $X$. We show that $\mathcal P_X$ may be generated by $\mathcal S_X$ together with two (but no fewer) additional partitions, and we classify the pairs $\alpha,\beta\in\mathcal P_X$ for which $\mathcal P_X$ is generated by $\mathcal S_X\cup\{\alpha,\beta\}$. We also show that $\mathcal P_X$ may be generated by the set $\mathcal E_X$ of all idempotent partitions together with two (but no fewer) additional partitions. In fact, $\mathcal P_X$ is generated by $\mathcal E_X\cup\{\alpha,\beta\}$ if and only if it is generated by $\mathcal E_X\cup\mathcal S_X\cup\{\alpha,\beta\}$. We also classify the pairs $\alpha,\beta\in\mathcal P_X$ for which $\mathcal P_X$ is generated by $\mathcal E_X\cup\{\alpha,\beta\}$. Among other results, we show that any countable subset of $\mathcal P_X$ is contained in a $4$-generated subsemigroup of $\mathcal P_X$, and that the length function on $\mathcal P_X$ is bounded with respect to any generating set

Reinforced metallic composites Patent

High strength reinforced metallic composites for applications over wide temperature rang

Wideband (15–260 kHz) acoustic volume backscattering spectra of Northern krill (Meganyctiphanes norvegica) and butterfish (Peprilus triacanthus)

This paper is not subject to U.S. copyright. The definitive version was published in ICES Journal of Marine Science 74 (2017): 2249–2261, doi:10.1093/icesjms/fsx050.Measurements of acoustic backscatter made over a wide frequency band have the potential for improved classification relative to traditional narrowband methods, by characterizing more fully the frequency response of scatterers. In January 2014, five wideband transceivers [Simrad EK80 Wideband Transceivers (WBTs)] and split-beam transducers with nominal centre frequencies of 18, 38, 70, 120, and 200 kHz were used to collect acoustic data spanning a nearly continuous 15–260 kHz bandwidth. The acoustic samples were from ca. 2 m below the surface to the seabed in an area along the US continental shelf break. Bottom trawls and zooplankton nets were also used to sample scatterers contributing to selected features of the acoustic backscatter. Measurements of frequency-dependent volume backscattering strength (i.e. volume backscattering spectra) from aggregations of euphausiids (mostly Northern krill, Meganyctiphanes norvegica) clearly resolved the transition from Rayleigh to geometric scattering, consistent with modelled backscatter from the type and length of animals sampled with bongo nets. Volume backscattering spectra from aggregations dominated by butterfish (Peprilus triacanthus) revealed a frequency response that was suggestive of superimposed scattering by soft tissue and bone. Backscatter predicted by Kirchhoff ray mode models of butterfish corresponded to trends in the measured spectra, supporting the assumption that acoustic scattering by butterfish is dominated by soft tissue and vertebrae.NOAA Advanced Sampling Technology Working Group (ASTWG) provided support for this project. GLL was partially supported by NOAA Cooperative Agreements NA09OAR4320129 and NA14OAR4320158 through the NOAA Fisheries Quantitative Ecology and Socioeconomics Training (QUEST) programme

Protocols for calibrating multibeam sonar

Development of protocols for calibrating multibeam sonar by means of the standard-target method is documented. Particular systems used in the development work included three that provide the water-column signals, namely the SIMRAD SM2000/90- and 200-kHz sonars and RESON SeaBat 8101 sonar, with operating frequency of 240 kHz. Two facilities were instrumented specifically for the work: a sea well at the Woods Hole Oceanographic Institution and a large, indoor freshwater tank at the University of New Hampshire. Methods for measuring the transfer characteristics of each sonar, with transducers attached, are described and illustrated with measurement results. The principal results, however, are the protocols themselves. These are elaborated for positioning the target, choosing the receiver gain function, quantifying the system stability, mapping the directionality in the plane of the receiving array and in the plane normal to the central axis, measuring the directionality of individual beams, and measuring the nearfield response. General preparations for calibrating multibeam sonars and a method for measuring the receiver response electronically are outlined. Advantages of multibeam sonar calibration and outstanding problems, such as that of validation of the performance of multibeam sonars as configured for use, are mentioned