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 2601–2700 of 5819.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| The nonexceptional kernel | WXFM19FM7D | 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.33365#TID0 |
| The nonintegral parameters | S1YTY6E3FN | 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.10017#14E6 |
| The nonlinear remainder for coefficients with half a derivative | TKG6JYEJNN | 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.13753#S97Q |
| The nonlinear remainder on propagation cones | J0K4PEA001 | 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.13753#IHD7 |
| The nonlocal switching semigroup | F3H4BP0XBS | 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.32585#9MW0 |
| The nonperturbative ambiguity does not amplify | 1V54N44H7Z | 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.29605#QX7E |
| The nonsensitive-block criterion for \(Q_{6,1}\ | FTZA6V29ZC | 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.17100#F1NF |
| The norm estimate for the ambient quotient | ZEERKTXR35 | 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#I4PK |
| the normal endpoint criterion | JBNEFQ13W4 | 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.27458#CQ6B |
| The normal operator on the totally geodesic $S^5$ | F03D8YE6AB | 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#X3NY |
| The normalised positive definite case | R27H5ZHBZR | 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.07404#K47J |
| The normalization credit | V0P2EG8GVQ | 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.16069#FGZ3 |
| The normalized criterion | YBCJR5QX7Y | 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.05164#ZZ5D |
| The normalized level | H8AVNH0ZVM | 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.02933#4F1Q |
| The Number of Platonic Solids | W1V33GPS2C | statement | open | mathlib_100 50 |
| The Number of Subsets of a Set | BRT71WYYQE | statement | open | mathlib_100 52, Mathlib Finset.card_powerset |
| The object of measures | CGFNZW7VRG | definition | 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.26270#EHTR |
| The obstacle is minimal at the origin | DPTVAT7XWE | 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.06490#RH6P |
| The obstruction at $\omega_1^{L[r]}=\omega_1$ | ETH14DWB8X | 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.14548#7IFW |
| The obstruction in top particle weight | SBE3DD05WY | 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.04305#VL1B |
| The octahedral axiom $(\mathrm{ET4})$ | D6740204G7 | 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.00135#VKI5 |
| The odd-$d=3$ unitary case: closed forms | QR67SB8YHQ | 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.15340#C6EH |
| The off-diagonal estimate | M89MBFH9DY | 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.24739#5I4U |
| The offset-controller potential | 6SB693DBG4 | 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.15202#GSCK |
| The old generator in a larger interval | H4GRSJ6Y9Z | 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 2609.39293#RXYT |
| The One-Dimensional Dirichlet Problem | 6C41TSFAYC | 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.13222#G5IF |
| The one-step branch | R1ED4TVP4E | 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.37479#WLA6 |
| The online SBP threshold | 3V2A0QXTE9 | 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.00103#7U9E |
| The only possible normalized escape | 1ZF7R9V2CF | 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.18788#M90U |
| The Open Network | Z0MVHR88H7 | unknown | open | Wikidata Q53252126, nLab Telegram Open Network |
| The operator $\Gamma$ | BC67N1BCJR | 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.08764#YSPA |
| The operator $\sL$ | TWA2Z2EYQF | 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.25762#1A93 |
| The opposite affine CFO | FW1826SVH1 | 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.28220#R7YA |
| The opposite base | MVQE2ESPH1 | 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 2609.39615#57L3 |
| The opposite sign in the reduced problem | TB74FY4N5B | 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.02790#3937 |
| The oracle weights exhaust the disagreement | KASNW95B72 | 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.04671#TPT8 |
| The order of $\Gamma$ | QPARBZ991X | 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.04164#FL75 |
| The order of idealization matters | 4WXEN3VEBA | 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.11002#09FA |
| The order-two criterion | HA5QYDM45H | 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.00259#EFUY |
| The ordinary flag neighborhood | W35XCJREBY | 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.33808#38US |
| the ordinary pattern $P_n$ | R14B8DSY53 | definition | 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.01753#HNBG |
| The ordinary-sheaf unbounded axiom | QSZ034DSS9 | 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 2609.28220#W1BI |
| The original Sherrington--Kirkpatrick model | H904XHSF2Y | 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.06480#7E15 |
| The orthogonal endpoint | P75KJ9A66V | 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.25762#Q9SQ |
| The oscillatory escape: the dichotomy fails under lacunary anchor concentration | JJEMY9VWC8 | 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.00295#J2RX |
| The overgroup $HS.2$ on 176 points | MJ1V0QWDZC | 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.15340#D957 |
| The pair inequality | SG52J9EHJH | 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.25120#E19P |
| The pair matrix has full rank | HEGTJ6BZ0M | 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.09206#WYEZ |
| The panel factorisation is the common bottleneck | 1XC9ZTTAAM | unknown | open | arXiv 2609.29554#R7VI |
| The Paradoxes of the Infinite | 9B0TJ3TT1G | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q7756075, ProofWiki Book:Bernhard_Bolzano/Paradoxien_des_Unendlichen |
| The Parisi functional on step coefficients | ZQGMH0Z645 | 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.06490#U048 |
| The parity of $E_{LL}$ | JSFJDF387D | 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#5P0Y |
| The partial category $\mathbf{HK}^{\text{pre}}$ | PKQV1P3FED | definition | 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.03384#9RY5 |
| The Partial Category of Complex Hamiltonian Spaces | C1XHAA56ST | definition | 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.03384#LSBT |
| The partial ordering of divisors | JVJM8EX129 | definition | open | napkin tex/riemann-surface/riemann-roch.tex#definition-5 |
| The participation asymmetry is derived | ZQBV2NT9Z3 | 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.00902#WKH5 |
| The partition | R2XFKJF1VM | definition | 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.14217#THZL |
| The path $P_4$ | 7GH3WR95CW | 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.21454#ZB4U |
| the pattern $H_n$ | 4QT6WFWPDN | definition | 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.01753#F9JT |
| The peel and a modulus | RFD0YS7DMC | 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.26196#EVOM |
| The peer replays the first Move | T0MAJDCKNG | 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.17677#9K79 |
| the pentagon | WH6YF426D6 | 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.20775#VK5L |
| the pentagon conjecture | B51E9BSPCQ | 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.20775#P421 |
| the per-torsor bound | FQBDMY6M7K | 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#A5TL |
| The perfect kernel of the full shadow | CM4ES0ZP78 | 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.09602#L0LT |
| The Perfect Number Theorem | BJ9RZ2D7BP | statement | node (a node has the same name as the row) | mathlib_100 70, Mathlib Theorems100.Nat.eq_two_pow_mul_prime_mersenne_of_even_perfect, mathlib_1000 Q18206266, Wikidata Q18206266, thousand_plus Q18206266, Wikipedia Euclid–Euler theorem |
| The period encoded by the state | F90E5F6Y5Y | 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.13365#EM0Z |
| The period map before perfectoidness | E7FCY85FQ6 | 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.33808#00PF |
| the permutohedron and the braid matroid | 8G23FQFQBS | 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 2609.24917#GTIQ |
| The perturbed models | H4134PTZ10 | 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.06490#17PR |
| The perturbed terminal | 5BFMGVEFTX | 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.06490#E30Q |
| The perturbing field | MB816HYD92 | 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.06490#4BJO |
| The Phenomenology of Spirit | 6A4ZFE7A3S | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q877510, nLab Phenomenology of Spirit |
| The Pi\ neiro moment-shift rectangle | AKCVZ4B68Q | 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.26066#TDIL |
| The pipeline produces the run-structure level matrix | YEBJEAJ6S9 | 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#8NUS |
| The planar closing mismatch | NQH6BM4W9N | 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.38041#4E4N |
| The planning solution is a restriction | V2KC7KEA29 | 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.14988#6FSD |
| The plateau acts through its first moment | F41FNY22F0 | 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.06480#O644 |
| The Poincar\'e-Bendixson Theorem | 151J9EPD6Z | 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.06152#FIP2 |
| The pointed hyperelliptic curve | YVV18C08EG | 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.21093#7T0W |
| The pointed-core test | 2SW627W90Q | 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.00490#0W7O |
| The pointwise stabilizer of \(E(G)\ | PPN032D8K1 | 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.14135#LP8P |
| The polytope of $\KMS_1$ states | F3FN68XC1F | 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.30544#SN0F |
| The Pontryagin ring of $\loops K$ | YM4BX77FC5 | 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.04164#TQ6B |
| The pooled limit | 5V9BH4R89C | 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.09602#4KWX |
| The positive cubic root | EG3T76GXAE | 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.05164#JVMP |
| The positive vacuum of every word: the propagated eigenvector | 7AQBTN41B5 | 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#D0N5 |
| The positive-curvature kernel obstruction | 6GVG81WDCE | 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.25762#1EQ6 |
| The positivity of the approximations | AQEGZ8DD5H | 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.29567#9A6J |
| The positivity of the approximations | F9CNE8SG3Z | 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.29567#KV6Z |
| The potential does not depend on the multipliers | 982D9TFDD4 | 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.27966#K5MS |
| The power map $x \mapsto x^{D}$ | 7Q1PBQZBAR | 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.07905#M8NE |
| The pre-Bott classes | SRMHFZ7YWS | definition | 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.21675#VZFX |
| The presymplectic form generates no charge | Y3K4EGZTK9 | 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.27966#09RJ |
| The price of a long horizon | GZWGKFSM6E | 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.06653#4AE0 |
| The price of symmetry at quadratic dimension | VMJA0FVTCE | 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.30663#BEC9 |
| The primary image in every fine degree | AKM0H7R4YM | 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.20649#0Q2K |
| the prime-to-$p$ tail | B5XZ1C40T0 | 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#QBNT |
| The Principle of Mathematical Induction | Y06V3AEBBF | statement | open | mathlib_100 74, Mathlib Nat, mathlib_overview General algebra > Numbers > natural number, mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > recurrent sequences |
| The principle of unique choice | Z59P9SKHM8 | statement | open | hott_book logic.tex#cor:UC |