:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Bulitko, Valeriy K.
Format:	Preprint
Publié:	2000
Sujets:	Logic Numerical Analysis 03B30; 03B05
Accès en ligne:	https://arxiv.org/abs/math/0010160
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

When Bi-interpretability implies Synonymy
par: Friedman, Harvey M., et autres
Publié: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
par: Houérou, Quentin Le, et autres
Publié: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2024)

The uncountability of the reals and the Axiom of Choice
par: Normann, Dag, et autres
Publié: (2026)

The Galvin-Prikry Theorem in the Weihrauch lattice
par: Marcone, Alberto, et autres
Publié: (2024)

The tree pigeonhole principle in the Weihrauch degrees
par: Dzhafarov, Damir, et autres
Publié: (2023)

Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)

Approximation theorems throughout Reverse Mathematics
par: Sanders, Sam
Publié: (2023)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

Bounded Ramsey's theorem for triples in computability theory
par: Patey, Ludovic, et autres
Publié: (2026)

Coherence for logicians
par: Petric, Zoran, et autres
Publié: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2025)

The reverse mathematics of the pigeonhole hierarchy
par: Houérou, Quentin Le, et autres
Publié: (2024)

Strict potentialism in modal mirrors
par: Linnebo, Øystein
Publié: (2026)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
par: Paolini, Gianluca, et autres
Publié: (2024)

There is No Composition in the Computable Reducibility Degrees
par: Mourad, Daniel
Publié: (2024)

The strength of Ramsey's theorem for $α$-large sets
par: Carlucci, Lorenzo, et autres
Publié: (2026)

First-Order Modal Logic via Logical Categories
par: Ghilardi, Silvio, et autres
Publié: (2025)

Ramsey-like theorems for separable permutations
par: Houérou, Quentin Le, et autres
Publié: (2025)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
par: Buriola, Gabriele, et autres
Publié: (2025)

The uniform Kruskal theorem over RCA$_0$
par: Uftring, Patrick
Publié: (2025)

On three-valued presentations of classical logic
par: da Ré, Bruno, et autres
Publié: (2023)

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

Logic families
par: Andréka, H., et autres
Publié: (2023)

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

Maximal order types for sequences with gap condition
par: Uftring, Patrick
Publié: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
par: Ghari, Meghdad
Publié: (2014)

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

The reverse mathematics of Brooks' theorem
par: Marcone, Alberto, et autres
Publié: (2026)

Ramsey-like theorems for the Schreier barrier
par: Carlucci, Lorenzo, et autres
Publié: (2024)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

On two recent extensions of the Big Five of Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

A note on continuous functions on metric spaces
par: Sanders, Sam
Publié: (2024)

On sequential theorems in Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

Coding is hard
par: Sanders, Sam
Publié: (2024)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
par: Kulshreshtha, Dhruv
Publié: (2024)

Open questions about Ramsey-type statements in reverse mathematics
par: Patey, Ludovic
Publié: (2015)

Connecting real and hyperarithmetical analysis
par: Sanders, Sam
Publié: (2024)

Tarski's Undefinability Theorem and first-order arithmetic
par: Boyce, Stephen
Publié: (2010)