The following pages link to (Q4001935):
Displaying 50 items.
- On \(\mathsf{Q}\) (Q1699730) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic (Q1712495) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- A problem in Pythagorean arithmetic (Q1750297) (← links)
- On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
- Transplendent models: expansions omitting a type (Q1762364) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- Some conservation results on weak König's lemma (Q1849864) (← links)
- On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (Q1857358) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Automorphisms of countable recursively saturated models of PA: A survey (Q1913626) (← links)
- Four problems concerning recursively saturated models of arithmetic (Q1913627) (← links)
- Arithmetically saturated models of arithmetic (Q1913628) (← links)
- The theory of \(\kappa\)-like models of arithmetic (Q1913629) (← links)
- Pell equations and exponentiation in fragments of arithmetic (Q1919524) (← links)
- Interpreting the compositional truth predicate in models of arithmetic (Q2042738) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- In search of the first-order part of Ramsey's theorem for pairs (Q2117792) (← links)
- Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Tanaka's theorem revisited (Q2204369) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- R.e. Prime powers and total rigidity (Q2281321) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- A new proof of Ajtai's completeness theorem for nonstandard finite structures (Q2339960) (← links)
- Cone avoidance and randomness preservation (Q2344623) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- On the value group of a model of Peano arithmetic (Q2363347) (← links)
- The spectrum of elementary embeddings \(j: V \to V\) (Q2368919) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- On the metamathematics of the P vs. NP question (Q2383632) (← links)
- Adding a conditional to Kripke's theory of truth (Q2397814) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Models of weak theories of truth (Q2402953) (← links)
- Combinatorial unprovability proofs and their model-theoretic counterparts (Q2452679) (← links)
- Deflationism, conservativeness and maximality (Q2462686) (← links)
- A remark on equivalent Rosser sentences (Q2470037) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X]\) (Q2509482) (← links)
- Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- Provability logic: models within models in Peano arithmetic (Q2701199) (← links)
- On the strength of Ramsey's theorem for pairs (Q2732267) (← links)
- Syntactical truth predicates for second order arithmetic (Q2732276) (← links)
- AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC (Q2795926) (← links)
- The arithmetic of cuts in models of arithmetic (Q2856636) (← links)
