Strong downward Löwenheim-Skolem theorems for stationary logics. I

DOI10.1007/S00153-020-00730-XMaRDI QIDQ2219086zbMATH OpenOpenAlexFDO

Authors Sakaé Fuchino, André Ottenbreit Maschio Rodrigues, Hiroshi Sakai

Publication date 19 January 2021

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

Full work available at URL https://doi.org/10.1007/s00153-020-00730-x

zbMATH Keywords

reflection principlessupercompact cardinalsstationary logicstrong downward Löwenheim Skolem theorem

Mathematics Subject Classification ID

Infinite graphs (05C63) Consistency and independence results (03E35) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Applications of set theory (03E75)

Recommendations

• On Löwenheim-Skolem-Tarski numbers for extensions of first order logic
• Magidor-Malitz reflection
• scientific article; zbMATH DE number 1795296
• scientific article; zbMATH DE number 3941517
• A new Löwenheim-Skolem theorem

Cites work

• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• Barwise: Abstract Model Theory and Generalized Quantifiers
• Fodor-type reflection principle and reflection of metrizability and meta-Lindelöfness
• Generalized Quantifiers and Compact Logic
• Generic compactness reformulated
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• On a Conjecture of R. Rado
• On chromatic number of graphs and set-systems
• Openly generated Boolean algebras and the Fodor-type reflection principle
• Rado's conjecture implies that all stationary set preserving forcings are semiproper
• Semistationary and stationary reflection
• The diagonal reflection principle

Cited in

(6)

• Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum
• Filtration games and potentially projective modules
• On Löwenheim-Skolem-Tarski numbers for extensions of first order logic
• A new Löwenheim-Skolem theorem
• Reflection principles, generic large cardinals, and the continuum problem
• Magidor-Malitz reflection

This page was built for publication: Strong downward Löwenheim-Skolem theorems for stationary logics. I

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