A saturation property of structures obtained by forcing with a compact family of random variables

DOI10.1007/S00153-012-0304-9MaRDI QIDQ1935366zbMATH OpenOpenAlexFDO

Authors Jan Krajíček

Publication date 15 February 2013

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.1548

zbMATH Keywords

saturation propertynonstandard model of arithmeticBoolean-valued structures

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Nonstandard models of arithmetic (03H15) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Abstract: A method how to construct Boolean-valued models of some fragments of arithmetic was developed in Krajicek (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 K.(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.

Recommendations

• scientific article; zbMATH DE number 5845490
• scientific article; zbMATH DE number 4195915
• Forcing for first-order languages from the perspective of Rasiowa-Sikorski lemma
• Boolean universes above Boolean models
• Completeness of Boolean powers of Boolean algebras

Cites work

• scientific article; zbMATH DE number 5845490 (Why is no real title available?)
• scientific article; zbMATH DE number 819737 (Why is no real title available?)
• Algebraic treatment of the notion of satisfiability
• Model Theory

Cited in

(2)

• Forcing for first-order languages from the perspective of Rasiowa-Sikorski lemma
• On some composite Kies families: distributional properties and saturation in Hausdorff sense

This page was built for publication: A saturation property of structures obtained by forcing with a compact family of random variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1935366)