scientific article; zbMATH DE number 6984345

DOI10.2436/20.2002.01.76MaRDI QIDQ4556200zbMATH OpenFDO

Authors Enrique Casanovas Ruiz-Fornells

Publication date 23 November 2018

Full work available at URL https://doi.org/10.2436/20.2002.01.76

zbMATH Keywords

axiomscategoricitydecidabilitydefinabilitymodel theory

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Interpolation, preservation, definability (03C40) Classification theory, stability, and related concepts in model theory (03C45)

Recommendations

• Definability in classes of finite structures
• scientific article; zbMATH DE number 1301815
• Definability and invariance
• scientific article; zbMATH DE number 1467185
• Definability in functional analysis
• Arithmetical definability over finite structures
• Definable sets in ordered structures
• scientific article; zbMATH DE number 2236694
• Definability via enumerations
• Definability in function spaces

Cited in

(12)

• The definability of fields
• Definability, decidability, complexity
• Definability in function spaces
• Definability and invariance
• Definability in the real universe
• scientific article; zbMATH DE number 5667216 (Why is no real title available?)
• scientific article; zbMATH DE number 3967423 (Why is no real title available?)
• scientific article; zbMATH DE number 1531934 (Why is no real title available?)
• The lattice of definability. Origins, recent developments, and further directions
• scientific article; zbMATH DE number 3204589 (Why is no real title available?)
• Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
• A framework for measuring the complexity of mathematical concepts

This page was built for publication:

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