Examples of bounded arithmetic models via forcing with random variables
This page will collect some examples of models that could be useful to students of the forcing with random variables method and are not given in my book.
The list will grow in time (at least that is the plan).
a failure of open-LNP in the rudimentary model (summer 2024)
models for E_1-LNP and Sigma^b_1-LNP (December 2024)