Results 141 to 150 of about 107,162 (337)
Formalization of the Axiom of Choice and its Equivalent Theorems [PDF]
, 2019 Tianyu Sun, Wensheng Yu
openalex +1 more source
Pitardia resurrected: A new member of subtribe Menthinae (Lamiaceae)
TAXON, EarlyView.Abstract Despite tremendous progress towards clarifying phylogenetic relationships within the mint family (Lamiaceae), uncertainty remains regarding relationships among some major clades as well as the proper placement of some genera. While researching the genus Nepeta, a species from northeastern Morocco, N.
Abdelmonaim Homrani Bakali +3 more
wiley +1 more source
Journal of Formalized Reasoning, 2010 This work is about formalizing models of various type theories of the Calculus of Constructions family. Here we focus on set theoretical models. The long-term goal is to build a formal set theoretical model of the Calculus of Inductive Constructions, so ...
Bruno Barras
doaj
Wildlife Letters, EarlyView.In the winter of 2021/2022, a winter track survey revealed 43–46 tigers (without cubs) in 5.4 thousand km2 of suitable habitats in the Southwest Primorsky Province of Russia. In the same period, a network of camera traps registered 54 adult/subadult tigers here.
Yury Darman, Dina Matiukhina
wiley +1 more source
The construction of groups in models of set theory that fail the Axiom of Choice [PDF]
, 1976 John L. Hickman
openalex +1 more source
Crisis, temporality and governmental policy agendas: The cases of Finland and Sweden
Scandinavian Political Studies, EarlyView.Abstract Crises transform the temporal orientation of political decision‐making. They demand immediate and decisive action and thus convert time into a means of political control. In these circumstances, assessing the long‐term consequences of proposed policies with respect to welfare, sustainability or justice also becomes demanding.
Henri Vogt, Mikko Värttö
wiley +1 more source
, 2018 The overarching aim of this thesis is to do some right to the complexity of human decision making and the study thereof. Specifically, this thesis includes three examples of how to advance the study of, and to increase insight in, individual and contextual variability in decision making under risk.
openaire +1 more source
Journal of the Royal Anthropological Institute, EarlyView.Classic anthropological accounts of miniature objects have focused on their spatial and aesthetic dimensions, with more recent work addressing their communicative potential, connections with play, and role in protecting threatened cultural knowledge. This article analyses responses to a miniature landscape model of yhyakh, a festival celebrated in the ...
Alison K. Brown
wiley +1 more source
A new proof of the consistency of axiom of choice and the generalized continuum hypothesis [Lecture] [PDF]
, 1962 Ladislav Rieger
openalex +1 more source
The axiom of fundierung and the axiom of choice
Archiv für Mathematische Logik und Grundlagenforschung, 1958 openaire +1 more source