More Lowenheim-Skolem results for admissible sets

DOI10.1007/BF02758130zbMath0309.02058MaRDI QIDQ1218855

Mark E. Nadel

Publication date: 1974

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Model theory (03C99) Other infinitary logic (03C75)

Related Items (5)

A contextual-hierarchical approach to truth and the liar paradox ⋮ Applications of Fodor's lemma to Vaught's conjecture ⋮ The pure part of HYP(ℳ) ⋮ Model theory via set theory ⋮ Compact and ϖ-compact formulas in 51-151-151-1

Cites Work

• Unnamed Item
• Countable admissible ordinals and hyperdegrees
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Some Löwenheim-Skolem results for admissible sets
• Scott sentences and admissible sets
• Infinitary logic and admissible sets
• Incompleteness of a formal system for infinitary finite-quantifier formulas
• Omitting types: application to recursion theory

This page was built for publication: More Lowenheim-Skolem results for admissible sets