[PDF][PDF] Separating Markov's Principles

L Cohen, Y Forster, D Kirst… - 39th Annual ACM …, 2024 - inria.hal.science
… , it is a principle of the Russian school led by Markov [3, Ch. 3]… to a multitude of principles
spanning many areas of … The first such separation result was shown by Smorynski [52]…

Separating fragments of WLEM, LPO, and MP

M Hendtlass, R Lubarsky - The Journal of Symbolic Logic, 2016 - cambridge.org
… By separating different omniscience principles over IZF we … principle we can derive a stronger
omniscience principle, then we … Markov’s Principle represents unbounded search and is …

[HTML][HTML] A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle

J Berger, G Svindland - Annals of Pure and Applied Logic, 2016 - Elsevier
… that important classical theorems are classified into Markov's principle. … to Markov's principle
and indeed also equivalent to the following version of a classically well-known separation

The Markov blankets of life: autonomy, active inference and the free energy principle

M Kirchhoff, T Parr, E Palacios… - Journal of The …, 2018 - royalsocietypublishing.org
… The answer to this apparent paradox lies in the conditional independencies induced by
the presence of a Markov blanket, which (as we know) separates internal states and external …

[PDF][PDF] Markov's principle, Markov's rule and the notion of constructive proof

JR Moschovakis - … , Computation and Proof: Selected themes from …, 2019 - math.ucla.edu
… form of Markov’s Principle from intuitionistic arithmetic. Markov’s Principle for analysis MP1
… ” LCP for functions and an equivalent “almost separating principle” ASP for real numbers, …

Joint design and separation principle for opportunistic spectrum access in the presence of sensing errors

Y Chen, Q Zhao, A Swami - IEEE Transactions on Information …, 2008 - ieeexplore.ieee.org
Markov decision process (POMDP), and a separation … the separation principle for the optimal
joint design of OSA with single-channel sensing. Section V extends the separation principle

The Markov process as a compositional model: A survey and tutorial

C Ames - Leonardo, 1989 - muse.jhu.edu
… shown to be based on Markovian principles-although this is … state, destination state and
separation parameter as follows: (I) … (3) Locate the given separation parameter along the scale at …

A free energy principle for a particular physics

K Friston - arXiv preprint arXiv:1906.10184, 2019 - arxiv.org
… the basis of this separation. More specifically, … separated statistically from (external or
extrinsic) states that do not constitute the thing. This separation implies the existence of a Markov

[LIVRE][B] Interactive markov chains

H Hermanns, H Hermanns - 2002 - Springer
… processes and continuous-time Markov chains. There are … aggregate the leaky bucket
principle concludes this chapter. … discrete-time case we will use two separate relations,−−−−➤ …

A separation principle between scheduling and admission control for broadband switching

JM Hyman, AA Lazar, G Pacifici - IEEE Journal on selected …, 1993 - ieeexplore.ieee.org
… systems based on a principle of separation between these two … This principle is presented
in the context of asynchronous … The separation principle allows the formulation of an optimal …