Skip to content
Home
Problems
Updates
Vela Mathematics Program
/
Problems
Search or jump
⌘K
Overview
Problem ledger
Claims
Proposed changes
Commits
Reproduce
Problems · Vela Mathematics Program
Narrowed to
hypergraphs ×
source:vibemathed ×
Clear all
Narrow the ledger
Formalization
formalized
1
not formalized
1
Subject tag
number theory
80
analysis
16
geometry
14
graph theory
13
additive combinatorics
11
distances
8
chromatic number
7
additive basis
6
›
24 more subjects
covering systems
6
primes
6
divisors
5
polynomials
5
ramsey theory
5
set theory
5
sidon sets
5
factorials
4
irrationality
4
unit fractions
4
binomial coefficients
3
combinatorics
3
complete sequences
3
discrepancy
3
primitive sets
3
arithmetic progressions
2
hypergraphs
2
turan number
2
base representations
1
cycles
1
group theory
1
iterated functions
1
probability
1
squares
1
Contributing source
source:erdos-problems
31
source:erdos-ai-contributions-wiki
8
source:formal-conjectures
8
source:jayyhk-erdos-lean
4
source:plby-lean-proofs
3
source:vibemathed
2
source:gpt-erdos
1
Problem ledger
2 problems
Graph view
declared open
· formalized · $500
erdos:593
Erdos Problem #593 asks which finite triple systems occur in every uncountably chromatic triple system. The answer is exactly the class generated from private-vertex expansions of finite bipartite graphs by finite disjoint unions and one-point amalgamations. Problem #1177 on exact spectra is settled alongside it.
set theory
graph theory
hypergraphs
N/A
4 sources
declared open
erdos:1177
For a finite forbidden triple system
G
G
, what exact uncountable chromatic cardinalities occur among
G
G
-free triple systems, and how do those spectra interact? The revised manuscript answers the three exact-cardinal questions and claims a complete spectrum dichotomy.
set theory
chromatic number
hypergraphs
N/A
3 sources