MathOverflow
Andrew Bacon's user avatar
Andrew Bacon's user avatar
Andrew Bacon's user avatar
Andrew Bacon
  • Member for 8 years, 8 months
  • Last seen this week
Profile Activity
Stats
357
reputation
2k
reached
0
answers
5
questions
Communities
View all
About

I am an assistant professor in philosophy at the University of Southern California.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
0
Score
4
Posts
80
Posts %
0
Score
4
Posts
80
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
question
9
Substitutional modality
Jan 15, 2018
question
8
Interpretations of modal logic where $\Box$ means "valid"
Jul 31, 2020
question
6
Logics of proper class sized Kripke frames
Sep 19, 2021
question
5
Proper full submodels of full models of type theory
Jun 10, 2016
question
2
An extension of the disjunction property in modal logic
Aug 24, 2023
Top network posts
View all network posts
12
Examples of first-order claims about the reals that are not preserved under forcing
11
When can you "invert" an equation in the lambda calculus
9
Variants of Kuratowski's 14 set theorem
8
Topos theory and higher-order logic
8
$\lambda$-definability and structure preserved by homomorphisms