Encoding complete metric structures by classical structures

DOI10.1007/S11787-020-00262-1MaRDI QIDQ2228349zbMATH OpenOpenAlexFDO

Authors Nathanael Ackerman

Publication date 17 February 2021

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-020-00262-1

zbMATH Keywords

complete metric spacescontinuous logicinfinitary logicuniformly continuous maps

Mathematics Subject Classification ID

Other model constructions (03C30) Continuous model theory, model theory of metric structures (03C66) Other infinitary logic (03C75) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Special maps on metric spaces (54E40) Complete metric spaces (54E50)

Recommendations

• Model theory for metric structures
• CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
• A topos for continuous logic
• Categoricity in homogeneous complete metric spaces
• Metric Scott analysis

Cites work

• A course in model theory
• A presentation theorem for continuous logic and metric abstract elementary classes
• Continuous first order logic and local stability
• Continuous Model Theory. (AM-58)
• Definability of groups in ℵ₀-stable metric structures
• scientific article; zbMATH DE number 5960295 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• Metric abstract elementary classes with perturbations
• Model theoretic forcing in analysis
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Model theory for metric structures
• Omitting types for infinitary \([0,1]\)-valued logic
• On perturbations of continuous structures
• On the maximality of logics with approximations
• On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Relativized Grothendieck topoi
• Set Theory
• Stability and stable groups in continuous logic
• The Hanf Number of the First Order Theory of Banach Spaces
• The number of countable models in realizability toposes
• When do two Banach spaces have isometrically isomorphic nonstandard hulls

Cited in

(5)

• Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
• Metric spaces are universal for bi-interpretation with metric structures
• The Keisler order in continuous logic
• A presentation theorem for continuous logic and metric abstract elementary classes
• CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC

This page was built for publication: Encoding complete metric structures by classical structures

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