Math 2.0

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.

Rows 13901–14000 of 14276.

NameIdKindOutcomeSources
axiom, Streicher's Axiom K, generalization to $n$-types7AP2T7AAMPconceptopenhott_book index/6.2/axiom-streicher-s-axiom-k-generalization-to-n-types
axiom, strong collection8B2C4TKSBXconceptopenhott_book index/C.5/axiom-strong-collection
axiom, subset collectionTAV2ZZPCWRconceptopenhott_book index/C.5/axiom-subset-collection
axiom, unstable octahedral1B57FYZHJHconceptopenhott_book index/3.9/axiom-unstable-octahedral
axiom, versus rulesPN2TRHVBGVconceptopenhott_book index/1.5/axiom-versus-rules
axiom, versus rulesQC3JF2T2JHconceptopenhott_book index/A.1/axiom-versus-rules
axiom, Whitehead's principleJ3GHYRSCTXconceptopenhott_book index/7.8/axiom-whitehead-s-principle
Axiomatic foundations of topological spacesHA60ZAXRRTdefinitionopenWikipedia Axiomatic foundations of topological spaces, Wikidata Q5073786
axiomatic freedomBPZD3DE1HNconceptopenhott_book index/A.11/axiomatic-freedom
Axiomatic geometryW4JRZ2CAX8definitionopenWikipedia Glossary of areas of mathematics#DA30
axiomatic method66HX7R46A6unknownopenWikidata Q48784438, EoM Axiomatic_method
Axiomatic methodAQ275CJ3K5definitionopenWikipedia List of mathematical logic topics#260Z
axiomatic quantum field theoryPBD0ZP60WMdefinitionopenWikidata Q257189, Wikipedia Axiomatic quantum field theory
Axiomatic real numberRGSDQ26SJ4unknownopenWikipedia Real number#SDZF
Axiomatic semanticsMKR7D23Q75definitionopenWikipedia Axiomatic semantics, Wikidata Q792533
Axiomatic set theories93ZJFVM4KDunknownopenWikipedia Set theory#8JVO
axiomatic set theoryBJ48721DWGdefinitionopenWikidata Q904423, MathWorld AxiomaticSetTheory, ProofWiki Definition:Axiomatic_Set_Theory
Axiomatic set theoryBVKY30AN8BdefinitionopenWikipedia Glossary of areas of mathematics#MHC5
Axiomatic systemHFEQKA92CYdefinitionopenWikipedia Axiomatic system, Wikidata Q792542
Axiomatic systemR3BXMSSWRQdefinitionopenWikipedia List of mathematical logic topics#G4M6
Axiomatic threshold and radicalBSE2K2Y68Qstatementrecord (an 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
Axiomatics of thermodynamics8NNW8DTQBNunknownopenWikipedia Thermodynamics#GWZ2
AxiomatizationQZ69WDSQTRdefinitionopenWikipedia List of mathematical logic topics#TZF5
Axiomatization via alternative principlesZ7JCWT41N2statementopenWikipedia Minimal logic#BDRR
Axioms2JZBHCG9AKstatementopenWikipedia Vertex operator algebra#7X4K
Axioms2WXA02P8G3statementopenWikipedia Dynamic logic (modal logic)#Z0FQ
Axioms3CQ883AB4XstatementopenWikipedia Wightman axioms#56OZ
Axioms3RN0HT2P4RstatementopenWikipedia Elementary theory of the category of sets#NRYF
Axioms3YYSDW8HGEstatementopenWikipedia Monoidal t-norm logic#690X
Axioms58Q2HPJ2SAdefinitionopenopen_logic content/first-order-logic/axiomatic-deduction/axioms-rules-propositional.tex#defn-1
Axioms5SKKJ1Q830statementopenWikipedia Polynomial conjoint measurement#9K8F
Axioms5VNAAJ8072statementopenWikipedia Euclidean geometry#6BBO
Axioms63NK9F8QN0statementopenWikipedia Ackermann set theory#WAEA
Axioms6NTZ75CBFQstatementopenWikipedia Geometry#WLYK
Axioms6TKQCAFV7KstatementopenWikipedia Tarski–Grothendieck set theory#6MKF
Axioms6WNG11AVVMstatementopenWikipedia Zermelo–Fraenkel set theory#OA0B
Axioms70YHVBVTJCstatementopenWikipedia Łukasiewicz logic#BRDP
Axioms7JPP56C2FNstatementopenWikipedia Scott–Potter set theory#3TDH
Axioms7PK9JQBY7EstatementopenWikipedia Mereology#CQNC
Axioms7ZAP4ZX7C8statementopenWikipedia N-ary group#392L
Axioms9B239T8EBWstatementopenWikipedia Axioms (journal), Wikidata Q50808388
Axioms9JGP1A5CPPstatementopenWikipedia Type theory#TL9X
AxiomsBGC0Q4WNQJstatementopenWikipedia S (set theory)#VLC1
AxiomsBMHW5R4A4VstatementopenWikipedia General set theory#EGJR
AxiomsCAMA83RKN9statementopenWikipedia BL (logic)#SF96
AxiomsD5GVR9MZAFstatementopenWikipedia Multiplication#OHX6
AxiomsDMT5XYWKQ4statementopenWikipedia Elementary theory of abstract categories#XDUW
AxiomsE9VZDV1NZTstatementopenWikipedia Logic of graphs#96EN
AxiomsED3K7HVFYWstatementopenWikipedia Point-pair separation#7BZE
AxiomsHG5XN2E3JNstatementopenWikipedia Grothendieck topology#5469
AxiomsJD3200GFMDstatementopenWikipedia Gyrovector space#QWNG
AxiomsJE3H0Z35TQstatementopenWikipedia CC system#6K3G
AxiomsK6A8E58CD0statementopenWikipedia Positive set theory#PVTZ
AxiomsKEW26K1F00statementopenWikipedia Equality (mathematics)#YMH9
AxiomsMHTM3ADSYXstatementopenWikipedia Forking extension#NV2P
AxiomsNMFSCM38FJstatementopenWikipedia Formal ethics#W0JK
AxiomsNRGN538VGEstatementopenWikipedia Relevance logic#QARD
AxiomsNSZPTGNP4SstatementopenWikipedia Construction of the real numbers#WYAJ
AxiomsP0Z3V3EYY0statementopenWikipedia Skolem arithmetic#JZOS
AxiomsPRCY2E5322statementopenWikipedia Relation algebra#JKM4
AxiomsQARYBAE0E0statementopenWikipedia Kripke–Platek set theory#M6SW
AxiomsQTM3ZM104EstatementopenWikipedia Robinson arithmetic#KXIU
AxiomsSKRM3GXNGEstatementopenWikipedia Statistical proof#JEV0
AxiomsT07DQQ2R62statementopenWikipedia Region connection calculus#KPET
AxiomsTBWZ6FPQBKstatementopenWikipedia Second-order arithmetic#NLWT
AxiomsTVP8DAEDYHstatementopenWikipedia Polyadic algebra#UL8L
AxiomsVGG0CR834DstatementopenWikipedia Daniell integral#O0VB
AxiomsWE3CMQD7CEstatementopenWikipedia Kripke–Platek set theory with urelements#X6YU
AxiomsWVCNA6PKDBstatementopenWikipedia Hyperbolization procedures#T90Y
AxiomsZ5Z8A96NJJstatementopenWikipedia Affine space#VGW9
AxiomsZJYGJC7QZDdefinitionopenopen_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-2
Axioms and generalized cohomology theoriesS3ZY8FKP73statementopenWikipedia Cohomology#H5C5
Axioms and intermediate premises1WT5Q85WGAstatementopenWikipedia Premise#00U2
Axioms and models98RYNV31WHstatementopenWikipedia Axiomatic system#ZHCX
Axioms and postulatesXSDFHDK54ZstatementopenWikipedia Axiomatic system#UDYO
Axioms and semanticsBKF1DXTW1EstatementopenWikipedia Predicate functor logic#2LUV
Axioms by Glimm and JaffeDWMKXC684BstatementopenWikipedia Schwinger function#RDHW
Axioms for !!{identity}VSAK3AMKSAdefinitionopenopen_logic content/first-order-logic/axiomatic-deduction/identity.tex#defn-1
Axioms for 1 (primitives: R, <, +, 1)EQ3ZWHSDMNstatementopenWikipedia Tarski's axiomatization of the reals#5R3F
Axioms for aggregation operations fuzzy setsZ8XVWK0TV6statementopenWikipedia Fuzzy set operations#W676
Axioms for Explaining the DataCEZ7N3D5AKstatementopenWikipedia Feature Importance#MM6C
Axioms for Feature ImportanceXT1SZT08P2statementopenWikipedia Feature Importance#NRBC
Axioms for fuzzy complements4K621NZZJXstatementopenWikipedia Fuzzy set operations#XT1L
Axioms for fuzzy intersection3FKEWE4G0QstatementopenWikipedia Fuzzy set operations#1RTL
Axioms for fuzzy unionMGNCZXP7TBstatementopenWikipedia Fuzzy set operations#ZH7I
Axioms for projective planesXW0JXEVY97statementopenWikipedia Projective geometry#UI68
Axioms for quantifiersMNAZEHF4X5definitionopenopen_logic content/first-order-logic/axiomatic-deduction/axioms-rules-quantifiers.tex#defn-1
Axioms for quantizationR3357V6424statementopenWikipedia Canonical quantization#VXD5
Axioms of a Minkowski plane74RA265PDFstatementopenWikipedia Minkowski plane#21GA
Axioms of a Möbius planeD61TT4T2GKstatementopenWikipedia Möbius plane#MGCA
Axioms of addition (primitives: R, <, +)FCSRAEYNGPstatementopenWikipedia Tarski's axiomatization of the reals#66CO
Axioms of cardinal welfarismQH35F8CRE3statementopenWikipedia Social welfare function#2C0D
Axioms of motion64PWWHMV0SstatementopenWikipedia Motion (geometry)#8T7M
Axioms of order (primitives: R, <)38VPV1KNKAstatementopenWikipedia Tarski's axiomatization of the reals#37X3
Axioms of ordered geometry2QW9KTWT0FstatementopenWikipedia Ordered geometry#RH14
Axioms of projective geometry54PX7C9NEBstatementopenWikipedia Projective geometry#COJY
Axioms of voting systemsC3ZN7Q326RstatementopenWikipedia Arrow's impossibility theorem#HWAK
Axioms these maps must satisfy4S20GQ04MPstatementopenWikipedia Hopf algebroid#GJAC
Axioms used in the book30WKAA83NJstatementopenWikipedia Naive Set Theory (book)#ZRMJ
Axioms using a ternary relationZMP2GGATSCstatementopenWikipedia Projective geometry#NEEN