CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 8 months agoWhat's a concrete example of LIN ⊊ NLIN?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareWhat's a concrete example of LIN ⊊ NLIN?plus-squareCanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 8 months agomessage-square0linkfedilink
CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 1 year agoHow do you find the center of two concentric circles with just a straightedge?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareHow do you find the center of two concentric circles with just a straightedge?plus-squareCanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 1 year agomessage-square0linkfedilink
CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · edit-23 years agoIs there an interesting set of natural numbers defined by a number-theoretic property that is finite?message-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareIs there an interesting set of natural numbers defined by a number-theoretic property that is finite?CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · edit-23 years agomessage-square0linkfedilink
CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agoIs there a question about a purely finite structure that's independent of ZF, or just ZF-infinity?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareIs there a question about a purely finite structure that's independent of ZF, or just ZF-infinity?plus-squareCanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agomessage-square0linkfedilink
CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agoWhat's an example of an ordered set other than R that obeys the first 3 Suslin conditions?plus-squareen.wikipedia.orgexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhat's an example of an ordered set other than R that obeys the first 3 Suslin conditions?plus-squareen.wikipedia.orgCanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agomessage-square0linkfedilink
CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agoWhat are some interesting fiber bundles with a disk or plane as the base?message-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareWhat are some interesting fiber bundles with a disk or plane as the base?CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agomessage-square0linkfedilink
CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agoHas someone written a proof of an empty Cartesian product of non-empty sets in ZF¬C?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareHas someone written a proof of an empty Cartesian product of non-empty sets in ZF¬C?plus-squareCanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agomessage-square0linkfedilink
CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agoWhat do you call the problem of "factoring" a group member into group generators?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareWhat do you call the problem of "factoring" a group member into group generators?plus-squareCanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agomessage-square0linkfedilink
CanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agoHow well known is the consistency of large-cardinal theories?plus-squaremessage-squaremessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1message-squareHow well known is the consistency of large-cardinal theories?plus-squareCanadaPlus@lemmy.sdf.org to math@lemmy.sdf.org · 3 years agomessage-square0linkfedilink
