Constructive set theoryAxiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.
Crystal structureIn crystallography, crystal structure is a description of the ordered arrangement of atoms, ions, or molecules in a crystalline material. Ordered structures occur from the intrinsic nature of the constituent particles to form symmetric patterns that repeat along the principal directions of three-dimensional space in matter. The smallest group of particles in the material that constitutes this repeating pattern is the unit cell of the structure.
T helper cellThe T helper cells (Th cells), also known as CD4+ cells or CD4-positive cells, are a type of T cell that play an important role in the adaptive immune system. They aid the activity of other immune cells by releasing cytokines. They are considered essential in B cell antibody class switching, breaking cross-tolerance in dendritic cells, in the activation and growth of cytotoxic T cells, and in maximizing bactericidal activity of phagocytes such as macrophages and neutrophils.
Constructive analysisIn mathematics, constructive analysis is mathematical analysis done according to some principles of constructive mathematics. The name of the subject contrasts with classical analysis, which in this context means analysis done according to the more common principles of classical mathematics. However, there are various schools of thought and many different formalizations of constructive analysis.
Diffraction gratingIn optics, a diffraction grating is an optical grating with a periodic structure that diffracts light into several beams travelling in different directions (i.e., different diffraction angles). The emerging coloration is a form of structural coloration. The directions or diffraction angles of these beams depend on the wave (light) incident angle to the diffraction grating, the spacing or distance between adjacent diffracting elements (e.g., parallel slits for a transmission grating) on the grating, and the wavelength of the incident light.
Gröbner basisIn mathematics, and more specifically in computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular kind of generating set of an ideal in a polynomial ring K[x1, ..., xn] over a field K. A Gröbner basis allows many important properties of the ideal and the associated algebraic variety to be deduced easily, such as the dimension and the number of zeros when it is finite.
Diffraction from slitsDiffraction processes affecting waves are amenable to quantitative description and analysis. Such treatments are applied to a wave passing through one or more slits whose width is specified as a proportion of the wavelength. Numerical approximations may be used, including the Fresnel and Fraunhofer approximations. Because diffraction is the result of addition of all waves (of given wavelength) along all unobstructed paths, the usual procedure is to consider the contribution of an infinitesimally small neighborhood around a certain path (this contribution is usually called a wavelet) and then integrate over all paths (= add all wavelets) from the source to the detector (or given point on a screen).
Dendritic cellA dendritic cell (DC) is an antigen-presenting cell (also known as an accessory cell) of the mammalian immune system. A DC's main function is to process antigen material and present it on the cell surface to the T cells of the immune system. They act as messengers between the innate and adaptive immune systems. Dendritic cells are present in tissues that are in contact with the body's external environment, such as the skin (where there is a specialized dendritic cell type called the Langerhans cell), and the inner lining of the nose, lungs, stomach and intestines.
Rayleigh scatteringRayleigh scattering (ˈreɪli ), named after the 19th-century British physicist Lord Rayleigh (John William Strutt), is the predominantly elastic scattering of light or other electromagnetic radiation by particles much smaller than the wavelength of the radiation. For light frequencies well below the resonance frequency of the scattering particle (normal dispersion regime), the amount of scattering is inversely proportional to the fourth power of the wavelength. Rayleigh scattering results from the electric polarizability of the particles.
Completeness of the real numbersCompleteness is a property of the real numbers that, intuitively, implies that there are no "gaps" (in Dedekind's terminology) or "missing points" in the real number line. This contrasts with the rational numbers, whose corresponding number line has a "gap" at each irrational value. In the decimal number system, completeness is equivalent to the statement that any infinite string of decimal digits is actually a decimal representation for some real number.
Integer latticeIn mathematics, the n-dimensional integer lattice (or cubic lattice), denoted \mathbb{Z}^n, is the lattice in the Euclidean space \mathbb{R}^n whose lattice points are n-tuples of integers. The two-dimensional integer lattice is also called the square lattice, or grid lattice. \mathbb{Z}^n is the simplest example of a root lattice. The integer lattice is an odd unimodular lattice. The automorphism group (or group of congruences) of the integer lattice consists of all permutations and sign changes of the coordinates, and is of order 2n n!.
Hematopoietic stem cellHematopoietic stem cells (HSCs) are the stem cells that give rise to other blood cells. This process is called haematopoiesis. In vertebrates, the very first definitive HSCs arise from the ventral endothelial wall of the embryonic aorta within the (midgestational) aorta-gonad-mesonephros region, through a process known as endothelial-to-hematopoietic transition. In adults, haematopoiesis occurs in the red bone marrow, in the core of most bones. The red bone marrow is derived from the layer of the embryo called the mesoderm.
