Continuous Model Theory. (AM-58)

Cited in

(75)

Categoricity in homogeneous complete metric spaces
First-order fuzzy logic
Rings of real-valued continuous functions. II
On the problem of imprecision
Inferences in probability logic
Fuzzy refutations for probability and multivalued logics
Probability-like functionals and fuzzy logic
Fraïssé classes of graded relational structures
Back-and-forth systems for fuzzy first-order models
Key notions of Tarski's methodology of deductive systems
Structure of subsemigroups of factor-powers of finite symmetric groups
Ax's theorem with an additive character
Internal sizes in \(\mu\)-abstract elementary classes
Amenability, connected components, and definable actions
A note on Pontryagin duality and continuous logic
Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists
Encoding complete metric structures by classical structures
The logic of integration
Omitting uncountable types and the strength of \([0,1]\)-valued logics
Multivalued logic to transform potential into actual objects
The logic of inexact concepts
Problems of the theory of models, related to categoricity
On products of structures for generalized logics
Fuzzy Horn logic. I. Proof theory.
B-frame duality
Tameness in generalized metric structures
Limit models in metric abstract elementary classes: the categorical case
Haar measure and integral logic
Mereological foundations of point-free geometry via multi-valued logic
Ultrafilter Limits and Finitely Additive Probability
Continuous first order logic and local stability
Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
Multi-valued Logic for a Point-Free Foundation of Geometry
Threshold Boolean logic
scientific article; zbMATH DE number 4156411 (Why is no real title available?)
scientific article; zbMATH DE number 4156412 (Why is no real title available?)
Omitting types for infinitary \([0,1]\)-valued logic
Handling the valuation of the predicates in a fuzzy model
scientific article; zbMATH DE number 1508253 (Why is no real title available?)
Saturated models of incomplete theories
Linear model theory for Lipschitz structures
PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC
Sheaf representations and locality of Riesz spaces with order unit
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS
On the descriptive power of probability logic
PROOF MINING IN L^p SPACES
Mathematische Modelle des Kontinuums
Model theoretic stability and categoricity for complete metric spaces
Preservation theorems in linear continuous logic
Some investigations on many valued logics
Adequate Ultrafilters of Special Boolean Algebras
A topos for continuous logic
scientific article; zbMATH DE number 7687773 (Why is no real title available?)
The isomorphism theorem for linear fragments of continuous logic
Using ultrapowers to compare continuous structures
Interpolation Results for Arrays with Length and MaxDiff
Preservation in many-valued truth institutions
ℵ₀‐categorical Banach spaces contain ℓp or c₀
An arithmetical view to first-order logic
Effectiveness in RPL, with applications to continuous logic
Some model-theoretic correspondences between dimension groups and AF algebras
Approximate equivalence relations
An essay in matrix semantics for consequence relations
The amalgamation property and Urysohn structures in continuous logic
On the logical structure of physics and continuous model theory
Lindström's characterizability of abstract logic systems for analytic structures based on measures
A model theory of topology
Continuous logic in a classical setting
A convergence law for continuous logic and continuous structures with finite domains
On the isomorphism problem for ultraproducts of \(\mathrm{C}^*\)-algebras in continuous model theory
A game-based formal system for Ł\(_\infty\)
Modelltheorie - topologische Modelltheorie
Logical metatheorems for abstract spaces axiomatized in positive bounded logic

This page was built for publication: Continuous Model Theory. (AM-58)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5527811)