Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES
View through CrossRef
We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach (which has been the common approach so far to Banach space structures in continuous logic), as well as of applying in situations where the unit ball approach does not apply (i.e. when the unit ball is not a definable set). We also introduce the process of single point emboundment (closely related to the topological single point compactification), allowing to bring unbounded structures back into the setting of bounded continuous first order logic. Together with results from [4] regarding perturbations of bounded metric structures, we prove a Ryll–Nardzewski style characterization of theories of Banach spaces which are separably categorical up to small perturbation of the norm. This last result is motivated by an unpublished result of Henson.
Title: CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES
Description:
We present an adaptation of continuous first order logic to unbounded metric structures.
This has the advantage of being closer in spirit to C.
Ward Henson's logic for Banach space structures than the unit ball approach (which has been the common approach so far to Banach space structures in continuous logic), as well as of applying in situations where the unit ball approach does not apply (i.
e.
when the unit ball is not a definable set).
We also introduce the process of single point emboundment (closely related to the topological single point compactification), allowing to bring unbounded structures back into the setting of bounded continuous first order logic.
Together with results from [4] regarding perturbations of bounded metric structures, we prove a Ryll–Nardzewski style characterization of theories of Banach spaces which are separably categorical up to small perturbation of the norm.
This last result is motivated by an unpublished result of Henson.
Related Results
Unbounded Star Convergence in Lattices
Unbounded Star Convergence in Lattices
Let L be a vector lattice, "(" x_α ") " be a L-valued net, and x∈L . If |x_α-x|∧u→┴o 0 for every u ∈〖 L〗_+ then it is said that the net "(" x_α ")" unbounded order converges ...
Logic in the early 20th century
Logic in the early 20th century
The creation of modern logic is one of the most stunning achievements of mathematics and philosophy in the twentieth century. Modern logic – sometimes called logistic, symbolic log...
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
Context. This paper addresses issues relevant to the EDA market – reducing the cost and time of testing and verification of digital projects by synthesizing the logic vector of a d...
A comparative study of mappings in metric space and controlled metric space
A comparative study of mappings in metric space and controlled metric space
The objective of this paper is to present a comparative study of mapping in Metric Space and Controlled Metric Space. The study provides the structure, gap analysis and application...
Predicate calculus
Predicate calculus
The predicate calculus is the dominant system of modern logic, having displaced the traditional Aristotelian syllogistic logic that had been the previous paradigm. Like Aristotle’s...
Riemannian Curvature of a Sliced Contact Metric Manifold
Riemannian Curvature of a Sliced Contact Metric Manifold
Contact geometry become a more important issue in the mathematical world with the works which had done in the 19th century. Many mathematicians have made studies on contact manifol...
Memristor-Based Priority Encoder and Decoder Circuit
Memristor-Based Priority Encoder and Decoder Circuit
Introduction:
Memristors, recognized as the fourth fundamental circuit element, exhibit unique features
such as non-volatility, scalability, and energy efficien...
AFFINOR METRIC STRUCTURES AND THEIR PHYSICAL APPLICATIONS
AFFINOR METRIC STRUCTURES AND THEIR PHYSICAL APPLICATIONS
This work describes the fundamentals of the mathematical theory of affinor metric structures and physical problems where these structures are used. Affinor metric structure is defi...