Q4986517
type: Item
instance of: scholarly article
zbMATH Open document ID: 1469.03032
author: Domenico Cantone
author: Cristiano Longo
publication date: 2021-04-27T00:00:00Z
full work available at URL: https://arxiv.org/abs/1210.2461
full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03E30
zbMATH DE Number: 7340151
MaRDI profile type: Publication
arXiv ID: 1210.2461
Recommended article: A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
Recommended article: A decidable quantified fragment of set theory involving ordered pairs with applications to description logics
Recommended article: Q3973318
Recommended article: DECIDABILITY OF THE RESTRICTED THEORIES OF A CLASS OF PARTIAL ORDERS
Recommended article: The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations
Recommended article: Quasi-decidability of a fragment of the first-order theory of real numbers
Recommended article: On decidability and axiomatizability of some ordered structures
Recommended article: Herbrand-satisfiability of a Quantified Set-theoretic Fragment*
Recommended article: Decidable fragments of many-sorted logic
Recommended article: Decidable Fragments of Many-Sorted Logic
description: scientific article; zbMATH DE number 7340151