Skip to main content
Malice Vidrine's user avatar
Malice Vidrine's user avatar
Malice Vidrine's user avatar
Malice Vidrine
  • Member for 10 years, 7 months
  • Last seen more than a month ago
9 votes
1 answer
471 views

Can a general version of the covariant powerset monad be derived from the universal property of power objects?

9 votes
2 answers
297 views

What is the topology associated with the algebras for the ultrafilter monad?

8 votes
2 answers
199 views

For two theories $T,T'$, what does $T\vdash Con(T')$ really tell us about the models of $T$?

8 votes
1 answer
545 views

Is there any point in a logician studying $\infty$-categories?

7 votes
2 answers
1k views

Why am I learning model theory?

7 votes
3 answers
495 views

Why can any type be realized?

6 votes
1 answer
533 views

Is the interpretation of the Morleyization of a first order theory in a Heyting category automatically classical?

6 votes
0 answers
82 views

Is there an internal notion of "continuous flat presheaf"?

5 votes
1 answer
81 views

Showing there is a model of PA whose ordering is $\aleph_1$-like

5 votes
0 answers
253 views

A question about Ščedrov's "Forcing and Classifying Topoi"

4 votes
1 answer
226 views

Is there a "properly categorical" description of Eilenberg-Moore algebras on a relative monad?

4 votes
0 answers
81 views

Categorical description of permutation-invariance of models

4 votes
1 answer
113 views

Idempotence of Lawvere-Tierney topology induced by Grothendieck topology

4 votes
1 answer
76 views

Categories of presheaves with topologies stronger than $\neg\neg$-topology

3 votes
1 answer
101 views

A remark in proof of theorem 3.18 in Johnstone's *Topos Theory*

3 votes
2 answers
845 views

Ultrafilter Lemma implies Compactness/Completeness of FOL

3 votes
1 answer
46 views

Replacement in a topos with an eye to a natural model of TST

2 votes
1 answer
149 views

Sorting out what's true in the generic model in the classifying topos of a theory

1 vote
1 answer
28 views

Seeing that application in the PCA $A[f]$ is really a partial function

1 vote
0 answers
32 views

In the tripos-to-topos construction, why should the underlying object of the terminal object be weakly terminal?

1 vote
0 answers
91 views

Infinite ordinals in proof theory

1 vote
1 answer
48 views

In a topos, an internally functional relation induces a partial morphism

1 vote
1 answer
68 views

Need this transfinite construction reach a closed set in the absence of the Axiom of Choice? Or Hartogs' theorem?

1 vote
1 answer
120 views

References for a notion of "restricted adjoint"

1 vote
1 answer
94 views

Set-like permutations of models of set theory in an arbitrary topos

1 vote
0 answers
72 views

Name of, and (if I'm lucky) references on, a particular property of an interpretation

0 votes
1 answer
139 views

What is homotopy in $(\infty,1)$-categories (as weak Kan complexes)

0 votes
1 answer
159 views

A question about a detail in Bell's "Primer of Infinitesimal Analysis"

0 votes
0 answers
64 views

Examples of Partial Combinatory Algebras with surjective pairing?