Experimental logics and \(\Delta^0_2\)-theories
type: Item
instance of: scholarly article
title: Experimental logics and \(\Delta^0_2\)-theories
zbMATH Open document ID: 0319.02024
DOI: 10.1007/BF00262039
author: Robert G. Jeroslow
published in: Journal of Philosophical Logic
publication date: 1975-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F99
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03D55
zbMATH DE Number: 3499723
MaRDI profile type: Publication
cites work: Arithmetization of metamathematics in a general setting
cites work: The consistency of arithmetics
cites work: Limiting recursion
cites work: The completeness of the first-order functional calculus
cites work: Linear programs dependent on a single parameter
cites work: Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
cites work: Su certe teorie non enumerabili. (Sulle limitazioni dei sistemi formali. I.)
cites work: Trial and error predicates and the solution to a problem of Mostowski
full work available at URL: https://doi.org/10.1007/bf00262039
OpenAlex ID: W2017019103
description: scientific article; zbMATH DE number 3499723