Image de couverture de livre

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Contente, Michele, Maietti, Maria Emilia
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Compatibility of the Minimalist Foundation with Homotopy Type Theory
par: Contente, Michele, et autres
Publié: (2022)

Logical Predicates in Higher-Order Mathematical Operational Semantics
par: Goncharov, Sergey, et autres
Publié: (2024)

Predicate Subtypes in VerCors
par: Dubbeling, Tycho, et autres
Publié: (2026)

Constructive and Predicative Locale Theory in Univalent Foundations
par: Tosun, Ayberk
Publié: (2026)

On the Decidability of Monadic Theories of Arithmetic Predicates
par: Berthé, Valérie, et autres
Publié: (2024)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Equiconsistency of the Minimalist Foundation with its classical version
par: Maietti, Maria Emilia, et autres
Publié: (2024)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
par: Narusevych, Mykyta
Publié: (2026)

Deciding Predicate Logical Theories of Real-Valued Functions
par: Ratschan, Stefan
Publié: (2023)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
par: Hieronymi, Philipp, et autres
Publié: (2026)

Predicates and terms from non-standard sequences
par: Zhuravlov, V. M.
Publié: (2023)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
par: Meseguer, Jose
Publié: (2024)

Fibred sets within a predicative and constructive effective topos
par: Cioffo, Cipriano Junior, et autres
Publié: (2024)

A topological counterpart of well-founded trees in dependent type theory
par: Maietti, Maria Emilia, et autres
Publié: (2023)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
par: Maietti, Maria Emilia, et autres
Publié: (2025)

Quasitoposes as elementary quotient completions
par: Maietti, Maria Emilia, et autres
Publié: (2021)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
par: Soroka, Emi, et autres
Publié: (2024)

A minimalist two-level foundation for constructive mathematics
par: Maietti, Maria Emilia
Publié: (2008)

Quotients, pure existential completions and arithmetic universes
par: Maietti, Maria Emilia, et autres
Publié: (2023)

Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
par: Ito, Sohei, et autres
Publié: (2026)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
par: Gupta, Gopal, et autres
Publié: (2025)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
par: Echenim, Mnacho, et autres
Publié: (2023)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
par: Verscht, Lena, et autres
Publié: (2024)

Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3
par: Brogni, Anthony, et autres
Publié: (2023)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
par: Zhang, Linpeng, et autres
Publié: (2024)

On Expansions of Monadic Second-Order Logic with Dynamical Predicates
par: Nieuwveld, Joris, et autres
Publié: (2025)

The Regular Element Property in Constructive Mathematics
par: Coquand, Thierry
Publié: (2024)

Reaching Classicality through Transitive Closure
par: Blomet, Quentin, et autres
Publié: (2025)

Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
par: Yang, Bowen, et autres
Publié: (2026)

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
par: Ambridge, Todd Waugh
Publié: (2024)

Weyl's Quantifiers
par: Toader, Iulian D.
Publié: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Constructive Ordinal Exponentiation
par: de Jong, Tom, et autres
Publié: (2025)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

On Classical Determinate Truth
par: Castaldo, Luca, et autres
Publié: (2024)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

Meta-Mathematics of Computational Complexity Theory
par: Oliveira, Igor C.
Publié: (2025)

Classical Logic without Bivalance
par: Gheorghiu, Alexander V.
Publié: (2025)