:: Library Catalog

Bearbmagovva

Furkejuvvon:

Bibliográfalaš dieđut
Váldodahkki:	Boyce, Stephen
Materiálatiipa:	Preprint
Almmustuhtton:	2011
Fáttát:	General Mathematics 03C62, 03B25, 03F40, 03F03
Liŋkkat:	https://arxiv.org/abs/1105.0321
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

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

Herbrandized modified realizability
Dahkki: Ferreira, Gilda, et al.
Almmustuhtton: (2024)

Satisfaction classes with approximate disjunctive correctness
Dahkki: Enayat, Ali
Almmustuhtton: (2023)

Classical determinate truth without induction
Dahkki: Wcisło, Bartosz
Almmustuhtton: (2024)

Saturation properties for compositional truth with propositional correctness
Dahkki: Wcisło, Bartosz
Almmustuhtton: (2024)

On the hierarchy of natural theories
Dahkki: Walsh, James
Almmustuhtton: (2021)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
Dahkki: Fukumoto, Yusei
Almmustuhtton: (2025)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
Dahkki: Sun, Mengzhou
Almmustuhtton: (2024)

From Numbers to Container Strings
Dahkki: Visser, Albert
Almmustuhtton: (2024)

On Rosser theories
Dahkki: Cheng, Yong
Almmustuhtton: (2024)

Pour-El's Landscape
Dahkki: Kurahashi, Taishi, et al.
Almmustuhtton: (2023)

There are no minimal effectively inseparable theories
Dahkki: Cheng, Yong
Almmustuhtton: (2022)

Completions of Restricted Complexity I, Weak Arithmetical Theories
Dahkki: Enayat, Ali, et al.
Almmustuhtton: (2025)

Fractal Origin of the Continuum: A Hypothesis on Process-Relative Definability
Dahkki: Semenov, Stanislav
Almmustuhtton: (2025)

On the Nature of Fractal Numbers and the Classical Continuum Hypothesis (CH)
Dahkki: Semenov, Stanislav
Almmustuhtton: (2025)

Wave Arithmetic: A Smooth Integral Representation of Number Theory
Dahkki: Semenov, Stanislav
Almmustuhtton: (2025)

Axiomatic Foundations of Fractal Analysis and Fractal Number Theory
Dahkki: Semenov, Stanislav
Almmustuhtton: (2025)

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

The finite cohesiveness principle
Dahkki: Sun, Mengzhou
Almmustuhtton: (2025)

On a Theorem by Bezboruah & Shepherdson
Dahkki: Visser, Albert
Almmustuhtton: (2026)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
Dahkki: Oddsson, Hrafn Valtýr
Almmustuhtton: (2026)

Encoding Sequences in Intuitionistic Real Algebra
Dahkki: Erdélyi-Szabó, Miklós
Almmustuhtton: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
Dahkki: Erdélyi-Szabó, Miklós
Almmustuhtton: (2024)

On the Various Translations between Classical, Intuitionistic and Linear Logic
Dahkki: Ferreira, Gilda, et al.
Almmustuhtton: (2024)

More conservativity for weak Kőnig's lemma
Dahkki: Freund, Anton, et al.
Almmustuhtton: (2024)

The proof-theoretic strength of Constructive Second-order set theories
Dahkki: Jeon, Hanul
Almmustuhtton: (2023)

Interpolation in Hájek's Basic Logic
Dahkki: Fussner, Wesley, et al.
Almmustuhtton: (2024)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
Dahkki: Sato, Yuta
Almmustuhtton: (2025)

On the relationships between some meta-mathematical properties of arithmetical theories
Dahkki: Cheng, Yong
Almmustuhtton: (2023)

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

Truth and collection
Dahkki: Wcisło, Bartosz
Almmustuhtton: (2024)

Reflection ranks via infinitary derivations
Dahkki: Walsh, James
Almmustuhtton: (2021)

Serial Properties, Selector Proofs, and the Provability of Consistency
Dahkki: Artemov, Sergei
Almmustuhtton: (2024)

Non-Compact Proofs
Dahkki: Artemov, Sergei
Almmustuhtton: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
Dahkki: Artemov, Sergei
Almmustuhtton: (2025)

Consistent ultrafinitist logic
Dahkki: Gajda, Michał J.
Almmustuhtton: (2021)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
Dahkki: Kołodziejczyk, Leszek Aleksander, et al.
Almmustuhtton: (2026)

Herbrand's Theorem: a short statement and a model-theoretic proof
Dahkki: Badano, Mariana
Almmustuhtton: (2025)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
Dahkki: Bodirsky, Manuel, et al.
Almmustuhtton: (2020)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
Dahkki: Houérou, Quentin Le, et al.
Almmustuhtton: (2026)