Results 1 to 10 of about 44,261 (160)
The noneffectivity of Arslanov’s completeness criterion and related theorems [PDF]
Archive for Mathematical Logic, 2020 AbstractWe discuss the (non)effectivity of Arslanov’s completeness criterion. In particular, we show that a parameterized version, similar to the recursion theorem with parameters, fails. We also discuss the effectivity of another extension of the recursion theorem, namely Visser’s ADN theorem, as well as that of a joint generalization of the ADN ...
Sebastiaan A Terwijn
exaly +5 more sources
A Criterion for Asymptotic Completeness in Local Relativistic QFT [PDF]
Communications in Mathematical Physics, 2014 ISSN:0010 ...
Wojciech Dybalski +2 more
exaly +5 more sources
Summation, Saliency, and Saturation (3S): a continuum for a practical approach to assessing sample adequacy and analytic completeness in qualitative implementation research [PDF]
Implementation Science CommunicationsBackground Saturation is a common criterion for determining qualitative sample size adequacy and analytic completeness. The dynamic and fast-paced implementation research environment poses unique challenges for investigators conducting qualitative ...
Valerie Chepp +2 more
doaj +2 more sources
Applied Sciences, 2023 For the semi-physical simulation test process of the coordinates of aircraft landing points, the concept of a completeness test for landing point simulation data is proposed, and a completeness test criterion based on field test data and expert ...
Bin Suo +4 more
doaj +1 more source
Complete Criterion for Separability Detection [PDF]
Physical Review Letters, 2009 Using new results on the separability properties of bosonic systems, we provide a new complete criterion for separability. This criterion aims at characterizing the set of separable states from the inside by means of a sequence of efficiently solvable semidefinite programs.
Navascues, Miguel +2 more
openaire +3 more sources
A Complete Generalized Adjustment Criterion [PDF]
, 2015 Covariate adjustment is a widely used approach to estimate total causal effects from observational data. Several graphical criteria have been developed in recent years to identify valid covariates for adjustment from graphical causal models. These criteria can handle multiple causes, latent confounding, or partial knowledge of the causal structure ...
Perković, Emilija +3 more
openaire +5 more sources
Criterion of Completeness and Submaximal Ultraclones for Linear Hyperfunctions of Rank 2
Известия Иркутского государственного университета: Серия "Математика", 2023 In recent years, the direction associated with the study of maps from a finite set A to the set of all subsets of the set A, including the empty one, has been intensively developing. Such mappings are called multifunctions on A, as well as hyperfunctions
I.K. Sharankhaev
doaj +1 more source
Criteria for sustainable development in mining industry [PDF]
E3S Web of Conferences, 2020 The article considers the problem of improving the transition to sustainable development in the conditions of the economy with environmental priorities.
Ignatyeva Margarita +3 more
doaj +1 more source
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
The Journal of Symbolic Logic, 2022 AbstractWe investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra.
Sam Adam-Day +3 more
openaire +3 more sources
On completeness of reducibility candidates as a semantics of strong normalization [PDF]
Logical Methods in Computer Science, 2012 This paper defines a sound and complete semantic criterion, based on reducibility candidates, for strong normalization of theories expressed in minimal deduction modulo \`a la Curry.
Denis Cousineau
doaj +1 more source