Fraïssé’s conjecture in Π11-comprehension (Q4596662): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3197820 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reverse mathematics and the equivalence of definitions for well and better quasi-orders / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3671967 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5791703 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher set theory and mathematical practice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4111536 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3773882 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Fraissé's order type conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundations of BQO Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3837736 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5711893 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Happy families / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Fraïssé's conjecture for linear orders of finite Hausdorff rank / rank
 
Normal rank
Property / cites work
 
Property / cites work: Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalence between Fraïssé's conjecture and Jullien's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Equimorphism Types of Linear Orderings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5537629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof-theoretic investigations on Kruskal's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hierarchies of Δ<sup>0</sup><sub>2</sub>‐measurable <i>k</i> ‐partitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4764120 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3395521 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hyperarithmetically Encodable Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Forcing with tagged trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Galvin-Prikry theorem and set existence axioms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3789551 / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1142/s0219061317500064 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2725334790 / rank
 
Normal rank

Latest revision as of 09:42, 30 July 2024

scientific article; zbMATH DE number 6815212
Language Label Description Also known as
English
Fraïssé’s conjecture in Π11-comprehension
scientific article; zbMATH DE number 6815212

    Statements

    Fraïssé’s conjecture in Π11-comprehension (English)
    0 references
    0 references
    4 December 2017
    0 references
    Fraïssé's conjecture
    0 references
    well-quasi-ordering
    0 references
    better-quasi-ordering
    0 references

    Identifiers