Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics''
type: Item
instance of: scholarly article
title: Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics''
zbMATH Open document ID: 1403.03123
DOI: 10.1215/00294527-3784830
author: Christian Espíndola
published in: Notre Dame Journal of Formal Logic
publication date: 2017-02-17T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 03B30
zbMATH DE Number: 6686425
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/00294527-3784830
OpenAlex ID: W4256432467
Recommended article: Semantic completeness of first-order theories in constructive reverse mathematics
Recommended article: Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" * Logic Journal of the IGPL, 16(6): 585-590(2008)
Recommended article: Q3032253
Recommended article: Erratum to ``A logic of injectivity''
Recommended article: Reverse mathematics and completeness theorems for intuitionistic logic
Recommended article: Q3475244
Recommended article: The Monotone Completeness Theorem in Constructive Reverse Mathematics
Recommended article: Erratum to: ``On definability in dependence logic''
Recommended article: Completeness theorems for first-order logic analysed in constructive type theory
description: scientific article; zbMATH DE number 6686425