Models of second order arithmetic with definable Skolem functions

DOI10.4064/FM-75-3-223-234zbMATH Open0245.02049OpenAlexW3022466966MaRDI QIDQ5656759FDOQ5656759

Authors: Andrzej Mostowski 

Publication date: 1972

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214436

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Consistency and independence results (03E35) Other classical first-order model theory (03C68)

Cited In (2)

• In memory of Andrzej Mostowski
• One conservative extension of formal mathematical analysis with a scheme of dependent choice

This page was built for publication: Models of second order arithmetic with definable Skolem functions

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