Article

A Note on Los's Theorem for Kripke-Joyal Semantics
A Note on Los's Theorem for Kripke-Joyal Semantics

Nov 19, 2024

Ultraproducts in abstract categorical logic
Ultraproducts in abstract categorical logic

Aug 4, 2024