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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 101–200 of 29490.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| $\aleph_0$ is regular | 1VN5YRMMTC | example | open | napkin tex/set-theory/cardinal.tex#example-4 |
| $\aleph_1$ is regular | JNTQJN4RJV | example | open | napkin tex/set-theory/cardinal.tex#example-5 |
| $\aleph_\omega$ is not regular | 4STW1708D3 | example | open | napkin tex/set-theory/cardinal.tex#example-6 |
| $\alpha $-conversion | T81R14PB43 | concept | open | hott_book index/sec:formal-prelim/alpha-conversion |
| $\alpha \in \ol\ZZ$ $\iff$ {$\ZZ[\alpha]$} finitely generated | EWJ6R5CAXA | statement | open | napkin tex/alg-NT/norm-trace.tex#lem:alg_int_fg |
| $\alpha$-conversion, $\aconv$ | 7SXDNNT7MC | definition | open | open_logic content/lambda-calculus/syntax/alpha.tex#defn:aconv |
| $\alpha$-conversion, $\aconv$ | 875FSQ0FYT | definition | open | open_logic content/lambda-calculus/syntax/alpha.tex#defn-4 |
| $\alpha$-norm estimate | D88MF99EBX | 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.19273#LE41 |
| $\alpha$-quantum cone | 54MFD4M6YG | 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.10505#O64A |
| $\alpha$-Vaught's conjecture | ZT9C4NBVPE | 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 2610.09314#KGUS |
| $\alpha_j\equiv1$: empirical $\Omega$-regularized value iteration | 4GBK3PW1WG | 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#3QKH |
| $\alphad$-relative accuracy | EG3ZF49BDP | 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 2411.05198#Y96Q |
| $\alphad$-relative stationarity | A730628QYD | 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 2411.05198#W1XD |
| $\ast$-Ricci Characterization of ERP | 9NZ4EF5QDG | 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.34154#JU5O |
| $\bar\partial$-problem | CEZ2HFY0DG | concept | open | lebl_scv index/4.2/bar-partial-problem |
| $\beta $-reduction | 3M0FS3XJ2G | concept | open | hott_book index/A.5/beta-reduction |
| $\beta $-reduction | Z8JJW935JG | concept | open | hott_book index/A.2/beta-reduction |
| $\beta$-coefficient of a stationary Markov process | 5FZ4NWZFQ0 | 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.37944#8CXX |
| $\beta$-complete development | 7GA51B8QQ6 | definition | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#defn:bcd |
| $\beta$-contracting | Q07F3D3TKT | 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#V9X0 |
| $\beta$-contraction, $\bredone$ | KXQ5B0FPW5 | definition | open | open_logic content/lambda-calculus/syntax/beta.tex#defn:betacontr |
| $\beta$-echoing, strong echoing word | V0NNHGN0YE | 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.00856#CJND |
| $\beta$-equivalence, $\equal$ | APDN5EFKPH | definition | open | open_logic content/lambda-calculus/syntax/beta.tex#defn-2 |
| $\beta$-invariance of the sum rule | FE11A3ZG19 | 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.06631#MRT1 |
| $\beta$-mixing coefficient | D9AQ036TM0 | 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.37944#1Q90 |
| $\beta$-normal | 4648B2R93A | definition | open | open_logic content/lambda-calculus/syntax/beta.tex#defn-1 |
| $\beta$-reduction, $\bred$ | 45AE3GYX5Q | definition | open | open_logic content/lambda-calculus/syntax/beta.tex#defn:betared |
| $\beta$-sieve weights | RRJ0Z096C3 | 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.30207#V4Z4 |
| $\beta(n,k)$ | 6TEDW1GJQN | 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.12484#SAV6 |
| $\beta\eta$-complete development | 3G8MN8X7YM | definition | open | open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#defn:becd |
| $\beta\eta$-reduction, $\bered$ | S3A0H3AGDJ | definition | open | open_logic content/lambda-calculus/syntax/eta.tex#defn:bered |
| $\beta^2\rho(\mathbf M) < 1$ for $\beta < 1$ | G8E53G2EJ9 | 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.30590#FM64 |
| $\bf m$-stability and convexity | TSM9KBBCVN | 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 2210.06147#PMPA |
| $\bKU_G$ as a telescopic localization | AJ5CQPZB3F | 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#QNVW |
| $\bLambda$-weighted forward movement bound | FZCRBPT04A | 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#VVNS |
| $\bLambda$-weighted score perturbation, $\kappa$-dependent version | C57AMPS5A0 | 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#KIKE |
| $\bot$ Inversion | 8MQJFQYJT2 | 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#5VL1 |
| $\bT$-factor | 7EZTTED5H6 | 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.12326#4XFE |
| $\bx$-iterate stability | 69PX5NCG6E | 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 2411.07061#U6GG |
| $\C$-transfer system | B28HCACVJD | 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 2401.13523#UPC4 |
| $\C(X)$-partial fraction decomposition | YAQKSVMXH0 | unknown | open | mathlib_undergrad Ring Theory > Field Theory > $\C(X)$-partial fraction decomposition |
| $\cA_k$-distance from CDF error | 354E5H7S9B | 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.21033#54XK |
| $\cA_k$-norm | VCK369Q2VP | 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.21033#ZVN1 |
| $\CC$ is contractible | EBENVBPJDD | example | open | napkin tex/topology/fundamental-group.tex#example-6 |
| $\cC^0$ estimates | F7N0F1HMHQ | 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.06529#YTCK |
| $\cC^1$ estimates | CDCW6HG0YC | 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.06529#QCPX |
| $\cC^2$ estimates | H7975EFRP2 | 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.06529#8B35 |
| $\cC^{2,\alpha}$ \textit{a priori} estimates | Y32QJDPH0N | 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.06529#IJOL |
| $\chi$-optimal | WZ1X89292Z | 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.09422#STX2 |
| $\chi^2$ contraction bound; adapted Lemma 12 | R8CFCJTDA0 | 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.36016#5S8J |
| $\chi^2$ control by Hellinger | TCGKAJHKEK | 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.07190#D6LE |
| $\code{18}{4}{4}$: component is not shape | ZX8CY9VYK6 | 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.39395#50HH |
| $\cos\beta=1/3$, second outward family | TD8H016NS8 | 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.21408#3HWC |
| $\cos\beta=1/5$, second inward family | CQD4N6Q9RS | 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.21408#U9D8 |
| $\cS$-independence | EMB7DNZZQQ | 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 1711.00219#UB8M |
| $\cW_\alpha$-Initialization | F3AWPY3RAJ | 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 2006.05158#CESL |
| $\cW_\beta$-Initialization | QGSVTAGZ76 | 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 2006.05158#94P6 |
| $\cW_j$-Extension | HV8ZSQZAY3 | 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 2006.05158#2L7S |
| $\cZ_\gamma$-Initialization | QJ6E2Y1BT1 | 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 2006.05158#C0ZH |
| $\cZ_j$-Extension | 29WGWS8QXP | 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 2006.05158#7TIA |
| $\delta (\varphi \ast V)$ bounded | 5N3QEXDJ1X | 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.24451#BYQ7 |
| $\delta$ with cup products | C3R81MWQ8P | statement | open | napkin tex/homology/cup-product.tex#lemma-2 |
| $\delta$-annular region | WGG29QYEE4 | 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.26592#SREN |
| $\delta$-Completeness | C7XD5PYFTR | 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.08233#II1E |
| $\delta$-hyperbolic space | 34SJD7R8XW | 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#02XP |
| $\delta$-perturbations | BRPD9NZPFY | 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 2506.08233#NEL3 |
| $\delta$-regularization | B543GDR1B4 | 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.12544#ZZOO |
| $\delta$-Reliability | CMN48KFBMG | 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#3TPN |
| $\delta$-smooth numbers | TEB388DWB0 | 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.00843#8IMS |
| $\Delta^k$-constant | 3Q9JM83B3Q | concept | open | levin_dmoi index/3.3/delta-k-constant |
| $\Delta_2$-growth condition | RRZX210X0S | 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#DRWE |
| $\dot H^{-1}$ bound | 5VBF5ER2YE | 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.20106#EK8V |
| $\dot H^{\ndmu}$ estimates | TQZ6W9QE72 | 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.00407#8407 |
| $\dot{\rho}$ equation | BCVR29S4CK | 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.08434#0Z40 |
| $\dot{f}$ equation | ZWTKTYY96R | 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.08434#LAXA |
| $\ell$-bottleneck property | X0X4B6J8QE | 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.37589#OLRI |
| $\ell_1$ product | EFB0C35Y6G | 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.26262#HD1Y |
| $\ell_4$-isometric unitary is monomial | A5XZ59F3GR | 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.21653#TTLP |
| $\ell_p$ regression | K6KCV5SR2N | 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.32977#Q2ZJ |
| $\ell_{0-1}$ loss | CCY4GS064K | 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.11388#7TB1 |
| $\ep$-stability inequality | AAKAZ80TQ1 | 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.04833#O872 |
| $\eps$-enclosures | 2CX2QMSMTM | 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 2506.08233#L82N |
| $\eps$-enclosures are provable | PPGJ3629R0 | 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.08233#4DTH |
| $\eps$-optimality | MBC43FTKAZ | 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.06755#6PBR |
| $\epsilon$-accuracy and sample complexity | 7YRMJCFSG6 | 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.39837#OMJJ |
| $\epsilon$-floor-wrapped regularization | GCJY6MJNJH | 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.14988#JPJM |
| $\epsilon$-floored simplex | QYKDNH9049 | 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.14988#S7JH |
| $\epsilon$-net argument | A1G8NG6ZPF | 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.22338#EQKS |
| $\epsilon$-net argument for the minimum eigenvalue | AX76NSN26Y | 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.22338#HN77 |
| $\epsilon$-net argument for the operator norm | NY7PMBTHV2 | 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.22338#E5QN |
| $\epsilon_n$-typical graphs | HK5DTZJADP | 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.33704#BRZG |
| $\errtol$-maximal feasible set | 1SCZZMZ6VZ | 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.38132#X0DB |
| $\eta $-expansion | 6J2J6BTWE8 | concept | open | hott_book index/A.5/eta-expansion |
| $\eta $-expansion | P0GVV8NYHC | concept | open | hott_book index/A.2/eta-expansion |
| $\eta$-contraction, $\eredone$ | 4DA0T61G18 | definition | open | open_logic content/lambda-calculus/syntax/eta.tex#defn:beredone |
| $\exch$-independence | PJ4TY5SSDQ | 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 1711.00219#QE4R |
| $\exists$ Elimination | F9HAVPR9F7 | 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#66CM |
| $\forall$ Inversion | R3CTPCDVYF | 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#HEG3 |
| $\frac52\ZZ$ is a fractional ideal | 6HJRKWA8EB | example | open | napkin tex/alg-NT/dedekind.tex#example-5 |
| $\Gamma$ is well defined | SS61BGAXP3 | 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.20478#6SNP |