scientific article; zbMATH DE number 3566838

Cited in

(39)

Some bounds for the Ramsey-Paris-Harrington numbers
A simple proof of Parsons' theorem
Automorphisms of recursively saturated models of arithmetic
On Extensions of Models of Strong Fragments of Arithmetic
Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
The strength of infinitary Ramseyan principles can be accessed by their densities
Connected components of graphs and reverse mathematics
Extendible Sets in Peano Arithmetic
Saturation and simple extensions of models of Peano arithmetic
Countable algebra and set existence axioms
The computability, definability, and proof theory of Artinian rings
Rank-initial embeddings of non-standard models of set theory
Independence results in computer science?
A standard model of Peano arithmetic with no conservative elementary extension
Arithmetically saturated models of arithmetic
Automorphisms of countable recursively saturated models of PA: A survey
A note on the variety of satisfaction classes
Ultrafilters and types on models of arithmetic
Constant regions in models of arithmetic
Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic
The theory of \(\kappa\)-like models of arithmetic
Petri nets and large finite sets
The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
Four problems concerning recursively saturated models of arithmetic
Σ_{𝑛}-bounding and Δ_{𝑛}-induction
Combinatorial principles concerning approximations of functions
Duality, non-standard elements, and dynamic properties of r.e. sets
Normal subgroups of nonstandard symmetric and alternating groups
On Gödel incompleteness and finite combinatorics
Definability of initial segments
Automorphisms of models of arithmetic: a unified view
Transfinite induction within Peano arithmetic
Truth in generic cuts
The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem
Definable sets and expansions of models of Peano arithmetic
Complexity among the finitely generated subgroups of Thompson's group
On cofinal submodels and elementary interstices

This page was built for publication:

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