Results 1 to 10 of about 5,128,337 (190)
Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an improvement on Halbach’s argument. By adding the Tarski biconditionals to inclusive negative free logic
Heylen, Jan, Horsten, Leon
openaire +10 more sources
Of those gauge theories of gravity known to be equivalent to general relativity, only the biconformal gauging introduces new structures — the quotient of the conformal group of any pseudo-Euclidean space by its Weyl subgroup always has natural symplectic and metric structures.
Spencer, J. A., Wheeler, James Thomas
openaire +6 more sources
Convergence of a fully discrete finite element method for a degenerate parabolic system modelling nematic liquid crystals with variable degree of orientation [PDF]
Published ...
Andreas Prohl+7 more
core +2 more sources
Living objects can be understood as systems that are able to evaluate their own existence and, based on experience, to respond optimally to its development.
openaire +1 more source
Existence and non existence results for the singular Nirenberg problem [PDF]
In this paper we study the problem, posed by Troyanov (Trans AMS 324: 793–821, 1991), of prescribing the Gaussian curvature under a conformal change of the metric on surfaces with conical singularities.
DE MARCHIS, Francesca+1 more
core +1 more source
Existence and Non-existence of Half-Geodesics on $S^2$ [PDF]
In this paper we study half-geodesics, those closed geodesics that minimize on any subinterval of length $l(\gamma)/2$. For each nonnegative integer $n$, we construct Riemannian manifolds diffeomorphic to $S^2$ admitting exactly $n$ half-geodesics ...
Adelstein, Ian
core +1 more source
Existence and non-existence of minimal graphs
We study the Dirichlet problem for minimal surface systems in arbitrary dimension and codimension via mean curvature flow, and obtain the existence of minimal graphs over arbitrary mean convex bounded $C^2$ domains for a large class of prescribed boundary data.
Ding, Qi, Jost, J., Xin, Y. L.
openaire +2 more sources
Existence of Universal Entangler [PDF]
A gate is called entangler if it transforms some (pure) product states to entangled states. A universal entangler is a gate which transforms all product states to entangled states.
Artin M.+6 more
core +2 more sources
Einstein solvmanifolds: existence and non-existence questions
The general aim of this paper is to study which are the solvable Lie groups admitting an Einstein left invariant metric. The space N of all nilpotent Lie brackets on R^n parametrizes a set of (n+1)-dimensional rank-one solvmanifolds, containing the set ...
Lauret, Jorge, Will, Cynthia
core +1 more source