Arithmetic definability by formulas with two quantifiers
type: Item
instance of: scholarly article
title: Arithmetic definability by formulas with two quantifiers
zbMATH Open document ID: 0763.03019
DOI: 10.2307/2275172
published in: Journal of Symbolic Logic
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 12L12
zbMATH DE Number: 63173
zbMATH Keywords: universal quantifier
zbMATH Keywords: existential quantifier
zbMATH Keywords: algebraic integer rings
zbMATH Keywords: algebraic number fields
zbMATH Keywords: undefinability
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.2307/2275172
OpenAlex ID: W2139026098
cites work: Definability on Formulas With Single Quantifier
Recommended article: Arithmetical definability over finite structures
Recommended article: Q5393633
Recommended article: Q4429280
Recommended article: Implicit definability in arithmetic
Recommended article: Q4486652
Recommended article: Arithmetical definability and computational complexity
Recommended article: Q4781602
Recommended article: Definability on Formulas With Single Quantifier
Recommended article: Q5459305
Recommended article: Two Definability Results in the Equational Context
description: scientific article