Models Without Indiscernibles

DOI10.2307/2273534zbMath0391.03027OpenAlexW2084048686MaRDI QIDQ4172050

Publication date: 1978

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

Full work available at URL: https://semanticscholar.org/paper/4c320966eeb71c6c20fc9fab9c3dffdf9c0a5a4d

zbMATH Keywords

Ramsey Theorem Completion of Peano Arithmetic End-Extension Hanf Numbers Indiscernible Sequences of Ordinals Omitting Types Standard Model of Peano Arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Other combinatorial set theory (03E05) Set-theoretic model theory (03C55)

Related Items (54)

Partition properties of q-hypergraphs ⋮ Ramsey degrees, labeled and unlabeled partitions ⋮ The Ramsey theory of Henson graphs ⋮ Distance Preserving Ramsey Graphs ⋮ Induced partition properties of combinatorial cubes ⋮ On induced Ramsey numbers fork-uniform hypergraphs ⋮ Gowers' Ramsey theorem with multiple operations and dynamics of the homeomorphism group of the Lelek fan ⋮ Automorphisms of countable recursively saturated models of PA: A survey ⋮ A dual Ramsey theorem for permutations ⋮ The partite construction and Ramsey set systems ⋮ Reducts of random hypergraphs ⋮ A Ramsey class for Steiner systems ⋮ The 42 reducts of the random ordered graph ⋮ On the dual Ramsey property for finite distributive lattices ⋮ Reducts of the random bipartite graph ⋮ Statistics of orderings ⋮ Unary functions ⋮ Amenability and unique ergodicity of automorphism groups of countable homogeneous directed graphs ⋮ Categorical view of the partite lemma in structural Ramsey theory ⋮ A short proof of the induced Ramsey theorem for hypergraphs ⋮ Subrecursive Complexity of Identifying the Ramsey Structure of Posets ⋮ A Note on Induced Ramsey Numbers ⋮ The Ramsey theory of the universal homogeneous triangle-free graph ⋮ A short proof of the restricted Ramsey theorem for finite set systems ⋮ Big Ramsey degrees in universal inverse limit structures ⋮ Canonizing structural Ramsey theorems ⋮ Characterization of NIP theories by ordered graph-indiscernibles ⋮ Ramsey transfer to semi-retractions ⋮ Direct Ramsey theorem for structures involving relations and functions ⋮ On dual Ramsey theorems for relational structures ⋮ A new look at interpretability and saturation ⋮ Ramsey precompact expansions of homogeneous directed graphs ⋮ A new proof of the Nešetřil-Rödl theorem ⋮ Pre-adjunctions and the Ramsey property ⋮ Ramsey properties and extending partial automorphisms forhbox classes of finite structures ⋮ Directed graphs and boron trees ⋮ Minimal functions on the random graph ⋮ Ramsey degrees of bipartite graphs: a primitive recursive proof ⋮ A Ramsey theorem for structures with both relations and functions ⋮ Ramsey partial orders from acyclic graphs ⋮ The Ramsey and the ordering property for classes of lattices and semilattices ⋮ Schaefer's Theorem for Graphs ⋮ Automorphism groups of finite topological rank ⋮ Ramsey properties of finite posets ⋮ On \(n\)-dependence ⋮ Symmetry and the Ramsey degrees of finite relational structures ⋮ Fixed points in compactifications and combinatorial counterparts ⋮ A Ramsey theorem for multiposets ⋮ Two proofs of the Ramsey property of the class of finite hypergraphs ⋮ All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms) ⋮ Induced partition theorems ⋮ Unnamed Item ⋮ Canonizing Ramsey theorems for finite graphs and hypergraphs ⋮ Karp complexity and classes with the independence property

This page was built for publication: Models Without Indiscernibles