Inventory: S

The rows of the inventory whose names start with S. 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 2201–2300 of 6923.

Name	Id	Kind	Outcome	Sources
Set-forcing preservation	WAR1QFMVED	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.19283#LTK9
set-quotient	504ZEG86BQ	concept	open	hott_book index/5.10/set-quotient
set-quotient	5WZ4XGFB6Q	concept	open	hott_book index/5.13/set-quotient
set-quotient	81RG80HF9T	concept	open	hott_book index/C.1.3/set-quotient
SET0R33K5K	SET0R33K5K	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.27751#VWG2
SET1Y31JGM	SET1Y31JGM	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.08567#WR8L
SET2X0N9C1	SET2X0N9C1	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.17408#7HWI
SET3034E46	SET3034E46	statement	open	austin_ula src/section4-3.xml#proposition-1
SET3P23D21	SET3P23D21	statement	open	lebl_ra ch-contfunc.tex#prop:invcont
SETBVB7GSC	SETBVB7GSC	exercise	open	lebl_scv scv.tex#exercise:boundedeigen
Seth L. Warner	YZS8JVB2FK	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q102129718, ProofWiki Mathematician:Seth_L._Warner
SETK5F3294	SETK5F3294	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.04870#UWHF
setoid	749Y8S9Y8N	concept	open	Wikidata Q7456758, nLab setoid
setoid	HG0V9GSKWH	concept	open	hott_book index/5.13/setoid
setoid	X4WN2SKN4J	concept	open	hott_book index/9.11/setoid
setoid	YRNNXE06RB	concept	open	hott_book index/C.1.4/setoid
Sets for Mathematics	YRXBY3623H	unknown	out_of_scope (a book or a journal, not an item of mathematics)	Wikidata Q94449649, nLab Sets for Mathematics
sets without arithmetic progressions	F8H99T525C	unknown	open	mathlib_overview Combinatorics > Additive combinatorics > sets without arithmetic progressions, Mathlib ThreeAPFree
SETT55VNGM	SETT55VNGM	statement	open	austin_ula src/section4-2.xml#prop-eigen-basis
Setting	H3PTFJZVCH	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.27765#IF0A
Settlement step	CCS3YEYF9X	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.30315#2JK0
SETW4C04ET	SETW4C04ET	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.31274#7YQA
Setwise error bound plus averagedness	QPRCDVC065	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.20270#RL25
SEU, RDU, and CPT restrictions	XQR0BD0X7F	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.25026#Q7TW
Seven Bridges of Königsberg	8GWY5GAJ8S	problem	node (a node has the same Wikidata item as the row)	Wikidata Q33100, MathWorld KoenigsbergBridgeProblem
seven circles theorem	ME97K9DEMF	statement	open	Wikidata Q7457534, MathWorld SevenCirclesTheorem
Seven-point family	9QNVVTS2RT	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.08252#O36E
seventh power	BWRG8SNZ6E	definition	open	Wikidata Q37947505, ProofWiki Definition:Seventh_Power
Seventh-order identity	1X1Y2T6Y4H	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.34016#MJM4
Several simultaneous excess variables	VNPQHQQBC4	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.29683#V8L6
Severi	BBWZS3XDK2	statement	open	lebl_scv scv.tex#thm:severi
Severi	MWAS8D8RXE	statement	open	lebl_scv scv.tex#cor-4
Severi's theorem	HFSA9ZE5NM	concept	open	lebl_scv index/4.3/severi-s-theorem
Severi's theorem	YBHF46R3Y7	concept	open	lebl_scv index/3.2/severi-s-theorem
Severi–Brauer variety	9Y65MPMEXE	unknown	open	Wikidata Q17103234, MathWorld Brauer-SeveriVariety
Severus Sebokht	936Y37M7SH	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q2275364, ProofWiki Mathematician:Severus_Sebokht
SEVSREEC5Y	SEVSREEC5Y	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.15869#T46J
SEVX2H4M4J	SEVX2H4M4J	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.18929#RYLB
Sewing Lemma -	RP4E82WH9N	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 2312.06473#NC2X
SEWNA8NHYW	SEWNA8NHYW	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 2601.10370#UQ5M
SEWSYPHKJZ	SEWSYPHKJZ	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.01915#PF6F
SEX3BQJ20D	SEX3BQJ20D	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 2311.16252#ZPLF
sexagesimal	ATEF2Q7K51	unknown	open	Wikidata Q114799, MathWorld Sexagesimal
sextant	TGR8NR1TRJ	definition	open	Wikidata Q179430, ProofWiki Definition:Sextant
Sextic twisted first moment	VR4JZRVEJP	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.15316#ME7S
SEXTT317DF	SEXTT317DF	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 2511.05069#CEV5
sexy prime	SA88BE1SCM	unknown	open	Wikidata Q1194842, MathWorld SexyPrimes, OEIS A023201, OEIS A046117
SEXYWAWN4D	SEXYWAWN4D	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.16779#A07Z
SEYFKEZ9HK	SEYFKEZ9HK	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.09482#6J05
Seymour Papert	F8J5ZMX31X	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q335027, ProofWiki Mathematician:Seymour_Aubrey_Papert
SEYN0PWSJ0	SEYN0PWSJ0	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 2011.05871#P0BQ
SEYNDTSSP0	SEYNDTSSP0	statement	open	ernst_ibl MAAPressVersion/InfiniteSets.tex#thm:infiniteSetsSameCardinality
SEZ76Z30RQ	SEZ76Z30RQ	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.25289#7ECQ
SEZ8CFYGMV	SEZ8CFYGMV	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.21868#J4DO
SEZD7K0HBB	SEZD7K0HBB	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.30976#EOV3
SF0HRENVYB	SF0HRENVYB	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.08956#I9TN
SF0PW97XHR	SF0PW97XHR	exercise	open	lebl_diffyqs ch-systems.tex#exercise-51
SF24Y2H1WT	SF24Y2H1WT	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.14160#UIC4
SF26J1GJ99	SF26J1GJ99	proof	open	open_logic content/set-theory/spine/stagesbasics.tex#proof-2
SF38YGE0TJ	SF38YGE0TJ	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.27699#F7S3
SF3928GC5C	SF3928GC5C	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 2011.14561#3GZ2
SF3H5KZ7TF	SF3H5KZ7TF	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 1810.06028#QE9O
SF3ZV434TZ	SF3ZV434TZ	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.18016#BYWE
SF4H1CHRA8	SF4H1CHRA8	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.15188#QYSO
SF4H8RB5JX	SF4H8RB5JX	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.37897#AK96
SF4NHVH8EW	SF4NHVH8EW	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.06806#4MOW
SF4TTR2035	SF4TTR2035	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.28336#F2WZ
SF54CDCP4N	SF54CDCP4N	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.33697#UWY1
SF54QEKV65	SF54QEKV65	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.02993#5ZAB
SF5AXATTKF	SF5AXATTKF	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.14450#MLIF
SF5PA46ZS8	SF5PA46ZS8	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.37754#I197
SF6K4V6YM9	SF6K4V6YM9	example	open	lebl_scv scv.tex#example-15
SF6Q5QPX1E	SF6Q5QPX1E	exercise	open	levin_dmoi ptx/exercises/gt-paths.ptx#exercise-5
SF700K67BM	SF700K67BM	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 2208.14274#JQ0X
SF732SAZT8	SF732SAZT8	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.19036#V48T
SF7AY9JM31	SF7AY9JM31	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.21963#W42A
SF8J7X05VN	SF8J7X05VN	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.04265#EQT1
SF8QF830QW	SF8QF830QW	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.17516#9U3H
SF91EGRMQB	SF91EGRMQB	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.05914#S6CI
SF9DCGEXZZ	SF9DCGEXZZ	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.20909#I3KP
SFA1218N3S	SFA1218N3S	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.15169#UA06
SFAEBBT2TF	SFAEBBT2TF	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.33557#O72R
SFAJ3H4EGA	SFAJ3H4EGA	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 2005.03073#WQA9
SFAYC9Z7Z6	SFAYC9Z7Z6	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.33124#6NBP
SFBG4NVEMD	SFBG4NVEMD	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.37865#B17L
SFBRKKCPMZ	SFBRKKCPMZ	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.20758#1P2J
SFBXRT2DWP	SFBXRT2DWP	exercise	open	applied_combinatorics source/s_induction_exercises.ptx#exercise-11
SFCJ9PQKZB	SFCJ9PQKZB	statement	open	hott_book hlevels.tex#cor:preservation-hlevels-weq
SFCY0GY81H	SFCY0GY81H	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.37739#ICZ0
SFD386PV5S	SFD386PV5S	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.33263#ZONQ
SFDAPD49K8	SFDAPD49K8	proof	open	hott_book setmath.tex#proof-22
SFEAXXREPM	SFEAXXREPM	exercise	open	open_logic content/many-valued-logic/three-valued-logics/kleene.tex#prob-2
SFECHYJXP6	SFECHYJXP6	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.31126#FC0L
sfermion	K5WKR0YDM4	unknown	open	Wikidata Q2347008, nLab sfermion
SFERNNSGQR	SFERNNSGQR	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.04870#5O7D
SFEXTRX5KH	SFEXTRX5KH	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.31249#CWVP
SFF5NS9P1D	SFF5NS9P1D	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.30363#LM8O
SFF87BCNTX	SFF87BCNTX	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 0911.1417#QHLZ
SFFECRVJ5F	SFFECRVJ5F	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.02791#XDE3
SFFJFHG5JM	SFFJFHG5JM	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.06669#85RQ