Cover Image

Pathwise-random trees and models of second-order arithmetic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barmpalias, George, Wang, Wei
Format:	Preprint
Published:	2021
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Growth and irreducibility in path-incompressible trees
by: Barmpalias, George, et al.
Published: (2022)

Dimensionality and randomness
by: Barmpalias, George, et al.
Published: (2024)

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)

Speedability of computably approximable reals and their approximations
by: Barmpalias, George, et al.
Published: (2026)

Computable one-way functions on the reals
by: Barmpalias, George, et al.
Published: (2024)

Collision-resistant hash-shuffles on the reals
by: Barmpalias, George, et al.
Published: (2025)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

Complexity of inversion of functions on the reals
by: Barmpalias, George, et al.
Published: (2024)

Compression of enumerations and gain
by: Barmpalias, George, et al.
Published: (2023)

Higher-order generalizations of stability and arithmetic regularity
by: Terry, C., et al.
Published: (2021)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)

Boolean-valued second-order logic revisited
by: Ikegami, Daisuke
Published: (2025)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

New inner models from second order logics
by: Magidor, Menachem, et al.
Published: (2025)

Algebraic characterisation of pseudo-elementary and second-order classes
by: Ivanyos, János Balázs
Published: (2026)

Axiomatization of Büchi arithmetic
by: Kovalyov, Konstantin
Published: (2024)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
by: Bahrami, Saeideh
Published: (2022)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

Graphings of arithmetical equivalence relations
by: Arant, Tyler
Published: (2025)

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
by: Bahrami, Saeideh
Published: (2026)

Iterating reflection over intuitionistic arithmetic
by: Frittaion, Emanuele
Published: (2024)

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

Model theory of second order logic
by: Väänänen, Jouko
Published: (2025)

Every countable model of arithmetic or set theory has a pointwise-definable end extension
by: Hamkins, Joel David
Published: (2022)

Characterizations of monadically dependent tree-ordered weakly sparse structures
by: Buffière, Hector, et al.
Published: (2026)

Tarski's Undefinability Theorem and first-order arithmetic
by: Boyce, Stephen
Published: (2010)

First order complexity of finite random structures
by: Demin, Danila, et al.
Published: (2024)

The modal logic of arithmetic potentialism and the universal algorithm
by: Hamkins, Joel David
Published: (2018)

Searching problems above arithmetical transfinite recursion
by: Suzuki, Yudai, et al.
Published: (2023)

A non-sequential arithmetical theory with pairing
by: Murwanashyaka, Juvenal
Published: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
by: Haase, Christoph, et al.
Published: (2024)

Analysis of logics with arithmetic
by: Benedikt, Michael, et al.
Published: (2025)

On the representation of C-recursive integer sequences by arithmetic terms
by: Prunescu, Mihai, et al.
Published: (2024)

A very sharp threshold for first order logic distinguishability of random graphs
by: Benjamini, Itai, et al.
Published: (2022)

Capturing the polynomial hierarchy by second-order revised Krom logic
by: Wang, Kexu, et al.
Published: (2022)

One-variable fragments of first-order logics
by: Cintula, Petr, et al.
Published: (2023)

Infinite trees
by: Goy, Alexandre
Published: (2025)