Forcing with tagged trees

DOI10.1016/0003-4843(78)90026-8MaRDI QIDQ4189261zbMATH OpenOpenAlexFDO

Authors John Steel

Publication date 1978

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(78)90026-8

zbMATH Keywords

ForcingModel TheoryTagGed Tree

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Model-theoretic forcing (03C25)

Cited in

(34)

• INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
• Uncountable master codes and the jump hierarchy
• A theorem about Σ¹₁ equivalence relations
• Projective subsets of separable metric spaces
• Necessary use of \(\Sigma ^1_{1}\) induction in a reversal
• Model theory for \(L_{\infty \omega _ 1}\)
• On the Equimorphism Types of Linear Orderings
• Π₁¹ relations and paths through
• Hyperarithmetical Sets
• Sacks forcing sometimes needs help to produce a minimal upper bound
• Inadmissible forcing
• Assigning an isomorphism type to a hyperdegree
• Cohen and Set Theory
• Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
• Transfinite recursion in higher reverse mathematics
• THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES
• THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH
• Some recent developments in higher recursion theory
• THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM
• Reverse mathematics: the playground of logic
• On the Π₁ ¹ -separation principle
• Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis
• Fraïssé's conjecture in \(\Pi_1^1\)-comprehension
• Playing with admissibility spectra
• Admissibility spectra through \(\omega _ 1\)
• Polish group actions: Dichotomies and generalized elementary embeddings
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• A Note On Analytic Sets
• Topics in invariant descriptive set theory
• On disjoint Borel uniformizations
• Forcing and reducibilities. III. Forcing in fragments of set theory
• Incompleteness and jump hierarchies
• ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
• Continuous higher randomness

This page was built for publication: Forcing with tagged trees

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