A use of the method of interpretations for decidability or undecidability of measure spaces

DOI10.1007/BF02483724zbMath0518.03003MaRDI QIDQ1053671

Sauro Tulipani

Publication date: 1982

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

general measure space

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items

Meeting of the Association for Symbolic Logic Florence, Italy 1982

Cites Work

• Decidable varieties with modular congruence lattices
• Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item