Imagen de Portada

Relative leftmost path principles and omega-model reflections of transfinite inductions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Suzuki, Yudai
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
por: Suzuki, Yudai, et al.
Publicado: (2024)

Iterability for (transfinite) stacks
por: Schlutzenberg, Farmer
Publicado: (2018)

Full normalization for transfinite stacks
por: Schlutzenberg, Farmer
Publicado: (2021)

The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $α$-register machines
por: Carl, Merlin
Publicado: (2022)

On some subtheories of strong dependent choice
por: Aguilera, Juan P., et al.
Publicado: (2024)

On the logical structure of choice and bar induction principles
por: Brede, Nuria, et al.
Publicado: (2021)

Wadge degrees of $Δ^0_2$ omega-powers
por: Finkel, Olivier, et al.
Publicado: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
por: Das, Anupam, et al.
Publicado: (2024)

On Translating Epistemic Operators in a Logic of Awareness
por: Kubono, Yudai
Publicado: (2026)

An independence of the MIN principle from the PHP principle
por: Narusevych, Mykyta
Publicado: (2024)

Monoidal weak omega-categories as models of a type theory
por: Benjamin, Thibaut
Publicado: (2021)

A proof theory of right-linear (omega-)grammars via cyclic proofs
por: Das, Anupam, et al.
Publicado: (2024)

Logic of Awareness for Nested Knowledge
por: Kubono, Yudai
Publicado: (2024)

Well-quasi-orders on finite trees and transfinite sequences
por: Chopra, Alakh Dhruv, et al.
Publicado: (2026)

A Representation of Explicit Knowledge and Epistemic Indistinguishability in a Logic of Awareness
por: Kubono, Yudai, et al.
Publicado: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

Invariant Keisler measures for omega-categorical structures
por: Marimon, Paolo
Publicado: (2022)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
por: Sabelli, Pietro
Publicado: (2024)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
por: Oda, Yukihiro, et al.
Publicado: (2021)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
por: Pan, Yudai, et al.
Publicado: (2021)

Approximation of hyperarithmetic analysis by $ω$-model reflection
por: Hashimoto, Koki
Publicado: (2024)

Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers
por: Olivier Finkel, et al.
Publicado: (2024)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
por: Oda, Yukihiro, et al.
Publicado: (2022)

Characterizing fragments of collection principle in set theory with model theoretic properties
por: Chen, Junhong
Publicado: (2025)

Introducing a nontrivial square_omega
por: Dolinar, Gregor K., et al.
Publicado: (2010)

The fractal Goodstein principle
por: Fernández-Duque, David, et al.
Publicado: (2025)

The measuring principle and the continuum hypothesis
por: Golshani, Mohammad, et al.
Publicado: (2022)

Cyclic proof theory of positive inductive definitions
por: Curzi, Gianluca, et al.
Publicado: (2025)

Exponential fields and Conway's omega-map
por: Berarducci, Alessandro, et al.
Publicado: (2018)

Hjorth's reflection argument
por: Sargsyan, Grigor
Publicado: (2021)

Goldstern's principle about unions of null sets
por: Goto, Tatsuya
Publicado: (2022)

Constructing (Co)inductive Types via Large Sizes
por: Laarakker, Bastiaan, et al.
Publicado: (2026)

Modal reduction principles: a parametric shift to graphs
por: Conradie, Willem, et al.
Publicado: (2024)

Refinements of provability and consistency principles for the second incompleteness theorem
por: Kurahashi, Taishi
Publicado: (2025)

Descending sequences in reflection hierarchies
por: Łełyk, Mateusz, et al.
Publicado: (2025)

A nonsmooth path-connectedness relation in the real plane
por: Uyar, Yusuf
Publicado: (2025)

Iterating reflection over intuitionistic arithmetic
por: Frittaion, Emanuele
Publicado: (2024)

The strong reflecting property and Harrington's Principle
por: Cheng, Yong
Publicado: (2015)

The Pebble-Relation Comonad in Finite Model Theory
por: Montacute, Yoàv, et al.
Publicado: (2021)