Results 31 to 40 of about 837 (183)

Interpolation in Term Functor Logic

Crítica, 2023
Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic.
J.-Martín Castro-Manzano
doaj   +1 more source

Some topological properties of the spaces expX, λX and NX [PDF]

Mathematica Moravica, 2017
In this paper we prove that the exponential functor exp and the functor of superextension λ preserve some topological properties with respect to the topology of any T1 -space, and the functor of complete linked systems N preserves some topological ...
Mukhamadiev F.G.
doaj  

Adjoint relations for the category of local dcpos [PDF]

Categories and General Algebraic Structures with Applications, 2017
In this paper, we consider the forgetful functor from the category {bf LDcpo} of local dcpos (respectively, {bf Dcpo} of dcpos) to  the category {bf Pos} of posets (respectively, {bf LDcpo} of local dcpos), and study the existence of its left and right ...
Bin Zhao, Jing Lu, Kaiyun Wang
doaj  

From Offline to Inline Without Pain: A Practical Framework for Translating Offline MR Reconstructions to Inline Deployment Using the Gadgetron Platform

Magnetic Resonance in Medicine, EarlyView.
ABSTRACT Purpose To develop and validate a practical, open‐source framework to overcome common issues in inline deployment of established offline MR reconstruction, including (1) scan disruption from lengthy reconstructions, (2) limited support for multi‐scan input reconstructions, (3) needs to adapt scripts for different raw‐data formats, and (4 ...
Zihan Ning, Yannick Brackenier, Sarah McElroy, Sara Neves Silva, Lucilio Cordero‐Grande, Samuel Rot, Liane S. Canas, Rebecca E. Thornley, David Leitão, Davide Poccecai, Andrew Cantell, Rene Kerosi, Anthony N. Price, Jon Cleary, Donald J. Tournier, Jana Hutter, Philippa Bridgen, Pierluigi Di Cio, Michela Cleri, Inka Granlund, Lucy Billimoria, Yasmin Blunck, Shaihan Malik, Marc Modat, Sebastien Ourselin, Claire J. Steves, Joseph V. Hajnal   +26 more
wiley   +1 more source

由度量空间诱导的*-拓扑和s-拓扑(* -Topology and s-topology induced by metric space)

Zhejiang Daxue xuebao. Lixue ban, 2018
This paper studies * -topology and s-topology in polysaturated nonstandard model,which are induced by metric space on two nonstandard sets. In order to construct * -topology , the set of finite points is introduced.
SHIYanwei(史艳维), MAChunhui(马春晖)   +1 more
doaj   +1 more source

Prismatic Dieudonné Theory

Forum of Mathematics, Pi, 2023
We define, for each quasisyntomic ring R (in the sense of Bhatt et al., Publ. Math. IHES 129 (2019), 199–310), a category $\mathrm {DM}^{\mathrm {adm}}(R)$ of admissible prismatic Dieudonné crystals over R and a functor from p-divisible groups ...
Johannes Anschütz, Arthur-César Le Bras   +1 more
doaj   +1 more source

The I in logic

Theoria, EarlyView.
Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley   +1 more source

On computing local monodromy and the numerical local irreducible decomposition

Transactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.
Abstract Similarly to the global case, the local structure of a holomorphic subvariety at a given point is described by its local irreducible decomposition. Geometrically, the key requirement for obtaining a local irreducible decomposition is to compute the local monodromy action of a generic linear projection at the given point, which is always well ...
Parker B. Edwards, Jonathan D. Hauenstein   +1 more
wiley   +1 more source

Can we repudiate ontology altogether?

Noûs, Volume 60, Issue 2, Page 264-292, June 2026.
Abstract Ontological nihilists repudiate ontology altogether, maintaining that ontological structure is an unnecessary addition to our theorizing. Recent defenses of the view involve a sophisticated combination of highly expressive but ontologically innocent languages combined with a metaphysics of features—non‐objectual, complete but modifiable states
Christopher J. Masterman
wiley   +1 more source

Infinity‐operadic foundations for embedding calculus

Journal of Topology, Volume 19, Issue 2, June 2026.
Abstract Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of ∞$\infty$‐categories of truncated right modules over a unital ∞$\infty$‐operad O$\mathcal {O}$. We study monoidality and naturality properties of this tower, identify its layers, describe the difference between the towers as O$\mathcal {O}$
Manuel Krannich, Alexander Kupers
wiley   +1 more source