%% Zoottelkeeper: Beginning of the autogenerated index file list %% - [[Digital-garden/Papers and Books/ - Model-theoretic logics| - Model-theoretic logics]] - [[Digital-garden/Papers and Books/Abraham, Shelah - A Δ₂² well-order of the reals and incompactness of L(QMM)|Abraham, Shelah - A Δ₂² well-order of the reals and incompactness of L(QMM)]] - [[Digital-garden/Papers and Books/Ahvonen, Heiman, Hella, Kuusisto - Descriptive complexity for distributed computing with circuits|Ahvonen, Heiman, Hella, Kuusisto - Descriptive complexity for distributed computing with circuits]] - [[Digital-garden/Papers and Books/Ahvonen, Heiman, Kuusisto, Lutz - Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats|Ahvonen, Heiman, Kuusisto, Lutz - Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats]] - [[Digital-garden/Papers and Books/Badger - An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications.|Badger - An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications.]] - [[Digital-garden/Papers and Books/Badger - An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications|Badger - An Ehrenfeucht game for the multivariable quantifiers of Malitz and some applications]] - [[Digital-garden/Papers and Books/Bagaria, Väänänen - On the symbiosis between model-theoretic and set-theoretic properties of large cardinals|Bagaria, Väänänen - On the symbiosis between model-theoretic and set-theoretic properties of large cardinals]] - [[Digital-garden/Papers and Books/Barwise - Absolute logics and $L_{_infty _omega}$|Barwise - Absolute logics and $L_{_infty _omega}$]] - [[Digital-garden/Papers and Books/Barwise - Axioms for abstract model theory|Barwise - Axioms for abstract model theory]] - [[Digital-garden/Papers and Books/Barwise, Kaufmann, Makkai - Stationary logic|Barwise, Kaufmann, Makkai - Stationary logic]] - [[Digital-garden/Papers and Books/Barwise, Feferman (eds.) - Model-theoretic logics|Barwise, Feferman (eds.) - Model-theoretic logics]] - [[Digital-garden/Papers and Books/Bowler, Carmesin, Komjáth, Reiher - The Colouring Number of Infinite Graphs|Bowler, Carmesin, Komjáth, Reiher - The Colouring Number of Infinite Graphs]] - [[Digital-garden/Papers and Books/Brodsky, Rinot - A microscopic approach to Souslin-tree construction, Part II|Brodsky, Rinot - A microscopic approach to Souslin-tree construction, Part II]] - [[Digital-garden/Papers and Books/Brodsky, Rinot - A microscopic approach to Souslin-tree constructions, Part I|Brodsky, Rinot - A microscopic approach to Souslin-tree constructions, Part I]] - [[Digital-garden/Papers and Books/Brodsky, Rinot - A Microscopic approach to Souslin-tree constructions. Part I|Brodsky, Rinot - A Microscopic approach to Souslin-tree constructions. Part I]] - [[Digital-garden/Papers and Books/Brodsky, Rinot - Distributive Aronszajn trees|Brodsky, Rinot - Distributive Aronszajn trees]] - [[Digital-garden/Papers and Books/Brown - Cellularity and the Structure of Pseudo-Trees|Brown - Cellularity and the Structure of Pseudo-Trees]] - [[Digital-garden/Papers and Books/Brown - Cellularity of Pseudo-Tree Algebras|Brown - Cellularity of Pseudo-Tree Algebras]] - [[Digital-garden/Papers and Books/Büchi, Siefkes - THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS|Büchi, Siefkes - THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS]] - [[Digital-garden/Papers and Books/Caicedo - A back-and-forth characterization of elementary equivalence in stationary logic|Caicedo - A back-and-forth characterization of elementary equivalence in stationary logic]] - [[Digital-garden/Papers and Books/Caicedo - Back-and-Forth Systems for Arbitrary Quantifiers|Caicedo - Back-and-Forth Systems for Arbitrary Quantifiers]] - [[Digital-garden/Papers and Books/Caicedo - On extensions of L_ωω(Q₁)|Caicedo - On extensions of L_ωω(Q₁)]] - [[Digital-garden/Papers and Books/Chang - Sets constructible using Lκκ|Chang - Sets constructible using Lκκ]] - [[Digital-garden/Papers and Books/Conway - Homogeneous ordered sets|Conway - Homogeneous ordered sets]] - [[Digital-garden/Papers and Books/COVERING AN UNCOUNTABLE SQUARE BY COUNTABLY MANY CONTINUOUS FUNCTIONS|COVERING AN UNCOUNTABLE SQUARE BY COUNTABLY MANY CONTINUOUS FUNCTIONS]] - [[Digital-garden/Papers and Books/Craig - Satisfaction for n-th order languages defined in n-th order languages|Craig - Satisfaction for n-th order languages defined in n-th order languages]] - [[Digital-garden/Papers and Books/Cutland - Computability - An introduction to recursive function theory|Cutland - Computability - An introduction to recursive function theory]] - [[Digital-garden/Papers and Books/Devlin - Constructibility|Devlin - Constructibility]] - [[Digital-garden/Papers and Books/Devlin, Shelah - Souslin Properties and Tree Topologies|Devlin, Shelah - Souslin Properties and Tree Topologies]] - [[Digital-garden/Papers and Books/Doets - On n-Equivαlence of Binary Trees|Doets - On n-Equivαlence of Binary Trees]] - [[Digital-garden/Papers and Books/Doner, Mostowski, Tarski - The Elementary Theory of Well-Ordering—A Metamathematical Study—|Doner, Mostowski, Tarski - The Elementary Theory of Well-Ordering—A Metamathematical Study—]] - [[Digital-garden/Papers and Books/Džamonja, Shelah - Saturated filters at successors of singulars, weak reflection and yet another weak club principle|Džamonja, Shelah - Saturated filters at successors of singulars, weak reflection and yet another weak club principle]] - [[Digital-garden/Papers and Books/Ehrenfeucht - An application of games to the completeness problem for formalized theories|Ehrenfeucht - An application of games to the completeness problem for formalized theories]] - [[Digital-garden/Papers and Books/Ehrenfeucht - Decidability of the theory of linear order|Ehrenfeucht - Decidability of the theory of linear order]] - [[Digital-garden/Papers and Books/Erdős, Hajnal - On chromatic number of graphs and set-systems|Erdős, Hajnal - On chromatic number of graphs and set-systems]] - [[Digital-garden/Papers and Books/Erdős, Hajnal, Shelah - On some general properties of chromatic numbers|Erdős, Hajnal, Shelah - On some general properties of chromatic numbers]] - [[Digital-garden/Papers and Books/Feferman - Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable|Feferman - Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable]] - [[Digital-garden/Papers and Books/Foreman, Magidor - Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on Px(A)|Foreman, Magidor - Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on Px(A)]] - [[Digital-garden/Papers and Books/Fuchino, Sakai - On reflection and non-reflection of countable list-chromatic number of graphs (Aspects of Descriptive Set Theory)|Fuchino, Sakai - On reflection and non-reflection of countable list-chromatic number of graphs (Aspects of Descriptive Set Theory)]] - [[Digital-garden/Papers and Books/Fuchs, Hamkins, Reitz - Set-theoretic geology|Fuchs, Hamkins, Reitz - Set-theoretic geology]] - [[Digital-garden/Papers and Books/Gaifman, Specker - Isomorphism types of trees|Gaifman, Specker - Isomorphism types of trees]] - [[Digital-garden/Papers and Books/Garavaglia - Relative strength of Malitz quantifiers.|Garavaglia - Relative strength of Malitz quantifiers.]] - [[Digital-garden/Papers and Books/Garti, Magidor, Shelah - INFINITE MONOCHROMATIC PATHS AND A THEOREM OF ERDŐS-HAJNAL-RADO|Garti, Magidor, Shelah - INFINITE MONOCHROMATIC PATHS AND A THEOREM OF ERDŐS-HAJNAL-RADO]] - [[Digital-garden/Papers and Books/Grigorieff - Intermediate Submodels and Generic Extensions in Set Theory|Grigorieff - Intermediate Submodels and Generic Extensions in Set Theory]] - [[Digital-garden/Papers and Books/Hajnal, Komjáth - Embedding graphs into colored graphs|Hajnal, Komjáth - Embedding graphs into colored graphs]] - [[Digital-garden/Papers and Books/Hajnal, Komjáth - What must and what need not be contained in a graph of uncountable chromatic number|Hajnal, Komjáth - What must and what need not be contained in a graph of uncountable chromatic number]] - [[Digital-garden/Papers and Books/Hamkins - The Wholeness Axioms and V=HOD|Hamkins - The Wholeness Axioms and V=HOD]] - [[Digital-garden/Papers and Books/Hamkins, Leibman, Löwe - Structural connections between a forcing class and its modal logic|Hamkins, Leibman, Löwe - Structural connections between a forcing class and its modal logic]] - [[Digital-garden/Papers and Books/Hamkins, Löwe - The modal logic of forcing|Hamkins, Löwe - The modal logic of forcing]] - [[Digital-garden/Papers and Books/Hamkins, Löwe - Moving up and down in the generic multiverse|Hamkins, Löwe - Moving up and down in the generic multiverse]] - [[Digital-garden/Papers and Books/Hayut - Magidor–Malitz reflection|Hayut - Magidor–Malitz reflection]] - [[Digital-garden/Papers and Books/Helson - On a problem of Sikorski|Helson - On a problem of Sikorski]] - [[Digital-garden/Papers and Books/Hodges - Building Models by Games|Hodges - Building Models by Games]] - [[Digital-garden/Papers and Books/Hutchinson - Model theory via set theory|Hutchinson - Model theory via set theory]] - [[Digital-garden/Papers and Books/Ishiu, Yoshinobu - Directive trees and games on posets|Ishiu, Yoshinobu - Directive trees and games on posets]] - [[Digital-garden/Papers and Books/Jaakkola, Janhunen, Kuusisto, Rankooh, Vilander - Explainability via Short Formulas - The Case of Propositional Logic with Implementation|Jaakkola, Janhunen, Kuusisto, Rankooh, Vilander - Explainability via Short Formulas - The Case of Propositional Logic with Implementation]] - [[Digital-garden/Papers and Books/Jaakkola, Janhunen, Kuusisto, Rankooh, Vilander - Interpretable classifiers for tabular data via feature selection and discretization|Jaakkola, Janhunen, Kuusisto, Rankooh, Vilander - Interpretable classifiers for tabular data via feature selection and discretization]] - [[Digital-garden/Papers and Books/Jaakkola, Janhunen, Kuusisto, Rankooh, Vilander - Short Boolean Formulas as Explanations in Practice|Jaakkola, Janhunen, Kuusisto, Rankooh, Vilander - Short Boolean Formulas as Explanations in Practice]] - [[Digital-garden/Papers and Books/Jech - Forcing with trees and ordinal definability|Jech - Forcing with trees and ordinal definability]] - [[Digital-garden/Papers and Books/Jech - Set theory_ The third millennium edition|Jech - Set theory_ The third millennium edition]] - [[Digital-garden/Papers and Books/Jech - Forcing with trees and ordinal definability|Jech - Forcing with trees and ordinal definability]] - [[Digital-garden/Papers and Books/Jensen - Manuscript on fine structure, inner model theory, and the core model below one Woodin cardinal|Jensen - Manuscript on fine structure, inner model theory, and the core model below one Woodin cardinal]] - [[Digital-garden/Papers and Books/Jensen - The fine structure of the constructible hierarchy|Jensen - The fine structure of the constructible hierarchy]] - [[Digital-garden/Papers and Books/Jensen - Measures of Order Zero|Jensen - Measures of Order Zero]] - [[Digital-garden/Papers and Books/Kanamori - The higher infinite|Kanamori - The higher infinite]] - [[Digital-garden/Papers and Books/Kaufmann - SOME RESULTS IN STATIONARY LOGIC|Kaufmann - SOME RESULTS IN STATIONARY LOGIC]] - [[Digital-garden/Papers and Books/Kennedy, Magidor, Väänänen - Inner models from extended logics - Part 1|Kennedy, Magidor, Väänänen - Inner models from extended logics - Part 1]] - [[Digital-garden/Papers and Books/Kennedy, Magidor, Väänänen - Inner models from extended logics Part 2|Kennedy, Magidor, Väänänen - Inner models from extended logics Part 2]] - [[Digital-garden/Papers and Books/Kennedy, Magidor, Väänänen - Inner models from extended logics_ Part 1|Kennedy, Magidor, Väänänen - Inner models from extended logics_ Part 1]] - [[Digital-garden/Papers and Books/Kennedy, Magidor, Väänänen - Inner models from extended logics_ Part 2|Kennedy, Magidor, Väänänen - Inner models from extended logics_ Part 2]] - [[Digital-garden/Papers and Books/Komjáth - The Colouring Number|Komjáth - The Colouring Number]] - [[Digital-garden/Papers and Books/König - Local coherence|König - Local coherence]] - [[Digital-garden/Papers and Books/Kunen - A model for the negation of the axiom of choice|Kunen - A model for the negation of the axiom of choice]] - [[Digital-garden/Papers and Books/Kunen - Set theory|Kunen - Set theory]] - [[Digital-garden/Papers and Books/Kurepa - Ensembles ordonnées et ramifiés|Kurepa - Ensembles ordonnées et ramifiés]] - [[Digital-garden/Papers and Books/Lévy - A hierarchy of formulas in set theory|Lévy - A hierarchy of formulas in set theory]] - [[Digital-garden/Papers and Books/Magidor, Malitz - Compact extesions of L(Q) (part 1a)|Magidor, Malitz - Compact extesions of L(Q) (part 1a)]] - [[Digital-garden/Papers and Books/Magidor, Malitz - Compactness and transfer for a fragment of L²|Magidor, Malitz - Compactness and transfer for a fragment of L²]] - [[Digital-garden/Papers and Books/Magidor, Väänänen - On Löwenheim–Skolem–Tarski numbers for extensions of first order logic|Magidor, Väänänen - On Löwenheim–Skolem–Tarski numbers for extensions of first order logic]] - [[Digital-garden/Papers and Books/Makowsky - A note on stationary logic|Makowsky - A note on stationary logic]] - [[Digital-garden/Papers and Books/Makowsky - Elementary equivalence and definability in stationary logic|Makowsky - Elementary equivalence and definability in stationary logic]] - [[Digital-garden/Papers and Books/Makowsky - Quantifying Over Countable Sets_ Positive vs Stationary Logic|Makowsky - Quantifying Over Countable Sets_ Positive vs Stationary Logic]] - [[Digital-garden/Papers and Books/Makowsky, Shelah - The theorems of Beth and Craig in abstract model theory II. Compact logics|Makowsky, Shelah - The theorems of Beth and Craig in abstract model theory II. Compact logics]] - [[Digital-garden/Papers and Books/Makowsky, Shelah - The theorems of Beth and Craig in abstract model theory. I. The abstract setting|Makowsky, Shelah - The theorems of Beth and Craig in abstract model theory. I. The abstract setting]] - [[Digital-garden/Papers and Books/Makowsky, Shelah, Stavi - Delta-Logics and generalized quantifiers|Makowsky, Shelah, Stavi - Delta-Logics and generalized quantifiers]] - [[Digital-garden/Papers and Books/McAloon - Consistency results about ordinal definability|McAloon - Consistency results about ordinal definability]] - [[Digital-garden/Papers and Books/McAloon - On the sequence of models HODₙ|McAloon - On the sequence of models HODₙ]] - [[Digital-garden/Papers and Books/McAloon - Some applications of Cohen's method|McAloon - Some applications of Cohen's method]] - [[Digital-garden/Papers and Books/Mekler - Stationary logic of ordinals|Mekler - Stationary logic of ordinals]] - [[Digital-garden/Papers and Books/Melhuish, Fukawa-Connelly, Dawkins, Woods, Weber - Collegiate mathematics teaching in proof-based courses_ What we now know and what we have yet to learn|Melhuish, Fukawa-Connelly, Dawkins, Woods, Weber - Collegiate mathematics teaching in proof-based courses_ What we now know and what we have yet to learn]] - [[Digital-garden/Papers and Books/Menas - On strong compactness and supercompactness|Menas - On strong compactness and supercompactness]] - [[Digital-garden/Papers and Books/Morgenstern - On amalgamations of languages with magidor-malitz quantifiers|Morgenstern - On amalgamations of languages with magidor-malitz quantifiers]] - [[Digital-garden/Papers and Books/Mostowski, Tarski - Arithmetical classes and types of well-ordered systems|Mostowski, Tarski - Arithmetical classes and types of well-ordered systems]] - [[Digital-garden/Papers and Books/Myhill, Scott - ORDINAL DEFINABILITY|Myhill, Scott - ORDINAL DEFINABILITY]] - [[Digital-garden/Papers and Books/Nadel, Stavi - L ∞λ -Equivalence, Isomorphism and Potential Isomorphism|Nadel, Stavi - L ∞λ -Equivalence, Isomorphism and Potential Isomorphism]] - [[Digital-garden/Papers and Books/Neeman - Forcing with Sequences of Models of Two Types|Neeman - Forcing with Sequences of Models of Two Types]] - [[Digital-garden/Papers and Books/Rapp - ON THE EXPRESSIVE POWER OF THE LOGICS L(Qαn1,…,nm)|Rapp - ON THE EXPRESSIVE POWER OF THE LOGICS L(Qαn1,…,nm)]] - [[Digital-garden/Papers and Books/Rinot - Chromatic numbers of graphs - large gaps|Rinot - Chromatic numbers of graphs - large gaps]] - [[Digital-garden/Papers and Books/Rinot - Hedetniemi's conjecture for uncountable graphs|Rinot - Hedetniemi's conjecture for uncountable graphs]] - [[Digital-garden/Papers and Books/Rinot - Same graph, different universe|Rinot - Same graph, different universe]] - [[Digital-garden/Papers and Books/Roguski - Extensions of models for ZFC to models for ZF + V = HOD with applications|Roguski - Extensions of models for ZFC to models for ZF + V = HOD with applications]] - [[Digital-garden/Papers and Books/Roguski - The theory of the class HOD|Roguski - The theory of the class HOD]] - [[Digital-garden/Papers and Books/Rubin, Shelah - On the expressibility hierarchy of magidor-malitz quantifiers|Rubin, Shelah - On the expressibility hierarchy of magidor-malitz quantifiers]] - [[Digital-garden/Papers and Books/Schindler - Set Theory_ Exploring Independence and Truth|Schindler - Set Theory_ Exploring Independence and Truth]] - [[Digital-garden/Papers and Books/Schlindwein - Consistency of Suslin's hypothesis, a nonspecial Aronszajn tree, and GCH|Schlindwein - Consistency of Suslin's hypothesis, a nonspecial Aronszajn tree, and GCH]] - [[Digital-garden/Papers and Books/Schlindwein - SH plus CH does not imply stationary antichains|Schlindwein - SH plus CH does not imply stationary antichains]] - [[Digital-garden/Papers and Books/Schlindwein - Special non-special Aleph_1-Trees|Schlindwein - Special non-special Aleph_1-Trees]] - [[Digital-garden/Papers and Books/Schlindwein - Suslin's hypothesis does not imply stationary antichains|Schlindwein - Suslin's hypothesis does not imply stationary antichains]] - [[Digital-garden/Papers and Books/Schmitt - A First-Order Theory of Ordinals|Schmitt - A First-Order Theory of Ordinals]] - [[Digital-garden/Papers and Books/Seese - Stationary logic and ordinals|Seese - Stationary logic and ordinals]] - [[Digital-garden/Papers and Books/Seese, Weese - L(Aa)‐Elementary Types of Well‐Orderings|Seese, Weese - L(Aa)‐Elementary Types of Well‐Orderings]] - [[Digital-garden/Papers and Books/Siders - On quantifier-rank equivalence between linear orders|Siders - On quantifier-rank equivalence between linear orders]] - [[Digital-garden/Papers and Books/Sierpiński - Cardinal and ordinal numbers|Sierpiński - Cardinal and ordinal numbers]] - [[Digital-garden/Papers and Books/Silver - Some applications of model theory in set theory|Silver - Some applications of model theory in set theory]] - [[Digital-garden/Papers and Books/Slomson - Generalized quantifiers and well orderings|Slomson - Generalized quantifiers and well orderings]] - [[Digital-garden/Papers and Books/Specker - Sur un problème de Sikorski|Specker - Sur un problème de Sikorski]] - [[Digital-garden/Papers and Books/Stavi, Väänänen - Reflection principles for the continuum|Stavi, Väänänen - Reflection principles for the continuum]] - [[Digital-garden/Papers and Books/Steel - An Outline of Inner Model Theory|Steel - An Outline of Inner Model Theory]] - [[Digital-garden/Papers and Books/Takeuti - A formalization of the theory of ordinal numbers|Takeuti - A formalization of the theory of ordinal numbers]] - [[Digital-garden/Papers and Books/Thomason - Logic-based artificial intelligence|Thomason - Logic-based artificial intelligence]] - [[Digital-garden/Papers and Books/Thomassen - Cycles in graphs of uncountable chromatic number|Thomassen - Cycles in graphs of uncountable chromatic number]] - [[Digital-garden/Papers and Books/Väänänen - Abstract logic and set theory. I. Definability|Väänänen - Abstract logic and set theory. I. Definability]] - [[Digital-garden/Papers and Books/Väänänen - Models and Games|Väänänen - Models and Games]] - [[Digital-garden/Papers and Books/Väänänen - Multiverse set theory and absolutely undecidable propositions|Väänänen - Multiverse set theory and absolutely undecidable propositions]] - [[Digital-garden/Papers and Books/Väänänen - Set-theoretic definability of logics|Väänänen - Set-theoretic definability of logics]] - [[Digital-garden/Papers and Books/Väänänen - Δ-Extension and Hanf-numbers|Väänänen - Δ-Extension and Hanf-numbers]] - [[Digital-garden/Papers and Books/Väänänen, Ya'ar - Inner models from extended logics and the Δ-operation|Väänänen, Ya'ar - Inner models from extended logics and the Δ-operation]] - [[Digital-garden/Papers and Books/Velleman - Morasses, diamond, and forcing|Velleman - Morasses, diamond, and forcing]] - [[Digital-garden/Papers and Books/Velleman - On a generalization of jensen's □κ, and strategic closure of partial orders|Velleman - On a generalization of jensen's □κ, and strategic closure of partial orders]] - [[Digital-garden/Papers and Books/Viale - Useful axioms|Viale - Useful axioms]] - [[Digital-garden/Papers and Books/Viale, Weiß - On the consistency strength of the proper forcing axiom|Viale, Weiß - On the consistency strength of the proper forcing axiom]] - [[Digital-garden/Papers and Books/Vinner - A generalization of Ehrenfeucht’s game and some applications|Vinner - A generalization of Ehrenfeucht’s game and some applications]] - [[Digital-garden/Papers and Books/Welch - C_ in L[E]-Models below Oᵏ|Welch - C_ in L[E]-Models below Oᵏ]] - [[Digital-garden/Papers and Books/Welch - Closed Unbounded classes and the Haertig Quantifier Model|Welch - Closed Unbounded classes and the Haertig Quantifier Model]] - [[Digital-garden/Papers and Books/Welch - CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL|Welch - CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL]] - [[Digital-garden/Papers and Books/Ya’ar - Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers|Ya’ar - Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers]] - [[Digital-garden/Papers and Books/Ya'ar - Iterated club shooting and the stationary-logic constructible model|Ya'ar - Iterated club shooting and the stationary-logic constructible model]] - [[Digital-garden/Papers and Books/Ya’ar - Iterating the cofinality-ω constructible model|Ya’ar - Iterating the cofinality-ω constructible model]] - [[Digital-garden/Papers and Books/Ya'ar - Models for short sequences of measures in the cofinality-ω constructible model|Ya'ar - Models for short sequences of measures in the cofinality-ω constructible model]] - [[Digital-garden/Papers and Books/Ya’ar - The modal logic of σ-centered forcing and related forcing classes|Ya’ar - The modal logic of σ-centered forcing and related forcing classes]] - [[Digital-garden/Papers and Books/Yoshinobu - Approachability and games on posets|Yoshinobu - Approachability and games on posets]] - [[Digital-garden/Papers and Books/Zadrożny - Iterating ordinal definability|Zadrożny - Iterating ordinal definability]] - [[Digital-garden/Papers and Books/Zaigralin - Fat subsets of P kappa (lambda)|Zaigralin - Fat subsets of P kappa (lambda)]] - [[Digital-garden/Papers and Books/Zeman - Inner models and large cardinals|Zeman - Inner models and large cardinals]] %% Zoottelkeeper: End of the autogenerated index file list %%