Imagen de Portada

Universal truth of operator statements via ideal membership

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hofstadler, Clemens, Raab, Clemens G., Regensburger, Georg
Formato:	Preprint
Publicado:	2022
Materias:	Logic 03B35, 18E05, 68V15 (Primary), 16B50 (Secondary)
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Higher-Order Vampire (Short Paper)
por: Bhayat, Ahmed, et al.
Publicado: (2024)

Open Colorings and Baumgartner's Axiom
por: Notaro, Lorenzo
Publicado: (2026)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
por: Leme, Renato, et al.
Publicado: (2023)

Definable Obstruction Theory
por: Meadows, Nicholas
Publicado: (2025)

Coherent and ideal actions in ideally exact categories
por: Mancini, Manuel, et al.
Publicado: (2025)

Combinatorial Properties Related to the Higher Baumgartner's Axiom
por: Krueger, John
Publicado: (2026)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
por: Farmer, William M.
Publicado: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
por: Farmer, William M., et al.
Publicado: (2023)

Compatible Forts and Maximum Nullity of a Graph
por: Furst, Veronika, et al.
Publicado: (2024)

Some questions on entangled linear orders
por: Carroy, Raphaël, et al.
Publicado: (2025)

Path of pathology
por: Filipów, Rafał, et al.
Publicado: (2024)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
por: Cornejo, Juan M., et al.
Publicado: (2024)

Transposition of variables is hard to describe
por: Andréka, H., et al.
Publicado: (2024)

Ranked Forcing and the Length of Generalized Borel Hierarchies
por: Chapman, Nick
Publicado: (2026)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
por: Paulson, Lawrence C
Publicado: (2025)

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

Universality properties of forcing
por: Parente, Francesco, et al.
Publicado: (2023)

The continuous functional calculus in Lean
por: Dedecker, Anatole, et al.
Publicado: (2025)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
por: Malbos, Philippe, et al.
Publicado: (2024)

Remarks on Primitive Regulation
por: Rosko, Milan
Publicado: (2026)

Cardinality in a paraconsistent and paracomplete set theory
por: Oddsson, Hrafn Valtýr
Publicado: (2026)

The complexity of non-stationary ideals
por: Lücke, Philipp
Publicado: (2024)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
por: Wiesnet, Franziskus
Publicado: (2025)

$F_σ$-ideals, colorings, and representation in Banach spaces
por: Lopez-Abad, Jordi, et al.
Publicado: (2025)

Two $\mathfrak{b}$ or not two $\mathfrak{b}$?
por: Filipów, Rafał, et al.
Publicado: (2025)

Measuring data types
por: Mulder, Lukas, et al.
Publicado: (2024)

Full Souslin trees at small cardinals
por: Rinot, Assaf, et al.
Publicado: (2023)

A Modular First Formalisation of Combinatorial Design Theory
por: Edmonds, Chelsea, et al.
Publicado: (2021)

Nonstandard polynomials: algebraic properties and elementary equivalence
por: Myasnikov, Alexei, et al.
Publicado: (2024)

Anatomy of a Formal Proof
por: Avigad, Jeremy, et al.
Publicado: (2024)

LF: a Foundational Higher-Order-Logic
por: Goodsell, Zachary, et al.
Publicado: (2024)

Homogeneous isosceles-free spaces
por: Bargetz, Christian, et al.
Publicado: (2023)

Proper classes of maximal $θ$-independent families from large cardinals
por: Ryan-Smith, Calliope
Publicado: (2024)

New consequences of PFA($T^*$)
por: Martínez-Ranero, Carlos, et al.
Publicado: (2025)

Subseries Numbers for Convergent Subseries
por: van der Vlugt, Tristan
Publicado: (2025)

A new model for all $C$-sequences are trivial
por: Rinot, Assaf, et al.
Publicado: (2025)

Proxy principles in combinatorial set theory
por: Brodsky, Ari Meir, et al.
Publicado: (2024)

Disjoint Stationary Sequences on an Interval of Cardinals
por: Jakob, Hannes
Publicado: (2023)

Comment to "Almost disjoint sets, the dense set problem and the partition calculus"
por: Pereira, Júnio Luan
Publicado: (2026)

Borel Conjecture for the Marczewski ideal
por: Brendle, Joerg, et al.
Publicado: (2024)