Inventory: N
The rows of the inventory whose names start with N. 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 2301–2400 of 3888.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| NNG8YSPRC4 | NNG8YSPRC4 | 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.29022#X6RY |
| NNGJ2JF05F | NNGJ2JF05F | 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.16431#PU6T |
| NNGPR4G1SZ | NNGPR4G1SZ | 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.32903#0N6W |
| NNH7K3SZJN | NNH7K3SZJN | 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.28985#6R19 |
| NNJ6VPSC17 | NNJ6VPSC17 | 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 2401.05118#V7MV |
| NNJN1Q4Z4Y | NNJN1Q4Z4Y | 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 2406.13841#XJ4Q |
| NNJR4D7VPR | NNJR4D7VPR | 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.16580#ONGD |
| NNK07FBY24 | NNK07FBY24 | 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 2412.20238#JFRZ |
| NNKAQ677G4 | NNKAQ677G4 | 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.07631#GC6Q |
| NNKNVCNTT7 | NNKNVCNTT7 | 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.08193#4AS0 |
| NNM66K6E4G | NNM66K6E4G | 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.17698#3HSW |
| NNMAEHC9Z0 | NNMAEHC9Z0 | 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.40207#937U |
| NNMDHA53WQ | NNMDHA53WQ | 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#KEK0 |
| NNMEY9PQD5 | NNMEY9PQD5 | 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.27136#KRH9 |
| NNNPW93G23 | NNNPW93G23 | 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.06338#XMZG |
| NNNYK21820 | NNNYK21820 | 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.29531#BS3O |
| NNPB291BQZ | NNPB291BQZ | 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 2207.07461#L158 |
| NNQ7KMKEA6 | NNQ7KMKEA6 | 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.34295#UJ97 |
| NNQGWSSVBB | NNQGWSSVBB | 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 2509.16898#CZ0Y |
| NNQWJJMSJQ | NNQWJJMSJQ | 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.37967#BNBV |
| NNQXQPBEM2 | NNQXQPBEM2 | proof | open | hott_book equivalences.tex#proof-20 |
| NNRVD2NAJY | NNRVD2NAJY | 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.07718#D5J8 |
| NNS16NTV1S | NNS16NTV1S | 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.11902#Y3Y8 |
| NNS95WJ34E | NNS95WJ34E | 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 2212.01916#TTXH |
| NNSTPBSC9A | NNSTPBSC9A | 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 2303.00676#8L7G |
| NNSY9B7WJ3 | NNSY9B7WJ3 | 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.01888#82SG |
| NNT10JHDNX | NNT10JHDNX | 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.30285#IXX6 |
| NNT2YQMMA4 | NNT2YQMMA4 | 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.36332#HP0V |
| NNT5GXHAEZ | NNT5GXHAEZ | definition | open | open_logic content/sets-functions-relations/relations/operations.tex#relationoperations |
| NNT9GXFAZX | NNT9GXFAZX | 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.21635#BV39 |
| NNTKNRC778 | NNTKNRC778 | 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.09809#OYM3 |
| NNTQEM8W6C | NNTQEM8W6C | 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.25345#UWIK |
| NNV1GCQPP9 | NNV1GCQPP9 | 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.05391#WNTY |
| NNV8WQFACH | NNV8WQFACH | 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.22074#TVSK |
| NNVACYMQH6 | NNVACYMQH6 | proof | open | open_logic content/second-order-logic/metatheory/compactness.tex#proof-1 |
| NNVTQDWM6T | NNVTQDWM6T | 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.04600#AES1 |
| NNVZF84F29 | NNVZF84F29 | 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#ZNZR |
| NNWF2APHJ7 | NNWF2APHJ7 | 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 2212.06253#VSQE |
| NNWPK9RQMG | NNWPK9RQMG | 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 alg-geom/9506022#ORMD |
| NNWRSC4QYM | NNWRSC4QYM | 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.30664#5LSX |
| NNWYCKBTWN | NNWYCKBTWN | exercise | open | lebl_ra ch-approximate.tex#exercise-50 |
| NNXMHQSFA1 | NNXMHQSFA1 | 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.10964#L6K6 |
| NNYKPQ5B79 | NNYKPQ5B79 | 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.16010#TJI5 |
| NNYS7X6WPA | NNYS7X6WPA | 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.31604#99HP |
| NNZ52N01TD | NNZ52N01TD | 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.13817#RRBY |
| NNZPFW40ZA | NNZPFW40ZA | 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 2501.18744#OSSK |
| No $\theta$-uniform KL dual | GZ49023Y7V | 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.27250#YLGP |
| No accumulation of threshold contacts | 499YJYZ28B | 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.00033#BYUX |
| No ACFAA | YHRCHXB7S5 | 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.40251#D42E |
| No additive path normalization at the limiting center | PCAVJZPW51 | 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.01391#RBNK |
| No attraction into an invariant sector | NK2Z24X9BX | 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.14081#OZGX |
| No bounded PACA | 42NVPB8N59 | 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.40251#60RQ |
| No bounded-orbit wandering domains | 4XH396ZF63 | 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.30103#AXJ1 |
| No boundedness for $\ell^p$-regular potentials | ME8JW9ZVM2 | 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 2204.09167#SU9K |
| No capped-budget universal exactness | 4CD42C5FDB | 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.31607#WW88 |
| No challenge-space amplification | NBVCKPFQNA | 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.26258#NKEP |
| No cheap rotation at angle $\sqrt\delta$ | ZV9FNKPTE4 | 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.37368#EB4E |
| No common approximate minimizer | YXHW8FJ8FX | 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.35418#GUER |
| No concentration at a contact scale | ZW6WRBMNCB | 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.00337#G112 |
| No contractive first coordinate projection | VMXFQWZN52 | 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.18709#06AR |
| No cubic obstruction for the conifold interval | 9X1MH9EYHJ | 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.27799#2KV3 |
| No decreasing wall columns | YW6TN7M5VA | 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.28892#GM98 |
| no diagonal edges | Z603MX7BS6 | 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.02743#H0RA |
| No dimension reduction, $m=d$ | 3NTQETWPA0 | 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.19208#J546 |
| No endpoint-regular reference | JCCBBRVGDX | 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.27250#GCID |
| No escape | QG66WXC20Z | 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#GPO8 |
| No escape | XZFEF718SR | 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#J6IR |
| No exponent yields a nonzero deterministic polynomial kernel | 1YKVTK2P8C | 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.04357#6LVU |
| No extreme points | F36K0Y0WPS | 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 2606.21391#9JP0 |
| No fiber component | P4TDPV4BXQ | 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#U3G3 |
| No finite upper confidence bound without a moment bound | M6KDR9BKEY | 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#Q40Y |
| No finitely atomic measures | VAR4K8TBS8 | 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 2606.21391#ZO8V |
| No fixed points where one loop dominates | 3FG9B7K03Q | 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#IFKH |
| No fixed probabilistic test | DRHBGBNY0B | 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.32078#DIS5 |
| No free lunch theorem | 7TBZ2M3B7C | statement | open | mathlib_1000 Q7045226, Wikidata Q7045226, thousand_plus Q7045226, Wikipedia No free lunch theorem |
| No free lunch under compositional axioms | FN90GAK504 | 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.25039#PABS |
| No gaps between contacts below $K$ | C89AEHKFC9 | 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#J9RJ |
| No gaps near the origin | Q97CFMX83K | 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#AEFY |
| No genuine interior mean critical point | KRDS7CX8M8 | 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.24931#1UNR |
| No greatest element in type $E_8$ | PFK5YQ3H9V | 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.16931#C79W |
| No hidden subset joint-extreme cone under interior support | 4AHXXSF785 | 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.29658#INAG |
| No information ex nihilo | 5EQ4TYZ2KT | 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.34458#REG4 |
| No insertion for $3\le n\le7$ | Q8MFYBQEPZ | 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.13972#W9ER |
| no island | M2P3ZSBT6H | unknown | open | |
| No KL dual | 166PHFRA6X | 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.27250#5HC3 |
| No Laurent relation for an irrational character | AVR2D6BM0M | 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.27970#Y4M5 |
| No least element in type $F_4$ | X07FYPTESZ | 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.16931#6QDO |
| No light segments for the Dirichlet problem | XZ5A0DZ54S | 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.25449#C2FF |
| No local radical formula with arbitrary fixed constants | YJS6KJ70FK | 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.15125#Q2B7 |
| No locally sharp $C^1$ bound from finitely many observations | H8KNTNQGDP | 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#INZU |
| no long segments | EKNHV1DPEH | 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.14050#FWY1 |
| No maps at infinity | 7B3E3PP8KV | 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.10821#ZGYX |
| No Movement Bound With Only Perturbation Size and Eigengap | MNF0Q2BAYP | 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.08152#WNVU |
| No negative invariant sections | 9QT522R022 | 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#INFA |
| No orbitally bounded wandering domains | W6MD01WXMB | 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.30103#URDL |
| No periodic subset of a level set | AWESXZ9SFR | 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.00099#7KEW |
| No polynomial average-iterate rate with polylogarithmic confidence | 8JER7M11J0 | 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.32729#OWHA |
| No polynomial improvement at any stopping time | 5HEM7DTER6 | 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.09044#JM5A |
| No quadratic improvement at any stopping time | F65VC7PV3A | 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.09044#YBXK |
| No rapid frequency cascade | Y8EC3GTSFH | 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#HQT4 |