Simultaneous Inference Using Finite Intersection Tests

Author(s):  
Kevin Kim ◽  
Neil Timm
Author(s):  
Sayar Karmakar ◽  
Stefan Richter ◽  
Wei Biao Wu

1980 ◽  
Vol 3 (2) ◽  
pp. 135-139
Author(s):  
Gheorghe Păun

It is shown that a) there is an equal matrix language which cannot be written as a finite intersection of context-free languages and b) any finite intersection of context-free languages can be generated by a regular conditional grammar with context-free control languages.


2021 ◽  
Vol 130 (5) ◽  
pp. 055901
Author(s):  
W. J. Schill ◽  
R. A. Austin ◽  
K. L. Schimdt ◽  
J. L. Brown ◽  
N. R. Barton

Author(s):  
Todd Colin Pataky ◽  
Konrad Abramowicz ◽  
Dominik Liebl ◽  
Alessia Pini ◽  
Sara Sjöstedt de Luna ◽  
...  

Author(s):  
Hongwen Guo ◽  
Dihe Hu

We weaken the open set condition and define a finite intersection property in the construction of the random recursive sets. We prove that this larger class of random sets are fractals in the sense of Taylor, and give conditions when these sets have positive and finite Hausdorff measures, which in certain extent generalize some of the known results, about random recursive fractals.


1991 ◽  
Vol 56 (3) ◽  
pp. 1016-1025 ◽  
Author(s):  
H. Jerome Keisler ◽  
James H. Schmerl

AbstractIn a nonstandard universe, the κ-saturation property states that any family of fewer than κ internal sets with the finite intersection property has a nonempty intersection. An ordered field F is said to have the λ-Bolzano-Weierstrass property iff F has cofinality λ and every bounded λ-sequence in F has a convergent λ-subsequence. We show that if κ < λ are uncountable regular cardinals and βα < λ whenever α < κ and β < λ then there is a κ-saturated nonstandard universe in which the hyperreal numbers have the λ-Bolzano-Weierstrass property. The result also applies to certain fragments of set theory and second order arithmetic.


Sign in / Sign up

Export Citation Format

Share Document