The Model Theory of Generic Cuts
From MaRDI portal
Publication:5213572
DOI10.1515/9781614516873.281zbMath1429.03143OpenAlexW1762211295MaRDI QIDQ5213572
Publication date: 3 February 2020
Published in: Logic Without Borders (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/b6035e842ef2081918ef0d1d4be54fec1e71ebc6
Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Quantifier elimination, model completeness, and related topics (03C10)
Related Items