Math 2.0

Inventory rows QE

The cards of the rows of the inventory whose ids start with QE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.

Edward Kasner QE316WAC92

URIm2://inv/QE316WAC92
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Freeman Dyson QE36FDGQGK

URIm2://inv/QE36FDGQGK
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

uniquely embeddable graph QE5C1PPSCQ

URIm2://inv/QE5C1PPSCQ
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

4-manifold QE8SSVKTJ6

URIm2://inv/QE8SSVKTJ6
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

arithmetic derivative QE915W1AMN

URIm2://inv/QE915W1AMN
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Schur algebra QE9X24PX2Y

URIm2://inv/QE9X24PX2Y
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

valuation ring QEA7BCMX7J

URIm2://inv/QEA7BCMX7J
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

prime knot QEH5VZCP1N

URIm2://inv/QEH5VZCP1N
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Irving Copi QEHXTH5835

URIm2://inv/QEHXTH5835
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Congruum QEK9ZNM88Y

URIm2://inv/QEK9ZNM88Y
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

rubidium QEKRC27NZ8

URIm2://inv/QEKRC27NZ8
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

highly cototient number QEPBJTNBP9

URIm2://inv/QEPBJTNBP9
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

covering space QEPFYDM96Z

URIm2://inv/QEPFYDM96Z
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

hectad QEPTF1W9D1

URIm2://inv/QEPTF1W9D1
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

definable set QESKKWGKJ1

URIm2://inv/QESKKWGKJ1
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview Logic and computation > Model theory > definable set, definable set (unknown). Also Mathlib Set.Definable

History

  • 2026-10-26: add by m2/dev

Grelling–Nelson paradox QEXHBYEN2E

URIm2://inv/QEXHBYEN2E
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Schur multiplier QEYMB6C6EW

URIm2://inv/QEYMB6C6EW
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Cauchy–Schwarz inequality QEYX7NATWZ

URIm2://inv/QEYX7NATWZ
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeCauchy–Schwarz inequality 0RFWW56Y22

Mentions

History

  • 2026-10-26: add by m2/dev