Formal model of internal measurement: Alternate changing between recursive definition and domain equation

DOI10.1016/S0167-2789(97)00126-7zbMATH Open0925.03221OpenAlexW1974448912MaRDI QIDQ1373932FDOQ1373932

Authors: Yukio-Pegio Gunji, Keisuke Ito, Yoshiyuki Kusunoki 

Publication date: 26 November 1997

Published in: Physica D (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-2789(97)00126-7

Recommendations

• scientific article; zbMATH DE number 1670818
• From model checking to model measuring
• Submodel-defining formulas
• Domain Theory and Measurement
• Change of correctness under equivalent transformations of mathematical models
• Parametrized measure models
• scientific article; zbMATH DE number 6115857

zbMATH Keywords

dynamical systemtransition ruleevolutionary processesdomain equation

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Cites Work

• Title not available (Why is that?)
• Fick's law and fractality of nonequilibrium stationary states in a reversible multibaker map.
• Relevance of dynamic clustering to biological networks
• Title not available (Why is that?)
• Fractal functions and interpolation
• Recursive unsolvability of a problem of Thue
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computational complementarity
• Automata simulating quantum logics
• Artificial life with autonomously emerging boundaries
• Symposium on semantics of algorithmic languages
• Title not available (Why is that?)
• Relative-state theory: four new aspects.
• The difference of status between internal and external measurement
• Title not available (Why is that?)
• Nowhere-differentiable attractors

Cited In (12)

• Punctuated equilibrium in thoroughbred evolution and its model based on asynchronous clocks
• Emergence and collapse of money through reciprocity
• Dynamical infomorphism: form of endo-perspective
• Living systems are dynamically stable by computing themselves at the quantum level
• The origin of universality: making and invalidating a free category
• Interface of global and local semantics in a self-navigating system based on the concept lattice
• Orthomodular lattice obtained from addressing a fixed point
• The difference of status between internal and external measurement
• Autonomous indefiniteness versus external indefiniteness: Theory of weak topped \(\cap\)-structure and its application to elementary local cellular automaton
• Robust and ubiquitous on-off intermittency in active coupling
• Observational heterarchy enhancing active coupling
• Dynamical duality of type- and token-computation as an abstract brain

This page was built for publication: Formal model of internal measurement: Alternate changing between recursive definition and domain equation

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