Infinitary logic and admissible sets
From MaRDI portal
Publication:5618341
DOI10.2307/2271099zbMath0215.31806OpenAlexW2131495252WikidataQ56386127 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
Many-valued logic (03B50) Abstract deductive systems (03B22) General logic (03B99) Logic on admissible sets (03C70)
Related Items
Existentially closed locally finite p-groups, EMBEDDINGS INTO OUTER MODELS, An example related to Gregory's theorem, Directions in generalized quantifier theory, A geo-logical solution to the lottery paradox, with applications to conditional logic, A representation of recursively enumerable sets through Horn formulas in higher recursion theory, Unnamed Item, Souslin quasi-orders and bi-embeddability of uncountable structures, 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, Logic programming as classical inference, Classes of Polish spaces under effective Borel isomorphism, Definability in dynamic logic, Unnamed Item, ON A QUESTION OF KRAJEWSKI’S, Adding propositional connectives to countable infinitary logic, On Feferman's operational set theory \textsf{OST}, A non-reified temporal logic, On interpolation when function symbols are present, Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions, More Lowenheim-Skolem results for admissible sets, Barwise: Infinitary Logic and Admissible Sets, Barwise: Abstract Model Theory and Generalized Quantifiers, Abelian \(p\)-groups with no invariants, Large Models of Countable Height, Some applications of positive formulas in descriptive set theory and logic, Lefschetz's principle, Harmonious logic: Craig's interpolation theorem and its descendants, The Craig interpolation theorem in abstract model theory, The Shoenfield absoluteness lemma, Model theory for \(L_{\infty \omega _ 1}\), The Theory of Countable Analytical Sets, Hyperfinite logics and non-standard extensions of Boolean algebras, Hanf numbers for fragments of L\(_{\infty \omega}\), Some Löwenheim-Skolem results for admissible sets, Beth's theorem in cardinality logics, Extensions of countable infinitary logic which preserve most of its nice properties, Completeness theorem for probability models with finitely many valued measure, Classification from a Computable Viewpoint, On the Failure of the Weak Beth Property
Cites Work
