On maximal theories

DOI10.2307/2275057zbMath0746.03045OpenAlexW1966731015MaRDI QIDQ3985086

Zofia Adamowicz

Publication date: 27 June 1992

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275057

zbMATH Keywords

models of arithmeticcountable modelTuring degreefragments of arithmeticend extension problemmaximal theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Model theory of denumerable and separable structures (03C15)

Related Items (3)

Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem

This page was built for publication: On maximal theories