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

DOI10.1007/S00153-020-00730-XzbMATH Open1498.03117OpenAlexW3015650474MaRDI QIDQ2219086FDOQ2219086

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)

Cites Work

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

Cited In (3)

• Filtration games and potentially projective modules
• Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum
• Reflection principles, generic large cardinals, and the continuum problem

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)