Mycelium-based materials are products derived from the mycelium, which is the root structure of fungi. Mycelium consists of a network of fine, thread-like structures called hyphae. These materials are gaining attention for their sustainable and environmentally friendly properties. Here are some key points about mycelium-based materials: 1. **Sustainability**: Mycelium can be grown on agricultural waste and other organic materials, making it a sustainable choice for material production.

The List of Mercury-crossing minor planets consists of minor planets (or asteroids) whose orbits cross the orbit of Mercury, the innermost planet of our solar system. These objects are categorized based on their proximity to the Sun and their orbital characteristics. Mercury-crossing asteroids are of particular interest to astronomers because they can provide insights into the dynamic processes of the inner solar system.

The list of Neptune-crossing minor planets includes those asteroids and other small celestial bodies whose orbits intersect the orbit of Neptune. These objects are categorized as "Neptune-crossers" due to their potential for close encounters with Neptune's orbit. Such minor planets can have diverse physical characteristics and orbital elements. Some notable Neptune-crossing minor planets may include: 1. **2060 Chiron** - One of the largest centaurs, known for its cometary activity.

The Ruth Lyttle Satter Prize in Mathematics is awarded by the American Mathematical Society (AMS) to recognize outstanding achievement by a woman in the field of mathematics. Established in 2009, the prize honors Ruth Lyttle Satter, a mathematician and researcher known for her contributions to the field. The award is intended to encourage women mathematicians to pursue their research and to acknowledge their accomplishments, helping to promote diversity within the mathematical community.

A "List of logicians" typically refers to a compilation of notable individuals who have made significant contributions to the field of logic. This list can include philosophers, mathematicians, computer scientists, and others whose work has advanced our understanding of logical theory, formal systems, and related areas. Some notable logicians include: 1. **Aristotle** - Often considered the father of logic, he developed syllogistic logic.

Polish notation, also known as prefix notation, is a mathematical notation in which the operator precedes its operands. This means that instead of writing an expression in the conventional infix notation (where operators are placed between operands), Polish notation allows for expressions to be written without the need for parentheses to denote order of operations.

Lists of asteroids typically refer to the various catalogs and databases that document the asteroids discovered in our solar system. These lists can include a wide range of information about each asteroid, such as its designation number, name, size, orbital characteristics, and sometimes other data such as composition and surface features. Some of the notable lists and catalogs include: 1. **Main Belt Asteroids**: A list of asteroids primarily located in the asteroid belt between Mars and Jupiter.

Lists of minor planets by number refer to an organized collection or catalog of minor planets (also known as asteroids) that have been assigned a numerical designation based on their order of discovery. The Minor Planet Center (MPC), which is affiliated with the International Astronomical Union (IAU), is responsible for tracking and cataloging these objects.

Trans-Neptunian objects (TNOs) are celestial bodies located in the region of the Solar System beyond the orbit of Neptune. These objects are primarily found in a region known as the Kuiper Belt, though some are in scattered disc orbits, and others can be found in the Oort Cloud. TNOs include a variety of object types, such as dwarf planets, large asteroids, and smaller icy bodies.

Lists of unnumbered minor planets refer to catalogues or compilations of minor planets (also known as asteroids) that have been officially discovered and observed but have not yet been assigned a permanent number by the International Astronomical Union (IAU). In the context of celestial objects, minor planets are typically those that are smaller than planets and don't dominate their orbital zones.

A list of Earth-crossing asteroids refers to a collection of asteroids whose orbits bring them into close proximity to Earth's orbit. These asteroids are classified as "near-Earth objects" (NEOs), and more specifically, some of them are categorized as "Atira" (no close approaches to Earth) or "Apollo" and "Aten" asteroids, which do cross Earth's orbit.

Dichotomous thinking, often referred to as "black-and-white thinking," is a cognitive bias that involves seeing situations, concepts, or people in extreme, either/or terms. This type of thinking does not allow for middle ground or nuances; it simplifies complex issues into binary categories. For example, an individual may categorize people as either entirely good or entirely bad, without recognizing the shades of gray in between.

An atomic formula, in the context of formal logic and mathematical logic, is a basic type of formula that expresses a simple statement or proposition about a specific relation or property without any logical connectives (such as AND, OR, NOT, etc.). An atomic formula typically consists of: 1. **Predicate Symbols**: These are symbols that represent properties or relations.

Cirquent calculus is a formal system that extends the traditional sequent calculus, aiming to handle certain aspects of logic more effectively, particularly in the context of proof theory and structural proof theories. The main innovation in cirquent calculus is its ability to represent proofs in a more flexible way by using what are called "cirquents." A cirquent is a generalization of a sequent, allowing for multiple premises and conclusions that can be structured in a graph-like form rather than in a linear sequence.

The term "Saturn-crossing minor planets" refers to a subset of minor planets (asteroids and other small bodies) that have orbits that cross the orbit of Saturn. These objects can belong to different groups, including asteroids from the main asteroid belt as well as centaurs and trans-Neptunian objects. The significance of these objects lies in their potential to cross the orbits of outer planets, which can affect their trajectories due to gravitational interactions.

A list of Uranus-crossing minor planets includes those asteroids and other small celestial bodies that have orbits that cross the orbit of Uranus. These objects are a subset of the broader group of near-Earth objects and can include centaurs, trans-Neptunian objects, and asteroids.

The list of Venus-crossing minor planets includes a group of small celestial bodies whose orbits bring them close to the orbit of Venus. These minor planets are typically asteroids, and their classifications are based on the paths they take around the Sun, specifically those that intersect with Venus's orbital path. A minor planet is considered a "Venus-crossing" object if it has a semimajor axis and eccentricity that allows its orbit to intersect with that of Venus.

The term "instrument-resolved minor planets" refers to minor planets (which include asteroids and some comets) that have been observed and studied using specific instruments that allow astronomers to resolve them as distinct bodies, rather than as point sources of light in the sky. Such observations can yield valuable information about the size, shape, rotation, and surface properties of these minor planets. These bodies are often studied with powerful telescopes equipped with adaptive optics, photometry, or radar.