:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Bulitko, Valeriy K.
Format:	Preprint
Published:	2000
Subjects:	Logic Numerical Analysis 03B30; 03B05
Online Access:	https://arxiv.org/abs/math/0010160
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
by: Houérou, Quentin Le, et al.
Published: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2024)

The uncountability of the reals and the Axiom of Choice
by: Normann, Dag, et al.
Published: (2026)

The Galvin-Prikry Theorem in the Weihrauch lattice
by: Marcone, Alberto, et al.
Published: (2024)

The tree pigeonhole principle in the Weihrauch degrees
by: Dzhafarov, Damir, et al.
Published: (2023)

Axiom Beta Implies Elementary Transfinite Recursion
by: Frittaion, Emanuele, et al.
Published: (2026)

Approximation theorems throughout Reverse Mathematics
by: Sanders, Sam
Published: (2023)

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
by: Houérou, Quentin Le, et al.
Published: (2025)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Strict potentialism in modal mirrors
by: Linnebo, Øystein
Published: (2026)

Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
by: Paolini, Gianluca, et al.
Published: (2024)

There is No Composition in the Computable Reducibility Degrees
by: Mourad, Daniel
Published: (2024)

The strength of Ramsey's theorem for $α$-large sets
by: Carlucci, Lorenzo, et al.
Published: (2026)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Ramsey-like theorems for separable permutations
by: Houérou, Quentin Le, et al.
Published: (2025)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

Logic families
by: Andréka, H., et al.
Published: (2023)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
by: Carlucci, Lorenzo, et al.
Published: (2025)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

The reverse mathematics of Brooks' theorem
by: Marcone, Alberto, et al.
Published: (2026)

Ramsey-like theorems for the Schreier barrier
by: Carlucci, Lorenzo, et al.
Published: (2024)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

On two recent extensions of the Big Five of Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

A note on continuous functions on metric spaces
by: Sanders, Sam
Published: (2024)

On sequential theorems in Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

Coding is hard
by: Sanders, Sam
Published: (2024)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
by: Kulshreshtha, Dhruv
Published: (2024)

Open questions about Ramsey-type statements in reverse mathematics
by: Patey, Ludovic
Published: (2015)

Connecting real and hyperarithmetical analysis
by: Sanders, Sam
Published: (2024)

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