Continuous Model Theory. (AM-58)

DOI10.1515/9781400882052zbMath0149.00402OpenAlexW2501008345MaRDI QIDQ5527811

C. C. Chang, H. Jerome Keisler

Publication date: 1966

Full work available at URL: https://doi.org/10.1515/9781400882052

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory (03Cxx)

Related Items (64)

Inferences in probability logic ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Fuzzy refutations for probability and multivalued logics ⋮ First-order fuzzy logic ⋮ Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic ⋮ Fraïssé classes of graded relational structures ⋮ Haar measure and integral logic ⋮ Ultrafilter Limits and Finitely Additive Probability ⋮ The logic of integration ⋮ A topos for continuous logic ⋮ CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS ⋮ Structure of subsemigroups of factor-powers of finite symmetric groups ⋮ Probability-like functionals and fuzzy logic ⋮ Omitting types for infinitary \([0,1\)-valued logic] ⋮ The isomorphism theorem for linear fragments of continuous logic ⋮ Rings of real-valued continuous functions. II ⋮ 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₀ ⋮ Handling the valuation of the predicates in a fuzzy model ⋮ B-frame duality ⋮ Some investigations on many valued logics ⋮ Logical metatheorems for abstract spaces axiomatized in positive bounded logic ⋮ An arithmetical view to first-order logic ⋮ Effectiveness in RPL, with applications to continuous logic ⋮ On the Descriptive Power of Probability Logic ⋮ Some model-theoretic correspondences between dimension groups and AF algebras ⋮ Tameness in generalized metric structures ⋮ Unnamed Item ⋮ Omitting uncountable types and the strength of \([0,1\)-valued logics] ⋮ Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists ⋮ Mereological foundations of point-free geometry via multi-valued logic ⋮ Multivalued logic to transform potential into actual objects ⋮ Multi-valued Logic for a Point-Free Foundation of Geometry ⋮ Unnamed Item ⋮ Linear model theory for Lipschitz structures ⋮ Encoding complete metric structures by classical structures ⋮ PARADIGM, FORMAL PROPERTIES AND LIMITS OF FUZZY LOGIC ⋮ Ax's theorem with an additive character ⋮ Internal sizes in \(\mu\)-abstract elementary classes ⋮ Model theoretic stability and categoricity for complete metric spaces ⋮ Preservation theorems in linear continuous logic ⋮ Adequate Ultrafilters of Special Boolean Algebras ⋮ Continuous first order logic and local stability ⋮ On the problem of imprecision ⋮ Back-and-forth systems for fuzzy first-order models ⋮ PROOF MINING IN L^p SPACES ⋮ Categoricity in homogeneous complete metric spaces ⋮ The logic of inexact concepts ⋮ A game-based formal system for Ł\(_\infty\) ⋮ Amenability, connected components, and definable actions ⋮ Limit models in metric abstract elementary classes: the categorical case ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Problems of the theory of models, related to categoricity ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sheaf representations and locality of Riesz spaces with order unit ⋮ On products of structures for generalized logics ⋮ A note on Pontryagin duality and continuous logic ⋮ Threshold Boolean logic ⋮ Fuzzy Horn logic. I. Proof theory. ⋮ Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete ⋮ Saturated models of incomplete theories

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