Joyal, A. and G. E. Reyes. Forcing and generic models in categorical logic.16 pages.
(1978) (TT&CL)
From mathematics to literature. – Des mathématiques à la littérature.
June 1, 1978 in Articles, Categorical logic, Gonzalo E. Reyes, Mathematics, Topos theory | by gonzalomarie
Joyal, A. and G. E. Reyes. Forcing and generic models in categorical logic.16 pages.
(1978) (TT&CL)
Blog at WordPress.com.Ben Eastaugh and Chris Sternal-Johnson.
