Barwise: Infinitary Logic and Admissible Sets

DOI10.2178/BSL/1080330272MaRDI QIDQ4678932zbMATH OpenOpenAlexFDO

Authors H. Jerome Keisler, J. F. Knight

Publication date 24 May 2005

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/3555a5d1e3744df9a9ecdd2ef594ec67c08bf30d

zbMATH Keywords

admissible setinfinitary logicBarwise compactness

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Other infinitary logic (03C75) Logic on admissible sets (03C70)

Recommendations

• Admissible Sets and Structures
• scientific article; zbMATH DE number 1163986
• scientific article; zbMATH DE number 444448
• Model theory for \(L_{\infty \omega _ 1}\)
• Infinitary logic for computer science

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A generalization of the concept of ω-consistency
• A generalization of the concept ofω-completeness
• A guide to the identification of admissible sets above structures
• A hierarchy of formulas in set theory
• An example concerning Scott heights
• An introduction to recursively saturated and resplendent models
• Applications of Strict Π₁¹ predicates to infinitary logic
• Computable structures and the hyperarithmetical hierarchy
• Global inductive definability
• Hanf numbers for fragments of L\(_{\infty \omega}\)
• Infinitary logic and admissible sets
• Infinitary properties of abelian torsion groups
• Interpolation, preservation, and pebble games
• Kreiseliana: about and around Georg Kreisel
• Lefschetz's principle
• Metarecursive sets
• Metarecursively enumerable sets and admissible ordinals
• Models with compactness properties relative to an admissible language
• On ω-consistency and related properties
• On Moschovakis closure ordinals
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• On the partial recursive functions of ordinal numbers
• Persistent and invariant formulas relative to theories of higher order
• Scott sentences and admissible sets
• Stationary logic
• The Hanf number of second order logic
• The completeness of the first-order functional calculus
• The next admissible set
• Toward model theory through recursive saturation

Cited in

(10)

• On certain fundamental problems of mathematical logic
• INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES
• scientific article; zbMATH DE number 3878917 (Why is no real title available?)
• Bounds on the strength of ordinal definable determinacy in small admissible sets
• Can logic be combined with probability? Probably
• Model theory for \(L_{\infty \omega _ 1}\)
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
• The Metamathematics of Infinitary Set Theoretical Systems
• Complexity of Scott sentences
• Spectral spaces of countable abelian lattice-ordered groups

This page was built for publication: Barwise: Infinitary Logic and Admissible Sets

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