Inventory: A
The rows of the inventory whose names start with A. 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 5201–5300 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AX4V5KZ1Q0 | AX4V5KZ1Q0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.15424#Z8GS |
| AX4ZP79XZ6 | AX4ZP79XZ6 | statement | record (an 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.34522#3JYZ |
| AX54ZMPJFH | AX54ZMPJFH | definition | open | napkin tex/calculus/differentiate.tex#definition-1 |
| AX5R04QP04 | AX5R04QP04 | 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 2407.20385#THUU |
| AX6Y3G5VTN | AX6Y3G5VTN | statement | record (an 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.17442#QIB7 |
| AX6YZMJB9G | AX6YZMJB9G | statement | record (an 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.16704#0BE7 |
| AX72H25XKC | AX72H25XKC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.01359#GGEK |
| AX76ZJY84X | AX76ZJY84X | 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.30113#K1LK |
| AX7H86WR09 | AX7H86WR09 | statement | record (an 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#43VY |
| AX7NMKHSR3 | AX7NMKHSR3 | example | open | active_calculus source/sec-2-1-elem-rules.xml#example-5 |
| AX7XACDXEH | AX7XACDXEH | exercise | open | austin_ula src/section3-5.xml#activity-1 |
| AX84VH50XE | AX84VH50XE | unknown | open | |
| AX8QAVCFWS | AX8QAVCFWS | statement | record (an 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.16225#QDU1 |
| AX8T27H8YJ | AX8T27H8YJ | statement | record (an 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.32832#MDWS |
| AX9CWPBFRC | AX9CWPBFRC | exercise | open | lebl_ra ch-approximate.tex#exercise-3 |
| AX9JQVG8B2 | AX9JQVG8B2 | proof | open | napkin tex/rep-theory/semisimple.tex#proof-6 |
| AX9KQJCAG6 | AX9KQJCAG6 | statement | record (an 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.18377#QQU5 |
| AX9M9WEK44 | AX9M9WEK44 | statement | open | open_logic content/incompleteness/theories-computability/interpretability.tex#cor-3 |
| AX9N1PDVEZ | AX9N1PDVEZ | statement | record (an 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.03373#NU8P |
| AX9RNCEKMP | AX9RNCEKMP | statement | record (an 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.40260#QWRY |
| AXAMVGT051 | AXAMVGT051 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2604.10080#N2XW |
| AXAZAAXN0E | AXAZAAXN0E | statement | record (an 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.31523#S5OB |
| AXBB1TWFAP | AXBB1TWFAP | statement | record (an 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.07180#YNH0 |
| AXBHJ2XAX1 | AXBHJ2XAX1 | statement | record (an 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.19311#21ZE |
| AXBSMAHQ75 | AXBSMAHQ75 | 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 2509.04068#QTYJ |
| AXBVFEJMW0 | AXBVFEJMW0 | statement | record (an 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.32300#A24P |
| AXC69Z85TP | AXC69Z85TP | statement | record (an 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.14842#QGV1 |
| AXCAGXW6K9 | AXCAGXW6K9 | statement | record (an 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.10949#ER0K |
| AXCCTCZX1C | AXCCTCZX1C | 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.08484#L7QA |
| AXCSEQ7PNW | AXCSEQ7PNW | statement | record (an 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.28306#UW0N |
| AXDWDPVG3W | AXDWDPVG3W | statement | record (an 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.18219#L6H5 |
| AXE0G1FGH0 | AXE0G1FGH0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.00162#D2WB |
| AXEA4FWM21 | AXEA4FWM21 | statement | record (an 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#AT45 |
| AXEBWKFS7Q | AXEBWKFS7Q | statement | record (an 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.18312#N7JE |
| AXEJEMRC76 | AXEJEMRC76 | statement | record (an 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.17589#XKKS |
| AXF11HBQRZ | AXF11HBQRZ | statement | record (an 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.12817#K4HB |
| AXFYPRXHNQ | AXFYPRXHNQ | statement | record (an 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.19866#PG3I |
| AXG7EYPHWP | AXG7EYPHWP | proof | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#proof-3 |
| AXGDVMYRQJ | AXGDVMYRQJ | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-9 |
| AXGJXV5JAP | AXGJXV5JAP | statement | record (an 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#NHJT |
| AXGN86ER63 | AXGN86ER63 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.05688#T5QL |
| AXGSBZAF3Q | AXGSBZAF3Q | statement | record (an 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.25321#FUSZ |
| AXHJRA5J2Z | AXHJRA5J2Z | statement | record (an 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.24593#O4Y4 |
| Axial lower MDA with an arbitrarily slow, nonregular diagonal remainder | A9CZYC3CDQ | 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.29658#2KAQ |
| axiom | 1RNAFBJAHP | concept | open | Wikidata Q17736, MathWorld Axiom, nLab axiom |
| axiom | KP1ZPCJGDT | concept | open | lebl_ra index/7.1/axiom |
| axiom of choice | 50BKC42X56 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q179692, Wikidata Q179692, thousand_plus Q179692, Wikipedia Independence of the axiom of choice, EoM Axiom_of_choice, MathWorld AxiomofChoice, nLab axiom of choice, ProofWiki Axiom:Axiom_of_Choice |
| Axiom of Choice | J2DGJDAB6J | statement | open | ernst_ibl MAAPressVersion/IndexingSets.tex#axiom-1 |
| axiom of constructibility | 1Y14Y1S86N | unknown | open | Wikidata Q1151112, nLab axiom of constructibility |
| axiom of countable choice | AJM2A819TK | statement | open | Wikidata Q1000116, nLab countable choice, ProofWiki Axiom:Axiom_of_Countable_Choice |
| axiom of dependent choice | 7TS9362SR2 | statement | open | Wikidata Q3303153, nLab dependent choice, ProofWiki Axiom:Axiom_of_Dependent_Choice |
| axiom of determinacy | JVP5MFKMNG | unknown | open | Wikidata Q4830558, nLab axiom of determinacy |
| axiom of empty set | TVFZ9GW0FT | statement | open | Wikidata Q2045366, ProofWiki Axiom:Axiom_of_the_Empty_Set |
| axiom of extensionality | H6XPSHRMJR | statement | node (a node has the same Wikidata item as the row) | Wikidata Q740424, MathWorld AxiomofExtensionality, nLab axiom of extensionality, ProofWiki Axiom:Axiom_of_Extension |
| Axiom of Induction | A9QGDXSQF5 | statement | open | ernst_ibl MAAPressVersion/IntroInduction.tex#axiom:induction |
| axiom of infinity | XNAM6DTABT | statement | open | Wikidata Q920450, MathWorld AxiomofInfinity, nLab axiom of infinity, ProofWiki Axiom:Axiom_of_Infinity |
| axiom of limitation of size | A7BKMQ06WX | statement | open | Wikidata Q836475, ProofWiki Axiom:Axiom_of_Limitation_of_Size |
| axiom of pairing | 207C4VY66G | statement | open | Wikidata Q920796, MathWorld AxiomoftheUnorderedPair, nLab axiom of pairing, ProofWiki Axiom:Axiom_of_Pairing |
| axiom of power set | FVZH3BH74M | statement | open | Wikidata Q1077811, MathWorld AxiomofthePowerSet, ProofWiki Axiom:Axiom_of_Powers |
| axiom of regularity | KDRCAA787D | statement | open | Wikidata Q470981, MathWorld AxiomofFoundation, nLab axiom of foundation, ProofWiki Axiom:Axiom_of_Foundation |
| axiom of union | 8EFMNRXQ4K | statement | open | Wikidata Q1987722, MathWorld AxiomoftheSumSet, nLab axiom of union, ProofWiki Axiom:Axiom_of_Unions |
| axiom schema of replacement | R9Y22E1MPJ | statement | open | Wikidata Q1361825, MathWorld AxiomofReplacement, nLab axiom of replacement, ProofWiki Axiom:Axiom_of_Replacement |
| axiom schema of specification | W6NJS0ZRFW | statement | open | Wikidata Q780487, MathWorld AxiomsofSubsets, ProofWiki Axiom:Axiom_of_Specification |
| axiom, of $\Delta_0$-separation | QTTCGQNV96 | concept | open | hott_book index/C.5/axiom-of-delta-0-separation |
| axiom, of choice | 1A79FFP1NQ | concept | open | hott_book index/2/axiom-of-choice |
| axiom, of choice | 1V7XESQ563 | concept | open | hott_book index/u1.u7/axiom-of-choice |
| axiom, of choice | 3JES2X1VT0 | concept | open | hott_book index/9.11/axiom-of-choice |
| axiom, of choice | 4JXBTXSH50 | concept | open | hott_book index/9.8/axiom-of-choice |
| axiom, of choice | 91B5M0RMF6 | concept | open | hott_book index/C.2/axiom-of-choice |
| axiom, of choice | E0B4PMXY56 | concept | open | hott_book index/2.9/axiom-of-choice |
| axiom, of choice | Q5RRCB3NSJ | concept | open | hott_book index/C.1.5/axiom-of-choice |
| axiom, of choice | QE7M9PTK2D | concept | open | hott_book index/C.4/axiom-of-choice |
| axiom, of choice, countable | E9VC2RDB1N | concept | open | hott_book index/B.6/axiom-of-choice-countable |
| axiom, of choice, countable | H6SSRMN9AY | concept | open | hott_book index/B/axiom-of-choice-countable |
| axiom, of choice, countable | SG3VRPWE54 | concept | open | hott_book index/B.4/axiom-of-choice-countable |
| axiom, of choice, type-theoretic | 861NGQJ565 | concept | open | hott_book index/A.6/axiom-of-choice-type-theoretic |
| axiom, of choice, type-theoretic | R6M30QV96T | concept | open | hott_book index/1.15/axiom-of-choice-type-theoretic |
| axiom, of choice, type-theoretic | WWHWK5DSM4 | concept | open | hott_book index/9.2/axiom-of-choice-type-theoretic |
| axiom, of extensionality | 6XA9AFKG4R | concept | open | hott_book index/C.3/axiom-of-extensionality |
| axiom, of infinity | BR56ACA2EG | concept | open | hott_book index/C.5/axiom-of-infinity |
| axiom, of reducibility | BD5NZ3HNH1 | concept | open | hott_book index/9.11/axiom-of-reducibility |
| axiom, of replacement | VJZ25V8B78 | concept | open | hott_book index/C.5/axiom-of-replacement |
| axiom, of separation | C667CC87WV | concept | open | hott_book index/C.5/axiom-of-separation |
| axiom, of set theory, for the cumulative hierarchy | HNE0170GHG | concept | open | hott_book index/C.5/axiom-of-set-theory-for-the-cumulative-hierarchy |
| axiom, Streicher's Axiom K | KQEY0BX2V9 | concept | open | hott_book index/6.7/axiom-streicher-s-axiom-k |
| axiom, Streicher's Axiom K | Q6QGZ3SQW7 | concept | open | hott_book index/A.12.3/axiom-streicher-s-axiom-k |
| axiom, Streicher's Axiom K, generalization to $n$-types | 7AP2T7AAMP | concept | open | hott_book index/6.2/axiom-streicher-s-axiom-k-generalization-to-n-types |
| axiom, strong collection | 8B2C4TKSBX | concept | open | hott_book index/C.5/axiom-strong-collection |
| axiom, subset collection | TAV2ZZPCWR | concept | open | hott_book index/C.5/axiom-subset-collection |
| axiom, unstable octahedral | 1B57FYZHJH | concept | open | hott_book index/3.9/axiom-unstable-octahedral |
| axiom, versus rules | PN2TRHVBGV | concept | open | hott_book index/1.5/axiom-versus-rules |
| axiom, versus rules | QC3JF2T2JH | concept | open | hott_book index/A.1/axiom-versus-rules |
| axiom, Whitehead's principle | J3GHYRSCTX | concept | open | hott_book index/7.8/axiom-whitehead-s-principle |
| axiomatic freedom | BPZD3DE1HN | concept | open | hott_book index/A.11/axiomatic-freedom |
| axiomatic method | 66HX7R46A6 | unknown | open | Wikidata Q48784438, EoM Axiomatic_method |
| axiomatic quantum field theory | PBD0ZP60WM | topic | open | Wikidata Q257189 |
| axiomatic set theory | BJ48721DWG | definition | open | Wikidata Q904423, MathWorld AxiomaticSetTheory, ProofWiki Definition:Axiomatic_Set_Theory |
| Axiomatic threshold and radical | BSE2K2Y68Q | statement | record (an 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.39262#C83L |
| Axioms | 58Q2HPJ2SA | definition | open | open_logic content/first-order-logic/axiomatic-deduction/axioms-rules-propositional.tex#defn-1 |
| Axioms | ZJYGJC7QZD | definition | open | open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-2 |