Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The modal profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic, and $\Omega$-logical validity can be defined via deterministic automata. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely logical, and thus vindicates a neo-logicist conception of mathematical truth in the set-theoretic multiverse. Second, the foregoing provides a modal-computational account of the interpretation of mathematical vocabulary, adducing in favor of a realist conception of the cumulative hierarchy of sets

La Cuevona de Avín (Avín, Asturias, North Spain): A new Late Pleistocene site in the lower valley of the River Güeña

The archaeological investigations carried out in the last twenty years in the Lower Valley of the River Güeña (Asturias, central part of northern Spain) have documented different prehistoric sites, particularly with Middle and Upper Palaeolithic occupations. This paper presents the first results of the archaeological excavation carried out in the cave of La Cuevona de Avín. From the systematic study of the biotic and abiotic remains, a total of three occupation phases (Phases 1 to 3) have been determined, dated in the Late Pleistocene. The lithic studies indicate the use of local raw materials (mainly quartzite), but also regional ones (different types of flint) in the whole sequence. Retouched implements are typologically representative only during the Upper Magdalenian (Phase II) and use-wear analysis indicates the manufacture and use of artefacts in situ during this phase. Archaeozoological studies reveal continuity in subsistence strategies throughout the sequence, noting specialization in red deer hunting during the Azilian (Phase I), and more diversified prey in the older phases of the sequence. © 2022 The Author(s

Quaternary fossil horses within the Prados-Guatén Depression (Pantoja de La Sagra, Toledo)

Durante la primera reunión de campo del Grupo Madrileño de Cuaternario (GQM-AEQUA) se localizaron restos fragmentarios de dentición de caballos fósiles en los antiguos areneros de Pantoja de La Sagra (Toledo), actualmente en proceso de desmantelamiento y relleno. Ante la posibilidad de deterioro y pérdida los restos fueron recolectados y trasladados al Museo Nacional de Ciencias Naturales (CSIC, Madrid) donde se ha procedido a su análisis. Las piezas fósiles analizadas responden a un maxilar izquierdo con tres piezas dentales in situ (molares y premolares), y otras siete más aisladas. Todos los dientes aislados, junto con el fragmento de maxilar existente, corresponden a un adulto joven. Los restos fósiles se encontraban asociados a un nivel de arenas fluviales situado unos cuatro metros por debajo de la superficie de la Terraza de +15 m de la Depresión Prados-Guatén definida como un nivel perteneciente al tránsito Pleistoceno inferior-medio, del antiguo Sistema fluvial Manzanares-Guatén por Silva (1988). En concreto los niveles superiores de esta terraza han sido interpretados como resultado de la superposición de los últimos depósitos del antiguo sistema fluvial y los primeros asociados al relleno de la Depresión por tributarios de área fuente más local tras su abandono como consecuencia del proceso de captura del valle inferior del Manzanares por parte del Río Jarama al SW de la Ciudad de Madrid (Silva et al., 1988). Los caracteres morfológicos y morfométricos de las piezas dentarias permiten identificarlos como Equus ferus cf. mosbachensis cuya distribución bioestratigráfica abarca la parte final del Pleistoceno Medio (c.a. 500-200 ka B.P.). Junto a los restos fósiles aparecieron también escasos fragmentos líticos correspondientes a productos de lascado en sílex de difícil atribución tecnológica. Los restos fósiles analizados, indican que el depósito extensivo de arenas fluviales en el eje de la Depresión, culminó durante el final del Pleistoceno medio, y que la dinámica fluvial de la Depresión tras su proceso de abandono fue de hecho más activa de lo que se pensaba con la instalación de sistemas de arroyos relevantes alimentados por cabeceras locales antes del encajamiento definitivo actual de los arroyos Prados y Guatén.During the first field-meeting of the Madrid Quaternary Research Group (GQM-AEQUA) several fossil teeth remnants of horses were localised at the ancient sand-quarries of Pantoja de La Sagra (Toledo), which presently are abandoned and refilling in progress. The possibility of deterioration and loss of the localised fossils remnants induced by the quarry works, they were collected and taken away to the Museo Nacional de Ciencias Naturales (CSIC, Madrid) for their preservation and analysis. Fossil remains correspond to a left maxilla with two in situ molars, another one inset on its alveolar cavity, fragments of premolar cavities, as well as other seven more isolated teeth. These fossils were outcropping in a sandy level at four meters below the +15 m fluvial terrace surface of the axial sector of de Prados-Guatén Depression, which is considered the last fluvial level belonging to the ancient Manzanares-Guatén fluvial system during the Lower-Middle Pleistocene transit (Silva, 1988). In detail, the upper fluvial sediments of this particular terrace level were interpreted as the result of the overlapping between the last materials deposited by the ancient Manzanares-Guatén fluvial system and the first ones resulting from the readjustment of former tributaries after the abandonment of the Depression caused by fluvial capture of the Lower Manzanares Valley SW Madrid City. The morphological features of the oclusal surface of the horse teeth and morphometric comparative analyses indicate that they belong to the specie Equus ferus, and probably to the subspecie mosbachensis. However due to the bad definition of this group in Europe and the few individuals analysed the better classification is Equus ferus cf. mosbachensis. The bioestratigraphic distribution of this fossil horse group in Europe extends on the upper part of the Middle Pleistocene (c.a. 500-200 ka B.P.). Few lithic artefacts outcropped also associated to the fossil remains, constituted by laminar flakes of hard technological classification. Fossil remains analysed in this work joint to the unique previous quaternary fossil mammal described for the Prados-Guatén Depression constituted by Mammuthus meridionalis NESTI of the former quarry of Esquivias adjacent to the AVE railway line (Silva et al., 1988b; 1999). The chronostratigraphic attribution of the fossil horses (Upper Middle Pleistocene) described here indicate that fluvial sedimentary activity within the Depression was relevant after its abandonment. Ancient tributaries of the former Manzanares-Guatén fluvial system, feed by local-intrabasinal headwaters, reworked the previous sandy sediments triggering multiepisodic deposition during the upper part of the Middle Pleistocene, before the more recent eventual incision of present streams dissecting the Depression

Quantitative Proteomics Reveals Myosin and Actin as Promising Saliva Biomarkers for Distinguishing Pre-Malignant and Malignant Oral Lesions

Oral cancer survival rates increase significantly when it is detected and treated early. Unfortunately, clinicians now lack tests which easily and reliably distinguish pre-malignant oral lesions from those already transitioned to malignancy. A test for proteins, ones found in non-invasively-collected whole saliva and whose abundances distinguish these lesion types, would meet this critical need.To discover such proteins, in a first-of-its-kind study we used advanced mass spectrometry-based quantitative proteomics analysis of the pooled soluble fraction of whole saliva from four subjects with pre-malignant lesions and four with malignant lesions. We prioritized candidate biomarkers via bioinformatics and validated selected proteins by western blotting. Bioinformatic analysis of differentially abundant proteins and initial western blotting revealed increased abundance of myosin and actin in patients with malignant lesions. We validated those results by additional western blotting of individual whole saliva samples from twelve other subjects with pre-malignant oral lesions and twelve with malignant oral lesions. Sensitivity/specificity values for distinguishing between different lesion types were 100%/75% (p = 0.002) for actin, and 67%/83% (p<0.00001) for myosin in soluble saliva. Exfoliated epithelial cells from subjects' saliva also showed increased myosin and actin abundance in those with malignant lesions, linking our observations in soluble saliva to abundance differences between pre-malignant and malignant cells.Salivary actin and myosin abundances distinguish oral lesion types with sensitivity and specificity rivaling other non-invasive oral cancer tests. Our findings provide a promising starting point for the development of non-invasive and inexpensive salivary tests to reliably detect oral cancer early

A Middle Palaeolithic wooden digging stick from Aranbaltza III, Spain

Aranbaltza is an archaeological complex formed by at least three open-air sites. Between 2014 and 2015 a test excavation carried out in Aranbaltza III revealed the presence of a sand and clay sedimentary sequence formed in floodplain environments, within which six sedimentary units have been identified. This sequence was formed between 137±50 ka, and includes several archaeological horizons, attesting to the long-term presence of Neanderthal communities in this area. One of these horizons, corresponding with Unit 4, yielded two wooden tools. One of these tools is a beveled pointed tool that was shaped through a complex operational sequence involving branch shaping, bark peeling, twig removal, shaping, polishing, thermal exposition and chopping. A use-wear analysis of the tool shows it to have traces related with digging soil so it has been interpreted as representing a digging stick. This is the first time such a tool has been identified in a European Late Middle Palaeolithic context; it also represents one of the first well-preserved Middle Palaeolithic wooden tool found in southern Europe. This artefact represents one of the few examples available of wooden tool preservation for the European Palaeolithic, allowing us to further explore the role wooden technologies played in Neanderthal communities

Burnt bone assemblages from El Esquilleu cave (Cantabria, Northern Spain): deliberate use for fuel or systematic disposal of organic waste?

Bones or fossil fuels associated with combustion structures have been widely discussed in several works related to Neanderthal lifestyles and subsistence patterns during the MIS 3. El Esquilleu cave (western Cantabria, Spain) can significantly contribute to this issue, particularly with the taphonomic study of layers 21 and 23, which are characterized by the presence of hearths containing abundant burnt and charred faunal remains of ibex. The fragmentation and burning rates as well as bone presence within hearths may suggest that they were used as a supplementary fuel resource. Following previous research on the suitability of bones as a supplement to firewood in hearth combustions, a series of experiments are here presented using goat bones, in consistency with the faunal record present at El Esquilleu. Our experiments proved that small-sized animal (\u3c100 kg in weight) bones also possess appropriate qualities for their use as fuel, particularly epiphyseal and axial parts. This paper critically evaluates whether bones could have been used as fuel by the Neanderthal groups at El Esquilleu or whether their combustion resulted from other behavioural practises. In this sense, we compare our results with different proxy data from this site as well as with the palaeoenvironmental information available for the MIS 3 chronological period in Western Europe

Mediterranean and north-African cultural adaptations to mid-Holocene environmental and climatic changes

In Mediterranean and north-African regions, cultural trajectories have shown trends sometimes coincident with climatic changes. The mid Holocene was a period of intense changes in climate, and in environmental and cultural systems. This paper reports pollen and charcoal studies from these areas aiming at presenting how impressive cultural changes frequently coincided with critical climate oscillations. Three of the main dry events of key relevance for climatic-cultural changes were selected to discuss this topic: c. 8200 cal. yr BP, c. 6000 cal. yr BP, and c. 4200 cal. yr BP. Five examples from on-site case studies were reported: (1) Wadi Teshuinat area (Fezzan, Libya, Central Sahara); (2) Benz cave (Ceuta mountains, Spain, NW Africa); (3) La Vaquera Cave (Central System, Spain); (4) Terramara di Montale (Po Plain, Northern Italy); (5) Arslantepe (Eastern Anatolia, Turkey). Their archaeobotanical record helps to recognise and date human presence and activity in different territories. In these examples, anthropogenic signals and comparisons with other sites could be useful to distinguish climate signal from human impact in pollen records. Charcoals are evidence of human activity in cases which are not shown by pollen. Overexploitation of thinned plant resources, including overgrazing, accelerated the evolution towards xeric conditions during drying climatic phases. Humans enforced the aridity crisis and enhanced its signal in palaeoclimatic records. Sometimes, changing exploitation strategies and movements led to the onset of new cultures. Nevertheless, the onset and decline of a culture are very different critical phases, and different agents must have been involved in their occurrence. The Bronze Age marked the environment more than the Neolithic, probably because there is a relation between improvements in knowledge, cultural changes and the evolution of complex forms of land exploitation