 |
Post AyGvHEBNRj2y5nB3iq by [email protected] |
 |
More posts by [email protected] |
|
Post #AyGvHEBNRj2y5nB3iq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Dumb topos theory question: is satisfying the completeness theorem for a given … |
|
|
|
Post #AyGvHEI72gR0QgKRDk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@codyroux what does "externally given"/"internally given" m… |
|
|
|
Post #AyGvHIZd7Up7iAYU52 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew @codyroux The ∀ in "all cosnistent theories have models" c… |
|
|
|
Post #AyGvHJjanwO3JMDxFQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@andrejbauer @maxsnew yes exactly this, though you'd probably need an NNO t… |
