Inventory: T
The rows of the inventory whose names start with T. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 3001–3100 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| The weak essential norm | 7FZ2Y1Z93P | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26984#JYSV |
| The wealth process is a supermartingale | NJE4FR0X1E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27765#JWAP |
| The Whetstone of Witte | VE43X8HQBX | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q9087188, ProofWiki Book:Robert_Recorde/The_Whetstone_of_Witte,_whiche_is_the_seconde_parte_of_Arithmeteke:_containing_the_extraction_of_rootes;_the_cossike_practise,_with_the_rule_of_equation;_and_the_workes_of_Surde_Nombers |
| The Whitehead model | FGH46YH8P9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29839#KTAN |
| the whole profile | YJZDZ7XW9P | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09298#2KOH |
| The whole signing law and a canonical reference | D1Z8EE5X45 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#ZQ2P |
| The Wilson line of charge $c$ is the row of the second identity object | Z15QN81026 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18512#ZPLX |
| The Wilson loop is a monomial in $1-x$ | KQN3CVYW08 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18512#G2VS |
| The window functional | PKA153RXDP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15543#QUNP |
| the witness curve | QC84SF5BFW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.07508#JLRS |
| the Witt layers of the profile | AJ5CHE6C0V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.09298#62PX |
| The Yano torsion on the totally geodesic $S^5$ | QYQW0EQWSW | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00078#L6ZL |
| the Yin and Yang curves converge to the limit curves, $\mathrm{Yin}_{\infty}$ and $\mathrm{Yang}_{\infty}$ | TT6JM1MZF3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03728#C78A |
| The Yoneda lemma | RC0MSW13HR | statement | open | hott_book categories.tex#ct:yoneda |
| The Zariski-redundant case | R403Q75FMG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27204#3T41 |
| The zero-energy profile branch | TZPKPK1MYS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00241#PILH |
| The {\it as if} rule | 7V4JEN6A6A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2602.19452#ZSIF |
| THEHV00TZX | THEHV00TZX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.13184#WI7P |
| Theodor Kaluza | AWX0W331YN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q65346, nLab Theodor Kaluza |
| Theodore Frankel | SN690WDF1W | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7781782, nLab Theodore Frankel |
| Theodore James Courant | NDHWYE4ARV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7781851, nLab Theodore Courant |
| Theodoros of Cyrene | 4GC5FA6DAP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q712328, ProofWiki Mathematician:Theodorus_of_Cyrene |
| Theodosius of Bithynia | 48PJTNAWME | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1266186, ProofWiki Mathematician:Theodosius_of_Bithynia |
| Theon of Alexandria | YA6NB5W7MM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q354384, ProofWiki Mathematician:Theon_of_Alexandria |
| Theon of Smyrna | 5W6F45ZF9J | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q705950, ProofWiki Mathematician:Theon_of_Smyrna |
| Theorem | Y75K3AJXST | unknown | open | arXiv 2610.09206#KGJY |
| theorem | ZPA7K3HAR8 | definition | open | Wikidata Q65943, MathWorld Theorem, ProofWiki Definition:Theorem |
| Theorem $1$ | CS8B8V4S6W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.11107#0W59 |
| Theorem 1 \normalfont | QQKTSNJ85T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.05875#FEMA |
| Theorem 1 in , or | 8QC88Z51GY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21921#IIRM |
| Theorem 1(iii | J22TADY1T7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39845#81GB |
| Theorem 1, Corollary 5.2 | XEWBCD0YZH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25656#7Q71 |
| Theorem 1.1. | 5GJKD3E1BY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.39675#9X1B |
| Theorem 1.3 in , informal | EQ3RZQRVCN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.02468#RCW8 |
| Theorem 1.5.5 and Lemma 12.1.13 | WWSTY339HC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14839#2HE1 |
| Theorem 2.1 ; Theorem 1 | 3W53S960DF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32478#GOI2 |
| Theorem 2.2(i | FXQN7VP75T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.07114#T3FS |
| Theorem 2.4, Theorem 4.3 | ZNQSD25YC8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.22636#LZHO |
| Theorem 3.1 , Theorem 1 | PTPGCM319Q | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.06310#N13V |
| Theorem 4 in GHR | YFC810G1SX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16657#OM5V |
| Theorem 4.1 in and Theorem 4.8 | MH1THDPR5B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.05684#2JVR |
| Theorem 4.5, Corollary 5.1 | MRXGDHEJD1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11189#IFHZ |
| Theorem 5 of ; Theorem 2.1 | QZ76CNK9Y4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.14343#RIIB |
| Theorem 5.8 in , Section 2.2 | 3GTGBVNGFV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.09810#HDSF |
| Theorem 6.1.3 of , Theorem 1.1 of and Theorem 3 | YPMBFY5TJM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33442#SG3V |
| Theorem 7 in . | WNVJB2HGT9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32478#TES5 |
| Theorem 7.2 of *{Chapter IV | 580HJ4QWVJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37739#1Q1J |
| Theorem 8 of the author's preprint | ZCYKA2HM4G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18154#VRK7 |
| Theorem 8.3.C of Gromov , Theorem 60 of Mineyev | ZFEBM1A0BQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2009.11127#XZYY |
| Theorem \refthm:GAC | JNPQ7SEXSF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24553#69PH |
| Theorem B, parts \textup{(i)} and \textup{(iii | GZ0QN315XS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30999#IX5I |
| Theorem B, parts \textup{(i)}--\textup{(ii | X0KYHJ5MQY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30999#CIWV |
| Theorem D, parts \textup{(i)}--\textup{(ii | EBF9A0QSET | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30999#A74Y |
| theorem of Bertini | HSVXM8CNXQ | statement | open | mathlib_1000 Q7782345, Wikidata Q7782345, thousand_plus Q7782345, Wikipedia Bertini's theorem, EoM Bertini_theorems |
| theorem of holomorphic functions under integral domains | CMH13P48Z5 | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > theorem of holomorphic functions under integral domains |
| Theorem of the cube | 9D88EACZXH | statement | open | mathlib_1000 Q7782346, Wikidata Q7782346, thousand_plus Q7782346, Wikipedia Theorem of the cube |
| Theorem of the gnomon | HZCRBTXY5V | statement | open | mathlib_1000 Q61163749, Wikidata Q61163749, thousand_plus Q61163749, Wikipedia Theorem of the gnomon |
| theorem of the highest weight | A3DDZCTJ2C | statement | open | Wikidata Q56276831, MathWorld HighestWeightTheorem |
| Theorem of three moments | CVS5094B1Q | statement | open | mathlib_1000 Q7782348, Wikidata Q7782348, thousand_plus Q7782348, Wikipedia Theorem of three moments |
| theorem on friends and strangers | DT1JY1VBS5 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q837506, Wikidata Q837506, thousand_plus Q837506, Wikipedia Theorem on friends and strangers, ProofWiki Friendship_Theorem |
| theorem, Cantor's | 1A8CH4SGYH | concept | open | hott_book index/C.2/theorem-cantor-s |
| theorem, Conway's 0 | D88GD4SS2G | concept | open | hott_book index/B.6/theorem-conway-s-0 |
| theorem, Conway's simplicity | 8ZYTSEKZ59 | concept | open | hott_book index/B.6/theorem-conway-s-simplicity |
| theorem, Diaconescu's | RKDABRCWQ7 | concept | open | hott_book index/C.1.5/theorem-diaconescu-s |
| theorem, Feit--Thompson | 70AZZJWBAP | concept | open | hott_book index/u1.u5/theorem-feit-thompson |
| theorem, four-color | F8W65RXAJF | concept | open | hott_book index/u1.u6/theorem-four-color |
| theorem, Freudenthal suspension | B35NT2ZTFT | concept | open | hott_book index/7.6/theorem-freudenthal-suspension |
| theorem, Hedberg's | EZN8J4KAC0 | concept | open | hott_book index/6.2/theorem-hedberg-s |
| theorem, Hedberg's | RZT1Y26RV0 | concept | open | hott_book index/9.11/theorem-hedberg-s |
| theorem, odd-order | NSBPGP4KRD | concept | open | hott_book index/u1.u5/theorem-odd-order |
| theorem, Schroeder--Bernstein | S72FWPCNEV | concept | open | hott_book index/C.2/theorem-schroeder-bernstein |
| theorem, van Kampen | BNW03Q2XX3 | concept | open | hott_book index/7.7/theorem-van-kampen |
| theorem, van Kampen | S958Y2M84T | concept | open | hott_book index/2.9/theorem-van-kampen |
| theorem, Whitehead's | NJBSYQT1XF | concept | open | hott_book index/7.8/theorem-whitehead-s |
| Theorema Egregium | K3V08B0QZE | statement | open | mathlib_1000 Q1048874, Wikidata Q1048874, thousand_plus Q1048874, Wikipedia Gauss's Theorema Egregium, MathWorld GausssTheoremaEgregium, ProofWiki Theorema_Egregium |
| Theorems | 49DJTERX3C | definition | open | open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#defn-2 |
| Theorems | 4HKWXRJF0X | definition | open | open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#defn-1 |
| Theorems | 5EVHVXX643 | definition | open | open_logic content/first-order-logic/axiomatic-deduction/rules-and-proofs.tex#defn-4 |
| Theorems | 8J4MSJ3QTB | definition | open | open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-4 |
| Theorems | GST6EW45H3 | definition | open | open_logic content/many-valued-logic/sequent-calculus/rules-and-proofs.tex#defn-3 |
| Theorems | N49DGMVXDF | definition | open | open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#defn-1 |
| Theorems | QG3S5ZH13F | definition | open | open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#defn-1 |
| Theorems | XPP96KWFSZ | definition | open | open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#defn-1 |
| Theorems 1.19 and 1.26 , Theorems 1.4.7 and 1.4.8 | DKYZQNB00X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2505.04593#A4E4 |
| theoretical physics | 2E6ZQAVNKQ | definition | open | Wikidata Q18362, ProofWiki Definition:Theoretical_Physics |
| Theory and Applications of Categories | T8P687M2ZF | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q15755584, nLab Theory and Applications of Categories |
| theory of algebraic curves | 9JBPN5ZRTM | topic | open | Wikidata Q114682712 |
| theory of algebraic field extensions | BRHRY56MVY | topic | open | Wikidata Q114682716 |
| theory of algebraic numbers | W3XZXGFBYS | topic | open | Wikidata Q114498250 |
| theory of commutative rings | FM1METZMHC | topic | open | Wikidata Q114705197 |
| theory of computation | 9N21CWKEZC | unknown | open | Wikidata Q844718, EoM Algorithms,_theory_of, EoM Mathematical_theory_of_computation |
| theory of differentiable manifolds | H7SEF5GQ5G | topic | open | Wikidata Q114702107 |
| theory of differentiable maps between manifolds | JY9N760ZBD | topic | open | Wikidata Q114702083 |
| theory of eigenspaces | 4JGPKM8GQ5 | topic | open | Wikidata Q114702204 |
| theory of entire functions | VFGDCTN2WM | topic | open | Wikidata Q114703799 |
| theory of everything | WK14PBEZHR | unknown | open | Wikidata Q18359, nLab theory of everything |
| theory of finite fields | T879B76GAZ | topic | open | Wikidata Q114703089 |
| theory of graded commutative rings | YHDPF086BR | topic | open | Wikidata Q114704266 |
| theory of integral domains | 8VC36T6HDX | topic | open | Wikidata Q114705004 |
| theory of Krull dimension | J9KTDF9SMM | topic | open | Wikidata Q114705590 |