Results 81 to 90 of about 1,009,763 (185)
Realizability of matroid quotients [PDF]
We characterize the realizability of a quotient of matroids, over an infinite field $K$, in terms of the realizability over $K$ of a single matroid associated to it, called the Higgs major. This result extends to realizability of flag matroids.
Borzì, Alessio
core
Realizability Models for Sequential Computation
, 1998 We give an overview of some recently discovered realizability models that embody notions of sequential computation, due mainly to Abramsky, Nickau, Ong, Streicher, van Oosten and the author. Some of these models give rise to fully abstract models of PCF;
John Longley
core
Sheaf Toposes for Realizability
, 2001 We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms to study the relationship between realizability models over different ...
Steven Awodey, Andrej Bauer
core
, 2013 The thesis is a comprehensive analysis of realizability toposes, which is divided into three central chapters. The first chapter considers a class of realizability models which are a generalization of realizability triposes, and derives a collection of ...
Sub Algebra,Geometry&Mathem. Logic begr. +5 more
core
An Extensional Modified Realizability Topos
In this thesis, we construct and investigate a topos for Kreisel’s modified realizability. The topos, like Kreisel’s modified realizability, is characterized by the axiom of choice in all finite types and the principle of independence of premise.
de Vries, Mees
core
This paper explores the concept of realization universality, focusing on identifying minimal universal realization families for a large class of functions. The core objective is to determine if, for a vast set of functions [f ∈ F], a small family [U] exists such that each function [P_f] can be represented within [U]. The theoretical framework presented
openaire +1 more source
Programmable hydrodynamics of active particles. [PDF]
Nat CommunRohde L +3 more
europepmc +1 more source
n次元レイノルズ応力テンソルの Realizability の一般証明
This paper presents mathematically rigorous and universal proof of realizability conditions which, Schumann insists, any Reynolds stress component must satisfy.
清水, 昭比古 +5 more
core
A caveat regarding the unfolding argument: implications of plasticity. [PDF]
Neurosci ConsciousO'Reilly-Shah VN +2 more
europepmc +1 more source
Disability, Subject-Dependence, and the Bad-Difference View. [PDF]
BioethicsIshida S, Sasaki-Honda M, Sawai T.
europepmc +1 more source