1
vote
Refinement-minimal intersecting covers
Disclaimer: This is not an answer, and just too long for a comment.
Here is an example why the chain condition does not hold (which does not mean that there are no refinement-minimal covers, just that ...
1
vote
Harvey Friedman: The expanding mind
Friedman has made public on his website a 2016 draft titled "Expanding Mind Theory". On page 4 there is a definition of a theory $\mathrm{EM}$ in first-order logic which formalizes the ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
set-theory × 5271lo.logic × 2308
forcing × 791
large-cardinals × 745
reference-request × 441
gn.general-topology × 428
axiom-of-choice × 423
model-theory × 384
descriptive-set-theory × 368
infinite-combinatorics × 302
ct.category-theory × 201
measure-theory × 196
computability-theory × 165
co.combinatorics × 164
foundations × 146
order-theory × 144
ultrafilters × 135
ordinal-numbers × 121
inner-model-theory × 113
mathematical-philosophy × 112
real-analysis × 104
graph-theory × 103
constructibility × 96
continuum-hypothesis × 91
axioms × 87