Infinitary logic and admissible sets
From MaRDI portal
Publication:5618341
DOI10.2307/2271099zbMath0215.31806WikidataQ56386127 ScholiaQ56386127MaRDI QIDQ5618341
Publication date: 1969
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271099
03B50: Many-valued logic
03B22: Abstract deductive systems
03B99: General logic
03C70: Logic on admissible sets
Related Items
Barwise: Infinitary Logic and Admissible Sets, Barwise: Abstract Model Theory and Generalized Quantifiers, Unnamed Item, Model theory for \(L_{\infty \omega _ 1}\), Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions, Harmonious logic: Craig's interpolation theorem and its descendants, The Craig interpolation theorem in abstract model theory, Existentially closed locally finite p-groups, Cardinality of models for theories in a calculus with a Härtig quantifier, Sacks forcing does not always produce a minimal upper bound, Countable admissible ordinals and hyperdegrees, Definability in dynamic logic, A non-reified temporal logic, More Lowenheim-Skolem results for admissible sets, Abelian \(p\)-groups with no invariants, Some applications of positive formulas in descriptive set theory and logic, Directions in generalized quantifier theory, On Feferman's operational set theory \textsf{OST}, Lefschetz's principle, The Shoenfield absoluteness lemma, Hanf numbers for fragments of L\(_{\infty \omega}\), Some Löwenheim-Skolem results for admissible sets, Beth's theorem in cardinality logics, Classification from a Computable Viewpoint, Extensions of countable infinitary logic which preserve most of its nice properties, Unnamed Item, Adding propositional connectives to countable infinitary logic, On interpolation when function symbols are present, Large Models of Countable Height, The Theory of Countable Analytical Sets, On the Failure of the Weak Beth Property
Cites Work