Live briefing
Everything about Ground expression
Term that does not contain any variables
In mathematical logic, a ground term of a formal system is a term that does not contain any variables. Similarly, a ground formula is a formula that does not contain any variables. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Ground expressionA 5-minute orientation
- Skim a recent paper: Nonstop mRNAs generate a ground state of mitochondrial gene expression noiseInfluential work since 2022
- Pick up a classic book: The WC transportation systemThe most-reprinted book on the subject
- Read the landmark paper: Modulation of gene expression in hibernating arctic ground squirrelsCited 149 times
- Go sideways: Craig interpolationA closely related topic
- Go sideways: Independence-friendly logicA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Modulation of gene expression in hibernating arctic ground squirrels
Exact expression of the ground-state energy for the symmetric anderson model
Quantitative Analysis of Liver Protein Expression During Hibernation in the Golden-mantled Ground Squirrel
Cloning and expression of hypoxia-inducible factor 1α from the hibernating ground squirrel, Spermophilus tridecemlineatus
Antioxidant defense in hibernation: Cloning and expression of peroxiredoxins from hibernating ground squirrels, Spermophilus tridecemlineatus
Mammalian male germ cells are fertile ground for expression profiling of sexual reproduction
Cloning and expression of PPARγ and PGC-1α from the hibernating ground squirrel, Spermophilus tridecemlineatus
A new expression for the ground transient resistance matrix elements of multiconductor overhead transmission lines
🆕 Influential since 2022
Nonstop mRNAs generate a ground state of mitochondrial gene expression noise
Adrenal gene expression dynamics support hibernation in 13-lined ground squirrels
Searching for identity: finding the expression of place under ground
A Correction to Rusck Expression for the Evaluation of Lightning-Induced Overvoltages for High-Resistivity Ground
A Closed-Form Approximation for Sunde's Ground-Return Expression Based on a Padé Approximant
📚 Books worth reading
The WC transportation systemM. Leath Gray · 1971- 📕Ontario/Québec Rapid Train Task ForceOntario-Québec Rapid Train Task Force (Canada) · 1991
- 📕Gao deng ji gong lu jing guan she ji xin shi jiaoQuanwen Li · 2011
Logan ground access annual updateMassachusetts Port Authority · 1991
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Craig interpolation In mathematical logic, Craig's interpolation theorem is a result about the relationship between different logical theories. Roughly stated, the theorem…
- Independence-friendly logic Independence-friendly logic (IF logic; proposed by Jaakko Hintikka and Gabriel Sandu [fr] in 1989) is an extension of classical first-order logic (FOL)…
- List of rules of inference This is a list of rules of inference, logical laws that relate to mathematical formulae. Rules of inference are syntactical transform rules which one can…
- Kripke–Platek set theory Kripke–Platek set theory (KP) is an axiomatic set theory developed by Saul Kripke and Richard Platek. It is substantially weaker than Zermelo–Fraenkel…
- Semantic theory of truth A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.[vague] The semantic conception…
- Hilbert system In logic, more specifically proof theory, a Hilbert system, sometimes called Hilbert calculus, Hilbert-style system, Hilbert-style proof system, Hilbert-style…
- Primitive recursive arithmetic Primitive recursive arithmetic (PRA) is a quantifier-free formalization of the natural numbers. It was first proposed by Norwegian mathematician Skolem…
- Heyting arithmetic In mathematical logic, Heyting arithmetic H A {\displaystyle {\mathsf {HA}}} is an axiomatization of arithmetic in accordance with the philosophy of intuitionis…