Nonnegative realizability with Jordan structure
Sign Up to like & getrecommendations! Published in 2020 at "Linear Algebra and its Applications"
DOI: 10.1016/j.laa.2019.11.016
Abstract: Abstract A general method is given for merging blocks in the Jordan canonical form of a nonnegative matrix. As a consequence, results, more general than any prior ones, are given for the universal realizability of… read more here.
Keywords: nonnegative realizability; jordan; realizability jordan; jordan structure ... See more keywords
Preserving cardinals and weak forms of Zorn’s lemma in realizability models
Sign Up to like & getrecommendations! Published in 2020 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129521000013
Abstract: Abstract We develop a technique for representing and preserving cardinals in realizability models, and we apply this technique to define a realizability model of Zorn’s lemma restricted to an ordinal. read more here.
Keywords: zorn lemma; realizability models; cardinals weak; realizability ... See more keywords
On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
Sign Up to like & getrecommendations! Published in 2021 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s096012952100013x
Abstract: Abstract We consider two preorder-enriched categories of ordered partial combinatory algebras: OPCA, where the arrows are functional (i.e., projective) morphisms, and OPCA†, where the arrows are applicative morphisms. We show that OPCA has small products… read more here.
Keywords: realizability; realizability toposes; combinatory algebras; products partial ... See more keywords
Multiple Realizability and Biological Modality
Sign Up to like & getrecommendations! Published in 2019 at "Philosophy of Science"
DOI: 10.1086/705478
Abstract: Critics of multiple realizability have recently argued that we should concentrate solely on actual here-and-now realizations that are found in nature. The possibility of alternative, but unactualized, realizations is regarded as uninteresting because it is… read more here.
Keywords: biological modality; philosophy; realizability biological; realizability ... See more keywords
On Polarization Selection of Electromagnetic Waves and Its Realizability
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Communications Technology and Electronics"
DOI: 10.1134/s1064226918010035
Abstract: The realizability of polarization selection of electromagnetic waves is proved. The possibility of determination of the polarization of the radiated wave even in the case an arbitrary variation in the mutual positions of transmitting and… read more here.
Keywords: polarization; selection electromagnetic; realizability; electromagnetic waves ... See more keywords
Parity conditions for realizability of Gauss diagrams
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Knot Theory and Its Ramifications"
DOI: 10.1142/s0218216519500159
Abstract: We consider a problem of realizability of Gauss diagrams by closed plane curves where the plane curves have only double points of transversal self-intersection. We formulate the necessary and sufficient conditions for realizability. These conditions… read more here.
Keywords: parity conditions; realizability; conditions realizability; gauss diagrams ... See more keywords