The following pages link to Second Order Logic or Set Theory? (Q5388758):
Displaying 13 items.
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- Categoricity results for second-order ZF in dependent type theory (Q1687749) (← links)
- Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
- Categoricity results and large model constructions for second-order ZF in dependent type theory (Q2319994) (← links)
- Internal categoricity in arithmetic and set theory (Q2345394) (← links)
- Boolean-valued second-order logic (Q2345397) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- AN EXTENSION OF A THEOREM OF ZERMELO (Q5226595) (← links)
- CAPTURING CONSEQUENCE (Q5381040) (← links)
- WHAT CAN A CATEGORICITY THEOREM TELL US? (Q5402238) (← links)
- GENERALIZING BOOLOS’ THEOREM (Q5737962) (← links)
- Multiple universes of sets and indeterminate truth values (Q5950498) (← links)
- Internal categoricity, truth and determinacy (Q6054059) (← links)
