Results 11 to 20 of about 3,950,481 (321)
Redefining Strong Completeness via Abstract Model Theory
This paper explores a novel approach to the concept of strong completeness within the expansive framework of abstract model theory. Traditionally, strong completeness relates to a logic's ability to derive all semantic consequences from a set of premises, often tied to properties like compactness and the L"owenheim-Skolem theorems.
Revista, Zen, MATH, 10
+5 more sources
On abstract model theory and defining well-orderings
, 2011 In this paper we will study the expressive power, measured by the ability to define certain classes, of some extensions of first order logic. The central concepts will be definability of classes of ordinals and the well-ordering number w of a logic. First we discuss the partial orders ≤, ≤P C and ≤RP C on logics and how these relate to each other and ...
Tommi Salo
openalex +2 more sources
Logics of Statements in Context-Category Independent Basics
Mathematics, 2022 Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj +1 more source
A categorical perspective towards aerodynamic models for aeroelastic analyses of bridge decks [PDF]
Royal Society Open Science, 2019 Reliable modelling in structural engineering is crucial for the serviceability and safety of structures. A huge variety of aerodynamic models for aeroelastic analyses of bridges poses natural questions on their complexity and thus, quality.
I. Kavrakov +3 more
doaj +1 more source
Confinement/deconfinement transition in the D0-brane matrix model — A signature of M-theory?
Journal of High Energy Physics, 2022 We study the confinement/deconfinement transition in the D0-brane matrix model (often called the BFSS matrix model) and its one-parameter deformation (the BMN matrix model) numerically by lattice Monte Carlo simulations.
Monte Carlo String/M-theory collaboration (MCSMC) +8 more
doaj +1 more source
An Abstraction Theory for Qualitative Models of Biological Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Multi-valued network models are an important qualitative modelling approach used widely by the biological community. In this paper we consider developing an abstraction theory for multi-valued network models that allows the state space of a model to be reduced while preserving key properties of the model.
Richard Banks, L. Jason Steggles
openaire +6 more sources
Perturbative string theory from Newtonian limit of string geometry theory
European Physical Journal C: Particles and Fields, 2020 String geometry theory is one of the candidates of the non-perturbative formulation of string theory. In Sato (Int J Mod Phys A 34(23):1950126, 2019), the perturbative string theory is reproduced from a string geometry model coupled with a u(1) gauge ...
Matsuo Sato, Yuji Sugimoto
doaj +1 more source
Kink crystalline condensate and multi-kink solution in holographic superconductor
Journal of High Energy Physics, 2020 The theory of superconductivity can be divided into two groups depending on whether it has multi-kink solutions. For example, the BCS theory and the Gross-Neveu model have metastable multi-kink solutions whereas the conventional Ginzburg-Landau theory ...
Masataka Matsumoto +2 more
doaj +1 more source
Internal Parametricity for Cubical Type Theory [PDF]
Logical Methods in Computer Science, 2021 We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives.
Evan Cavallo, Robert Harper
doaj +1 more source