Destructibility and axiomatizability of Kaufmann models

DOI10.1007/s00153-022-00826-6OpenAlexW3082870776MaRDI QIDQ2085581

Corey Bacal Switzer

Publication date: 18 October 2022

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.13540

zbMATH Keywords

Martin's axiomdestructibilityKaufmann modelsstrong logics

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Logic with extra quantifiers and operators (03C80) Models of arithmetic and set theory (03C62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A standard model of Peano arithmetic with no conservative elementary extension
• A Rather Classless Model
• Models with second order properties II. Trees with no undefined branches
• The Impact of Paul Erdős on Set Theory
• Logic with the quantifier “there exist uncountably many”
• Embedding Trees in the Rationals