Results 101 to 110 of about 305,109 (261)
On the model-completion of Heyting algebras
We axiomatize the model-completion of the theory of Heyting algebras by means of the "Density" and "Splitting" properties in [DJ18], and of a certain "QE Property" that we introduce here. In addition: we prove that this model-completion has a prime model,
Darnière, Luck
core
ABSTRACT Digital platform (DP) enterprises have risen to the top of the global economy by inverting traditional business models. They earn money through matchmaking, transaction facilitation, and efficient orchestration of other stakeholders' resources.
Lukas R. G. Fitz, Jochen Scheeg
wiley +1 more source
Failure in Motion: A Framework for Capability Erosion and Institutional Dysfunction
ABSTRACT Drawing on the literature on capability erosion and institutional dysfunction (ID), this study develops a conceptual framework that sheds new light on how the interaction between capability erosion and ID creates conditions for business failure across borders. By articulating two dimensions of heterogeneous capability and resource erosion (i.e.
Joseph Amankwah‐Amoah +1 more
wiley +1 more source
The Bazaar as a Model for Knowledge Work
ABSTRACT This paper presents fieldwork that extends existing metaphors of knowledge work as a process shaped by hierarchical or market forces. A qualitative, ethnographic study of six knowledge‐intensive businesses in two countries identifies striking parallels with the Middle Eastern bazaar in contrast to Western impersonal markets and hierarchies. We
Reed Elliot Nelson +2 more
wiley +1 more source
Ax-Kochen-Ershov principles for finitely ramified henselian fields
We study the model theory of finitely ramified henselian valued fields of fixed initial ramification, obtaining versions of the Ax-Kochen-Ershov principle as follows.
Anscombe, Sylvy +2 more
core +1 more source
PAC structures as invariants of finite group actions
We study model theory of actions of finite groups on substructures of a stable structure. We give an abstract description of existentially closed actions as above in terms of invariants and PAC structures.
Kowalski, Piotr, Hoffmann, Daniel Max
core
ABSTRACT The 2024 International Conference on Functional Neurological Disorders brought together clinicians, researchers, advocates, and service‐user representatives to discuss recent developments in functional neurological disorder and related functional disorders.
Yadira Velazquez‐Rodriquez +2 more
wiley +1 more source
"It's a feeling of complete disconnection": experiences of existential loneliness from youth to older adulthood. [PDF]
McKenna-Plumley PE +3 more
europepmc +1 more source
Model Completeness and Π2 -rules: the case of Contact Algebras
We give a sufficient condition for deciding admissibility of non-standard inference rules inside a modal calculus S with the universal modality. The condition requires the existence of a model completion for the discriminator variety of algebras which ...
S. Ghilardi, N. Bezhanishvili, L. Landi
core
From model completeness to verification of data aware processes
Model Completeness is a classical topic in model-theoretic algebra, and its inspiration sources are areas like algebraic geometry and field theory. Yet, recently, there have been remarkable applications in computer science: these applications range from ...
S. Ghilardi +9 more
core +1 more source

