Finite forcing and generic filters in arithmetic
- 1 January 1975
- book chapter
- Published by Springer Nature
- p. 172-199
- https://doi.org/10.1007/bfb0080980
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Models of Arithmetic and recursive functionsIsrael Journal of Mathematics, 1975
- Forcing, Arithmetic, Division RingsLecture Notes in Mathematics, 1975
- A note on model complete models and generic modelsProceedings of the American Mathematical Society, 1972
- Diophantine Representation of Recursively Enumerable PredicatesPublished by Elsevier ,1971
- Completing theories by forcingAnnals of Mathematical Logic, 1970