192 citations
2 papers
math.LO2026
Normalisation for Positive Free Logics without and with Definite Descriptions
Nils Kürbis
This paper proves normalisation theorems for intuitionist and classical positive free logic, without and with the iota operator for definite descriptions `the F'. Positive free log…
econ.EM2026★ 192 cited
Dynamic Linear Panel Regression Models with Interactive Fixed Effects
Hyungsik Roger Moon, Martin Weidner
We analyze linear panel regression models with interactive fixed effects and predetermined regressors, for example lagged-dependent variables. The first-order asymptotic theory of…