Problemi di decidibilita in logica topologica
type: Item
instance of: scholarly article
title: Problemi di decidibilita in logica topologica
zbMATH Open document ID: 0402.03020
published in: Rendiconti del Seminario Matematico della Università di Padova
publication date: 1978-01-01T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/107623
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 54A99
zbMATH DE Number: 3623522
zbMATH Keywords: topological logic
zbMATH Keywords: decidability
author: Johann A. Makowsky
author: Annalisa Marcja
MaRDI profile type: Publication
cites work: Structures for a logic with additional generalized quantifier
cites work: Q4401417
cites work: Embeddings in groups of permutations with supports of bounded cardinality
cites work: Logic with the quantifier “there exist uncountably many”
cites work: Completeness Theorems For Modal Model Theory With the Montague‐Chang Semantics I
cites work: Some model theory for monotone quantifiers
cites work: Undecidable theories
cites work: Definability and decision problems in arithmetic
cites work: Q5652669
cites work: Completeness theorems for topological models
cites work: Q5537599
description: scientific article; zbMATH DE number 3623522