Pages that link to "Item:Q5618341"
From MaRDI portal
The following pages link to Infinitary logic and admissible sets (Q5618341):
Displaying 41 items.
- A geo-logical solution to the lottery paradox, with applications to conditional logic (Q382993) (← links)
- Model theory for \(L_{\infty \omega _ 1}\) (Q762061) (← links)
- Logic programming as classical inference (Q898781) (← links)
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Existentially closed locally finite p-groups (Q1079660) (← links)
- Cardinality of models for theories in a calculus with a Härtig quantifier (Q1136754) (← links)
- Sacks forcing does not always produce a minimal upper bound (Q1139583) (← links)
- Countable admissible ordinals and hyperdegrees (Q1142207) (← links)
- Definability in dynamic logic (Q1158140) (← links)
- A non-reified temporal logic (Q1190791) (← links)
- More Lowenheim-Skolem results for admissible sets (Q1218855) (← links)
- A representation of recursively enumerable sets through Horn formulas in higher recursion theory (Q1677584) (← links)
- Abelian \(p\)-groups with no invariants (Q1802148) (← links)
- Some applications of positive formulas in descriptive set theory and logic (Q1812904) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- Completeness theorem for probability models with finitely many valued measure (Q2330004) (← links)
- An example related to Gregory's theorem (Q2377350) (← links)
- On Feferman's operational set theory \textsf{OST} (Q2463480) (← links)
- Lefschetz's principle (Q2538977) (← links)
- The Shoenfield absoluteness lemma (Q2542514) (← links)
- Hanf numbers for fragments of L\(_{\infty \omega}\) (Q2557686) (← links)
- Some Löwenheim-Skolem results for admissible sets (Q2560818) (← links)
- Beth's theorem in cardinality logics (Q2561208) (← links)
- Classification from a Computable Viewpoint (Q3430937) (← links)
- Extensions of countable infinitary logic which preserve most of its nice properties (Q3927221) (← links)
- Large Models of Countable Height (Q4049068) (← links)
- The Theory of Countable Analytical Sets (Q4078033) (← links)
- Adding propositional connectives to countable infinitary logic (Q4085693) (← links)
- On interpolation when function symbols are present (Q4106157) (← links)
- On the Failure of the Weak Beth Property (Q4110977) (← links)
- (Q4179158) (← links)
- ON A QUESTION OF KRAJEWSKI’S (Q4628685) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)
- Hyperfinite logics and non-standard extensions of Boolean algebras (Q4985674) (← links)
- EMBEDDINGS INTO OUTER MODELS (Q5052000) (← links)
- Souslin quasi-orders and bi-embeddability of uncountable structures (Q5097134) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)
- (Q5544276) (← links)
