OP-10067Logic and foundationsStatus unassessed
Vaught conjecture
Vaught conjecture
Formal Conjectures· Specialist source · status unassessed
MSC2020 · 03-XX
Mathematical logic and foundations
Mathematical logic and foundations
177 mapped entries · Browse and filter all →
Counts include all statuses and descendants. Classifications are editorial or inferred from community fields, not an AMS assessment of the problem.
Subcategories
03-00General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations003-01Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations003-02Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations003-03History of mathematical logic and foundations003-04Software, source code, etc. for problems pertaining to mathematical logic and foundations003-06Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations003-08Computational methods for problems pertaining to mathematical logic and foundations003-11Research data for problems pertaining to mathematical logic and foundations003AxxPhilosophical aspects of logic and foundations003BxxGeneral logic003CxxModel theory003DxxComputability and recursion theory403ExxSet theory003FxxProof theory and constructive mathematics203GxxAlgebraic logic003HxxNonstandard models0
Mapped problems
OP-9978Logic and foundationsStatus unassessed
Busy Beaver
Busy Beaver
Formal Conjectures· Specialist source · status unassessed
OP-9661Logic and foundationsStatus unassessed
Erdős Problem 1176
Erdős Problem 1176
Formal Conjectures· Specialist source · status unassessed
OP-9414Logic and foundationsOpen
Erdős #1220 · set theory / ramsey theory
Let lambda be a singular cardinal such that both lambda and mathrm cf ( lambda) are aleph 0 -inaccessible. Does lambda to ( lambda, aleph 1)^2 hold?
Erdős Problems (Thomas Bloom)· Source reports OPEN
OP-9413Logic and foundationsOpen
Erdős #1218 · set theory / ramsey theory
Assume the Generalised Continuum Hypothesis and let beta= omega omega+1 . Is it true that aleph beta+1 not to ( aleph beta,4, ldots,4)^3 (where there are countably infinite many copies of 4 )?
Erdős Problems (Thomas Bloom)· Source reports OPEN
OP-9390Logic and foundationsOpen
Erdős #1177 · set theory / chromatic number
Let G be a finite 3 -uniform hypergraph, and let F G( kappa) denote the collection of 3 -uniform hypergraphs with chromatic number kappa not containing G . If F G( aleph 1) is not empty then there exists $X …
Erdős Problems (Thomas Bloom)· Source reports OPEN
OP-9389Logic and foundationsOpen
Erdős #1175 · set theory / chromatic number
Let kappa be an uncountable cardinal. Must there exist a cardinal lambda such that every graph with chromatic number lambda contains a triangle-free subgraph with chromatic number kappa ?
Erdős Problems (Thomas Bloom)· Source reports OPEN
OP-9388Logic and foundationsOpen
Erdős #1173 · set theory / combinatorics
Assume the generalised continuum hypothesis. Let f: omega omega+1 to [ omega omega+1 ]^ leq aleph omega be a set mapping such that lvert f( alpha) cap f( beta) rvert < aleph omega for all $ al…
Erdős Problems (Thomas Bloom)· Source reports OPEN
OP-9387Logic and foundationsOpen
Erdős #1172 · set theory / ramsey theory
Establish whether the following are true assuming the generalised continuum hypothesis: omega 3 to ( omega 2, omega 1+2)^2, omega 3 to ( omega 2+ omega 1, omega 2+ omega)^2, omega 2 to ( omega 1^ o…
Erdős Problems (Thomas Bloom)· Source reports OPEN
OP-9386Logic and foundationsOpen
Erdős #1171 · set theory / ramsey theory
Is it true that, for all finite k< omega , omega 1^2 to ( omega 1 omega, 3, ldots,3) k+1 ^2?
Erdős Problems (Thomas Bloom)· Source reports OPEN
Journals & articles in MSC 03
These are selected sources for the parent class. Article coverage is a first reviewed selection, and may not cover this exact subcategory.
Association for Symbolic Logic / Cambridge
Logic and foundations
- The complexity of propositional proofs
2007 · 2 questions extracted
MSC2020 © Mathematical Reviews (AMS) and zbMATH · CC BY-NC-SA 4.0 · Official PDF, page 6