Problemi di decidibilita in logica topologica

MaRDI QIDQ1255489zbMATH OpenFDO

Authors Johann A. Makowsky, Annalisa Marcja

Publication date 1978

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=RSMUP_1976__56__67_0, https://eudml.org/doc/107623

zbMATH Keywords

decidabilitytopological logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Generalities in topology (54A99)

Cites work

• Completeness Theorems For Modal Model Theory With the Montague‐Chang Semantics I
• Completeness theorems for topological models
• Definability and decision problems in arithmetic
• Embeddings in groups of permutations with supports of bounded cardinality
• scientific article; zbMATH DE number 3433840 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3382339 (Why is no real title available?)
• Logic with the quantifier “there exist uncountably many”
• Some model theory for monotone quantifiers
• Structures for a logic with additional generalized quantifier
• Undecidable theories

Cited in

(2)

• Topological model theory with an interior operator: Consistency properties and back — and forth arguments
• My writing

This page was built for publication: Problemi di decidibilita in logica topologica

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