Math 2.0

Inventory: F

The rows of the inventory whose names start with F. 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 3601–3700 of 9322.

NameIdKindOutcomeSources
finitely axiomatizableA6YWPBNAW7statementopenWikipedia List of first-order theories#N4D7
Finitely cogenerated moduleB67XKDEJV0unknownopenWikipedia Finitely generated module#UVDI
finitely dominated4TGZFCTJYGdefinitionopenWikipedia Glossary of algebraic topology#AZBD
finitely generated9YP3WW0MR6definitionopenWikipedia Glossary of module theory#A3XN
finitely generatedAG1217CJ8NdefinitionopenWikipedia Glossary of commutative algebra#9BLJ
Finitely generatedD9R7HGNTTRunknownopenWikipedia Finitely generated object#EK99
finitely generatedHWQ8SB6NTPdefinitionopenWikipedia Glossary of ring theory#GQIQ
Finitely generatedRB1A49CDAEdefinitionopenWikipedia Glossary of general topology#9Y3B
Finitely generated abelian group2SNZGQD82VdefinitionopenWikipedia List of group theory topics#VQ3R
Finitely generated abelian groupY70R7KWQN8definitionopenWikipedia Finitely generated abelian group, Wikidata Q142140
finitely generated algebra4DWQHTRHT7definitionopenWikidata Q2835968, nLab finitely generated algebra, Wikipedia Finitely generated algebra
Finitely generated algebraP1FJB5NP14definitionrecord (an 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.10930#JZMI
Finitely generated coneWCCWZXYG8EunknownopenWikipedia Convex cone#WNOL
finitely generated extensionTR94KEYAQJdefinitionopenWikidata Q4230785, ProofWiki Definition:Finitely_Generated_Field_Extension
finitely generated groupNMX6QDZD4Gdefinitiondeferred (the item has its own article, page 963042)Wikipedia Glossary of group theory#J5MY
finitely generated groupX45XA5XYK1definitionnode (a node has the same name as the row)Wikidata Q21083858, MathWorld FinitelyGenerated, Wikipedia Finitely generated group
finitely generated idealXJJT2BF1BGconceptopenlebl_scv index/D/finitely-generated-ideal
finitely generated moduleW1HTVQSQ49definitionnode (a node has the same name as the row)Wikidata Q1340572, nLab finitely generated module, Wikipedia Finitely generated module
Finitely generated monoid4JT08VPMCDunknownopenWikipedia Monoid#3FCM
finitely generated objectC03W0DAHFPdefinitionopenWikidata Q5450412, nLab finitely generated object, Wikipedia Finitely generated object
Finitely many characteristic polynomials on a cosetK0T33ZXGN6statementrecord (an 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.27204#8QMY
Finitely many wavenumbers650JV15982statementrecord (an 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.07341#JVIP
finitely presented1ZAKEH4X30definitionopenWikipedia List of unsolved problems in mathematics#2EP6
finitely presentedKNRQHBE537definitionopenWikipedia Glossary of ring theory#WUPH
Finitely related module383EPVTFGHdefinitionopenWikipedia List of abstract algebra topics#1D73
Finitely related moduleP313VMJ8N8unknownopenWikipedia Finitely generated module#3VRV
finitely supported function67VSNNRVENunknownopenmathlib_overview Data structures > Maps > finitely supported function, Mathlib Finsupp
Finitely-generated module9P3DZMRQYDdefinitionopenWikipedia List of abstract algebra topics#M8TK
Finitely-presented moduleX1KR23YHRZdefinitionopenWikipedia List of abstract algebra topics#CNM5
FinitenessNE5BZWHC40definitionopenWikipedia Finiteness, Wikidata Q3072626
FinitenessQZEK5MDRBXstatementrecord (an 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.26318#11QE
Finiteness and mutual non-domination of the three momentsFHJH2WCW23statementrecord (an 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.00501#PK7R
Finiteness and order of $J^{(i)}(X)$ZSMEQ0QKX5statementrecord (an 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.33027#W3K0
Finiteness and primal attainmentR8KKVKJEBTstatementrecord (an 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.14562#SPNO
Finiteness at every fixed parameterDS9R1937AQstatementrecord (an 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.38650#NCEV
Finiteness in the subunit regimeH9KH3SVAZXstatementrecord (an 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.18698#JVF3
Finiteness of $\rho(F_n)$ does not imply finiteness of $T_\lambda(\Gamma)$ARZ099YKJ5examplerecord (an 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.25805#PQCL
Finiteness of class group6HS7PQZ39Hstatementopennapkin tex/alg-NT/classgrp.tex#corollary-1
Finiteness of joint moments for bulk/boundary quotientsPZSMGZH94Sstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2502.09121#GG5B
Finiteness of joint moments of $\Gamma$-shaped regionsA9ZPCKBBJXstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2502.09121#O9M4
Finiteness of joint moments of $\Pi$-shaped regionsASZPT4QP1Ystatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2502.09121#JFT9
Finiteness of marked Mori fiber spacesTHGYA10XTMstatementrecord (an 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.33679#YTWD
Finiteness of moments for bulk/boundary quotients, case $q=1$4HWS6EZRMVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2502.09121#6FJL
Finiteness of quotients with positive distanceVR4PSN38RCstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2502.09121#CIFU
Finiteness of stable lattices9561CFDM15statementrecord (an 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.26318#LLVF
Finiteness of the class number412DAW3NA7unknownopenmathlib_overview General algebra > Algebraic Number Theory > Finiteness of the class number, Mathlib NumberField.RingOfIntegers.instFintypeClassGroup
Finiteness of the localized joint moment from the unlocalized joint momentNFJA74XSR0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2502.09121#DY46
Finiteness of the shell log-Laplace transform6MNV0ZK0XSstatementrecord (an 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.00453#6FXY
Finiteness properties of groupsFZQF3J76NEdefinitionopenWikipedia Finiteness properties of groups, Wikidata Q65085607
Finite–SNR extremality under nonnegative kernelsG76CXRTZW0statementrecord (an 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.19715#044Q
Finitism9MJTFBVR03definitionopenWikipedia List of mathematical logic topics#X942
FinitismM8HN94W1QRdefinitionopenWikipedia Finitism, Wikidata Q1417326
finitismPADF7CWTHGdefinitionopenWikipedia Glossary of logic#C8XI
Fink , 2007HKESKFST3Cstatementrecord (an 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.21682#P88E
Fink protocolN24JT4ES0BdefinitionopenWikipedia Fink protocol, Wikidata Q25303748
Finlaison, John4WFM8X6WWWunknownopenWikipedia List of statisticians#UF73
Finland566HKPJ9G7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q33, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Finland
Finney4R4C933Y0Kstatementrecord (an 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.29450#6ZWI
Finney, D. J.E3YT40VEW4topicopenWikipedia List of statisticians#8DAJ
Finnish Mathematical Society1GBZHQYBT2definitionopenWikipedia List of mathematical societies#BKD8
Finnish Mathematical SocietyWE83YG80SPdefinitionopenWikipedia Finnish Mathematical Society, Wikidata Q1417959
Finnur Lárusson6C2PKG069Zunknownout_of_scope (a person, not an item of mathematics)Wikidata Q102363969, nLab Finnur Larusson
FinSetXQR5SZQF5YdefinitionopenWikipedia FinSet, Wikidata Q5449308
Finsler geometry3N169W5YDDdefinitionopenWikipedia Glossary of areas of mathematics#N5E3
Finsler geometry9WBDTZC8ZWdefinitionopenWikipedia List of differential geometry topics#AH8W
Finsler geometryC8S70T11H6topicopenWikidata Q130619523, EoM Finsler_geometry
Finsler manifoldA007JD7HP7definitionopenWikipedia List of manifolds#4KTK
Finsler manifoldKMX7VRDDHAconceptopenWikidata Q2498782, EoM Finsler_space, MathWorld FinslerSpace, Wikipedia Finsler manifold
Finsler's lemmaFDKHFN1GHNstatementopenWikipedia Finsler's lemma, Wikidata Q48995859
Finsler's lemmaQ4HAEC12WVstatementopenWikipedia List of lemmas#8MXA, Wikipedia List of lemmas#RDPN
Finsler–Hadwiger theorem8NMEE0ACTKstatementopenmathlib_1000 Q15895894, Wikidata Q15895894, thousand_plus Q15895894, Wikipedia Finsler–Hadwiger theorem, MathWorld Finsler-HadwigerTheorem
Finsler–Hadwiger theoremNA7M6NAT7CstatementopenWikipedia List of theorems#Z4A4
Finux1MKHXB0X71unknownopenWikipedia Cryptonomicon#0O9C
FinVectJZ7PKFMDH9definitionopenWikipedia FinVect, Wikidata Q117061348
Fiona Steele4JXWD9SV4PtopicopenWikipedia Fiona Steele, Wikidata Q52497942
Fioralba Cakoni8SCVXZV6AStopicopenWikipedia Fioralba Cakoni, Wikidata Q58416620
FIPFFQE9RNNM3definitionopenWikipedia Glossary of set theory#4Q3Z
FIPS 140QSRYJR637FdefinitionopenWikipedia FIPS 140, Wikidata Q5425847
FIPS 140-2X5KFNKTAASdefinitionopenWikipedia FIPS 140-2, Wikidata Q5425845
FIPS 140-2 Level 1WM7E9875XFunknownopenWikipedia FIPS 140-2#ZOOZ
FIPS 140-3RPRZ6H9SRGdefinitionopenWikipedia FIPS 140-3, Wikidata Q5425842
FIR transfer functionD9Q2AM8EEAdefinitionopenWikipedia FIR transfer function, Wikidata Q30325008
fireMK1YEY3XK0definitionopenWikidata Q2723512, ProofWiki Definition:Philosophical_Element/Fire
Fire code (error correction)7T4R0AVA45unknownopenWikipedia Cyclic code#SWJU
firecracker graphQTZN71JW67unknownopenWikidata Q131367986, MathWorld FirecrackerGraph
Firefly3BFE691EPHdefinitionopenWikipedia Firefly (key exchange protocol), Wikidata Q5451829
Firefox Lockwise8H82VT68H5definitionopenWikipedia Firefox Lockwise, Wikidata Q64829394
Firewall paradox7F3NYY2C0XstatementopenWikipedia Black hole information paradox#HS7J
Fireworks algorithm771QZSR85QdefinitionopenWikipedia Fireworks algorithm, Wikidata Q23556832
Firing of Commissioner of Labor Statistics1SJSZ9PREYunknownopenWikipedia Erika McEntarfer#VJ9B
Firing of Erika McEntarferW5C78AHTN1unknownopenWikipedia Erika McEntarfer#CQ28
firing squad synchronization problemBMTPAMEN0JproblemopenWikidata Q4183853, MathWorld FiringSquadProblem, Wikipedia Firing squad synchronization problem
Firoozbakht's conjectureP67C9CW959conjectureopenWikipedia Firoozbakht's conjecture, Wikidata Q5452148
first32T4BV8BBXdefinitionopenWikipedia Glossary of real and complex analysis#QOZI
firstZJ765GTSR2definitionopenWikipedia Glossary of set theory#S3W1
First (Lévy's) arcsine lawP6ATSR9GVVstatementopenWikipedia Arcsine laws (Wiener process)#A2UI
First and second fundamental theorems of invariant theoryV8FPTEMS08statementopenWikipedia First and second fundamental theorems of invariant theory, Wikidata Q85761078
First and second law74M0GX5C9ZstatementopenWikipedia Entropy production#EGRG
First and second momentsYNEFN2ZG7Sstatementrecord (an 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.27744#49BZ
First arcsine law93ZN3F040YstatementopenWikipedia Wiener process#CN05