Access the full text.
Sign up today, get DeepDyve free for 14 days.
D. Marker (2002)
Model theory : an introduction
H. Rasiowa, R. Sikorski (1953)
Algebraic Treatment of the Notion of SatisfiabilityFundamenta Mathematicae, 40
D. Marker (2002)
Model Theory: An Introduction. Grad. Texts in Mathematics
G. Boole (1847)
The Mathematical Analysis of Logic
J. Krajícek (2006)
Forcing with Random Variables and Proof Complexity
J. Krajícek (1995)
Bounded arithmetic, propositional logic, and complexity theory, 60
A method for constructing Boolean-valued models of some fragments of arithmetic was developed in Krajíček (Forcing with Random Variables and Proof Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011), with the intended applications in bounded arithmetic and proof complexity. Such a model is formed by a family of random variables defined on a pseudo-finite sample space. We show that under a fairly natural condition on the family [called compactness in Krajíček (Forcing with Random Variables and Proof Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011)] the resulting structure has a property that is naturally interpreted as saturation for existential types. We also give an example showing that this cannot be extended to universal types.
Archive for Mathematical Logic – Springer Journals
Published: Sep 13, 2012
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.