This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n20http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F13%3A10188759%21RIV14-MSM-11320___/
n11http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/resource/domain/vavai/projekt/
n7http://linked.opendata.cz/resource/domain/vavai/subjekt/
n6http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n8http://linked.opendata.cz/ontology/domain/vavai/riv/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n19http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F13%3A10188759%21RIV14-MSM-11320___
rdf:type
skos:Concept n6:Vysledek
rdfs:seeAlso
http://dx.doi.org/10.1007/s00153-012-0304-9
dcterms:description
A method for constructing Boolean-valued models of some fragments of arithmetic was developed in Krajicek (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 Krajicek (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. A method for constructing Boolean-valued models of some fragments of arithmetic was developed in Krajicek (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 Krajicek (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.
dcterms:title
A saturation property of structures obtained by forcing with a compact family of random variables A saturation property of structures obtained by forcing with a compact family of random variables
skos:prefLabel
A saturation property of structures obtained by forcing with a compact family of random variables A saturation property of structures obtained by forcing with a compact family of random variables
skos:notation
RIV/00216208:11320/13:10188759!RIV14-MSM-11320___
n6:predkladatel
n7:orjk%3A11320
n8:aktivita
n16:I n16:P
n8:aktivity
I, P(IAA100190902)
n8:cisloPeriodika
1-2
n8:dodaniDat
n14:2014
n8:domaciTvurceVysledku
n18:9626913
n8:druhVysledku
n12:J
n8:duvernostUdaju
n21:S
n8:entitaPredkladatele
n20:predkladatel
n8:idSjednocenehoVysledku
59040
n8:idVysledku
RIV/00216208:11320/13:10188759
n8:jazykVysledku
n15:eng
n8:klicovaSlova
Non-standard model of arithmetic; Saturation property; Boolean-valued structures
n8:klicoveSlovo
n19:Non-standard%20model%20of%20arithmetic n19:Saturation%20property n19:Boolean-valued%20structures
n8:kodStatuVydavatele
DE - Spolková republika Německo
n8:kontrolniKodProRIV
[FF0335B91CED]
n8:nazevZdroje
Archive for Mathematical Logic
n8:obor
n9:BA
n8:pocetDomacichTvurcuVysledku
1
n8:pocetTvurcuVysledku
1
n8:projekt
n13:IAA100190902
n8:rokUplatneniVysledku
n14:2013
n8:svazekPeriodika
52
n8:tvurceVysledku
Krajíček, Jan
n8:wos
000318365900002
s:issn
0933-5846
s:numberOfPages
10
n10:doi
10.1007/s00153-012-0304-9
n11:organizacniJednotka
11320