Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 201–300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| $\infty$-Mapping class group | 3JMR7X9Q59 | 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.03865#QWXA |
| $\Irr(G)=\Irr(P_1)\otimes\cdots\otimes\Irr(P_r)$ | 4Z166G4FMN | 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.13429#9JBQ |
| $\kappa$-comparison angle | 238KZAC6AV | 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.17909#95IR |
| $\kappa$-domain | MK5F6ENHS2 | 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.17909#PYWC |
| $\kappa$-fellow traveling radius | 6RYJ630JJ7 | 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.25468#4WFY |
| $\kappa$-Hurewicz Conjecture | Y3T45SJSVF | conjecture | 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.33856#IAUN |
| $\kappa$-Morse boundary | 6E963P7FQ6 | 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.25468#FHPF |
| $\kappa$-Morse subsets | TC94HMH261 | 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.25468#BU5M |
| $\kappa$-neighborhood | G22WH2Q25X | 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.25468#YOOL |
| $\kappa$-ranges | EDTVZKCRPR | 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.11911#7FP3 |
| $\kappa$-small tangent complex | CVM94CSENV | 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.20801#UX3L |
| $\kappa\to0$ limit | 55NRK1HA5F | 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.06873#Z224 |
| $\lambda$-abstraction | 2ZSRW28FGQ | concept | open | hott_book index/4.1/lambda-abstraction |
| $\lambda$-abstraction | HESNJJQSFA | concept | open | hott_book index/A.10/lambda-abstraction |
| $\lambda$-abstraction | T27QHG9DKB | concept | open | hott_book index/A.2/lambda-abstraction |
| $\lambda$-abstraction | VRGNMSFZ6G | concept | open | hott_book index/A.4/lambda-abstraction |
| $\lambda$-abstraction | WFG50ZNJJH | concept | open | hott_book index/A.11/lambda-abstraction |
| $\lambda$-calculus | QVZQNCPH51 | concept | open | hott_book index/u1.u1/lambda-calculus |
| $\lambda$-Diophantine type | DF75F5KTQH | 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.15700#HZ7A |
| $\lambda$-flows | DNJHDAHDEB | 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.11034#MAQY |
| $\Lambda$-minimality | WG97C2NABS | 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.15088#6P36 |
| $\Lambda$-minimizer | DY5H6CZVW2 | 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.18673#T5TM |
| $\lambda$-regularity | B9824DHAJ8 | 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.28181#4KQE |
| $\lambda$-regularity | BEZGAK0YMZ | 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.25388#4R6W |
| $\lambda_0$-recurrence, $\lambda_0$-positive recurrence and $\lambda_0$-null recurrence | R8ZFEWPETH | 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.29326#LTPK |
| $\Log{LK}$ !!{derivation} | HYMX2TJZWY | definition | open | open_logic content/first-order-logic/sequent-calculus/derivations.tex#defn-1 |
| $\Lop$-compatible measurements | 6BN5JQ8MPC | 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.14920#5YMU |
| $\mathbb {RP}^2$ | SBYWHJHPKM | example | open | napkin tex/topology/cover-project.tex#example-9 |
| $\mathbb{Q}$-pseudomanifold | ZJ7DBM7DEK | 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 2507.12309#R8F7 |
| $\mathbf m$-transform of $f$ | ZQNGR1S7TE | 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 2210.06147#BPLB |
| $\mathbf{y}$-trace formula | V9N85Y0Q8Y | 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.12326#Z5E8 |
| $\mathcal B$-equivariant channel | HGFHFEEBVM | 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.25987#2N9W |
| $\mathcal C$ maps geodesics to geodesics | 3429ZBS88M | 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.15180#TS29 |
| $\mathcal Z$-contraction | RV78DQH2VH | 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.10546#WA19 |
| $\mathcal{C}^1$ case: an exact averaged kernel | X2WGNMSG6C | 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#NU6L |
| $\mathcal{D}_{\mathcal{RS}}$-non-private heterogeneous scheme | HW7EMH1ATA | 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.13914#IO0V |
| $\mathcal{HS}_0^r(\mathbb{R}^n)$ is path-connected | H7NVQKEN5K | 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.05626#GIOV |
| $\mathcal{L}$-general model | 1QG7GHQ62M | 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.36279#VCS7 |
| $\mathcal{T}$-entropy-adapted | KW0KHJSXBF | 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.21872#F7MK |
| $\mathcal{V}$-paths (Forman | 2H0666PFFS | 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.01937#KJ14 |
| $\mathcal{Z}$-ample characters, Definition 5.1.1 | CTCE5KMC4E | 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.33808#9NZT |
| $\mathfrak{g}$-module | HPHZNNRXFS | 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.12489#A2X3 |
| $\mathrm{QMA}$ | FQA97E563W | 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.26769#4JWO |
| $\mathrm{SO}(3)$ | ENB3M8F7Y3 | 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.24777#7LP4 |
| $\mathrm{SU}(2)$ | 9G9XAGZH0V | 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.24777#Z19B |
| $\mathrm{t}$-structure | J50Q1T0Y3Z | 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.03865#1M8W |
| $\mathrm{ZF}+\mathrm{AD}$ | E7RDS8R7N1 | 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.16059#FSGL |
| $\mathrm{ZF}+\mathrm{AD}$; comeager uniformization | 40MZ9Y1E1E | 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.16059#1I1X |
| $\mathrm{ZF}^2$ | AYDW414V8W | 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.32338#JAD0 |
| $\mathsf{FPRAS}$ | BVSCG2XQNG | 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.06724#Q1R8 |
| $\mathsf{FPRAS}$ for Log-Concave Subset Convolution | 7BEEC2K1C3 | 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.06724#TK9A |
| $\mathsf{H}$-solution | KSQQE555XF | 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.04870#ZW02 |
| $\ms{KAO}_\infty \Rightarrow \ms{KD}$ | KY08F5WRW6 | 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.36334#LXEI |
| $\ms{KXO}_\tau \wedge \ms{KOS} \Rightarrow \ms{KSD}$ | C41DJ507E8 | 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.36334#KX5X |
| $\ms{KXO}_\tau \wedge \ms{KOS} \wedge Z_1 \text{ invariance}\Rightarrow \ms{KED}$ | E4BJRPE0VY | 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.36334#U134 |
| $\mu$ Elimination | RM1B3FQ8SF | 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 2506.16491#P95K |
| $\nu_B$ is optimal up to $\theta$ | 6F2B881RNS | 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.32558#ZGFS |
| $\omega$- and $H^\infty$-functional calculus | GW71YZYF44 | 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.26382#ISE2 |
| $\omega$-limit structure at $q_c$ | P6YRP60A99 | 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.02751#XC8C |
| $\omega^\omega$ is countable | DYEPB5SDPE | example | open | napkin tex/set-theory/cardinal.tex#example-2 |
| $\OO_K$ integrally closed and Noetherian | NR2TVF68QP | statement | open | napkin tex/alg-NT/dedekind.tex#proposition-2 |
| $\OO_K$ is a free $\ZZ$-module of rank $n$ | VRP6RXP76G | statement | open | napkin tex/alg-NT/norm-trace.tex#thm:OK_free_Z_module |
| $\Op B=\Op D^\ast\Op D$ on $\Spc S(\R)$ | F07BPPQNSF | 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.14906#8QFA |
| $\Op L=(-\Delta)^{\gamma/2}$ on $\Spc S(\R^d)$ | 3A0PC07AJ5 | 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.14906#O2XY |
| $\Op L=P(\Op D)$ on $\Spc S(\R)$ | C8Y2B83S9J | 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.14906#CSVK |
| $\PGL(2,q)$, $\PpGL(2,q)$ | YW6RGXM7NA | 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#XRIF |
| $\Phi$-function | B15TTMH0R8 | 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.26645#C2LW |
| $\phi$-pushforward | CR3ZR9V3A3 | 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.15099#BSFF |
| $\phi$-weighted $\tau$-variation, cf.\ | YDRW56TWZ9 | 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.24451#7UDI |
| $\pi = 0$ on the ladder | ANJBCDZ70W | 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#GEKF |
| $\Pi$ preserves finite products | 12JAZJV8MM | 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.26270#F1F2 |
| $\Pi\mathsfW$-pretopos | 1ZFV3KGB2X | concept | open | hott_book index/C.1.4/pi-mathsfw-pretopos |
| $\pi_\star^G(\bKU_G)$ as an $RO(G)$-graded localization | Z58JD8TMP2 | 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.21675#XALK |
| $\pi_n(S^m)$ is trivial when $n < m$ | TWZSP6BVP6 | example | open | napkin tex/topology/fundamental-group.tex#example-4 |
| $\pi_n(S^n) \cong \mathbb Z$ | XV00XEH48A | example | open | napkin tex/topology/fundamental-group.tex#example-3 |
| $\PLS$-reduction | 5KNNJP9XFV | 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 2509.16898#BDD5 |
| $\PrPf(\Xcal)$ is a sample-smooth space | 9ACESWMHQ6 | 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.26270#YK7K |
| $\psi_{R, j}$ properties | JTQSNJ89Y6 | 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.28454#CWZW |
| $\PSL(2,q)$: three-point stabilizers | M1YH80WBYQ | 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#5N3O |
| $\QUS$ is a quasitopos | F1RZMSVXKM | 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.26270#U9MX |
| $\R(X)$-partial fraction decomposition | D2ZHX0CAME | unknown | open | mathlib_undergrad Ring Theory > Field Theory > $\R(X)$-partial fraction decomposition |
| $\R^n$ and $\pt$ are retracts | B51AKDSPS9 | 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.26270#QCAU |
| $\rho$-sequence | S5C2EKXTFC | 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.03231#QRIG |
| $\rho^*_\Omega$ is the optimal regularized gain | 6DKGRZ19YR | 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#SVTF |
| $\RP^n$ as a cell complex | BDFMNPXD8J | example | open | napkin tex/topology/constructions.tex#example-9 |
| $\RR \to S^1$ is regular | VDZG9V1TAG | example | open | napkin tex/topology/cover-project.tex#example-7 |
| $\RR^2$ | HKATXEDR1Z | example | open | napkin tex/topology/metric-top.tex#example-13 |
| $\RR^n$ and $\CC^n$ are normed vector spaces | FX7AJQ65JV | example | open | napkin tex/linalg/inner-form.tex#example-3 |
| $\RR^n$ and $\CC^n$ have standard bases | GTPEVJ05PF | example | open | napkin tex/linalg/inner-form.tex#example-4 |
| $\sh{T}(0)-$MTS-algebra | RWHY7K83X3 | 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.26896#HHPY |
| $\sigma$-additive | Z1VB65WXEV | concept | open | lebl_scv index/E.1/sigma-additive |
| $\sigma$-algebra | FT00Q1888G | concept | open | lebl_scv index/E.1/sigma-algebra |
| $\sigma$-explicit active error, Gaussian case | QZ78WQHYGA | 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.10640#MMEX |
| $\sigma$-finite | Q8FH13GNMP | concept | open | lebl_scv index/E.1/sigma-finite |
| $\sigma$-frame, initial | YHQVMQTBG7 | concept | open | hott_book index/B.2/sigma-frame-initial |
| $\sigma$-frame, initial | ZTNCNRXYMB | concept | open | hott_book index/B.4/sigma-frame-initial |
| $\sigma$-secure on average (against passive adversary | 1Y613X3BSC | 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.24994#5O6J |
| $\sigma$-small Koszul duality adjunction | FQSBKDZ3ZR | 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.20801#I9NR |
| $\sig{2k,1,1}$ is path-only | 112F9F01J3 | 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.01240#MDT3 |
| $\sim$ sees all arities | QNY7V1X2E7 | 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.26270#H4TK |