On a problem of MacDowell and Specker

DOI10.2307/2273426zbMATH Open0522.03021OpenAlexW1988365622MaRDI QIDQ3671948FDOQ3671948

Authors: Mark E. Nadel 

Publication date: 1980

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

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

zbMATH Keywords

stabilityadmissibilitycountable stable theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Nonstandard models of arithmetic (03H15)

Cites Work

• Title not available (Why is that?)
• An introduction to recursively saturated and resplendent models

Cited In (1)

• Degrees of Recursively Saturated Models

This page was built for publication: On a problem of MacDowell and Specker

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3671948)