:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Sant'Anna, Adonai Schlup
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2410.19976
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Discernment is all you need
by: Fuenmayor, David
Published: (2026)

All you need is $\mathbf{A}_κ$
by: Bannister, Nathaniel
Published: (2025)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Compression is all you need: Modeling Mathematics
by: Aksenov, Vitaly, et al.
Published: (2026)

Morphological and thermal analyses of flexible polyurethane foams containing commercial calcium carbonate
by: S. S. Sant'Anna
Published: (2008)

Exponentiable linear orders need not be transitive
by: Mittal, Mihir, et al.
Published: (2024)

Database Research needs an Abstract Relational Query Language
by: Gatterbauer, Wolfgang, et al.
Published: (2025)

One is all you need: Second-order Unification without First-order Variables
by: Cerna, David M., et al.
Published: (2024)

Relative model completeness of henselian valued fields with finite ramification and various value groups
by: De Mase, Anna
Published: (2023)

Precariedade e morte animal: pensando o luto para além do humano em Clarice Lispector
by: Evandro Sant’Anna
Published: (2024)

The Mariana Environmental Disaster and its Labor Market Effects
by: Sant'Anna, Hugo
Published: (2024)

Gender Differences in Comparative Advantage Matches: Evidence from Linked Employer-Employee Data
by: Sant'Anna, Hugo
Published: (2024)

Utilization of shells of the snail Achatina fulica Bowdich, 1822 (Mollusca, Gastropoda) by the hermit crab Clibanarius vittatus (Bosc, 1802) (Decapoda, Anomura) in the São Vicente Estuary, São Paulo, Brazil
by: Bruno S. Sant'Anna
Published: (2005)

Spatial distribution and shell utilization in three sympatric hermit crabs at non-consolidated sublittoral of estuarine-bay complex in São Vicente, São Paulo, Brazil
by: Bruno S. Sant'Anna
Published: (2006)

Um mosaico histórico dos embates sobre a vacinação
by: Denise Sant'Anna
Published: (2023)

PENSANDO E DISCUTINO AFRODIÁSPORAS E TERREIROS: CRIANÇAS, EDUCAÇÃO, RACISMO E IMAGEM
by: Cristiano Sant’Anna
Published: (2018)

Introduction: philosophy of memory
by: André Sant’Anna
Published: (2021)

El programa Bolsa Familia : un éxito entre el público y la crítica / Julia Sant’Anna
by: Sant’Anna, Julia
Published: (2003)

Direct intramyocardial transthoracic transplantation of bone marrow mononuclear cells for non-ischemic dilated cardiomyopathy: INTRACELL, a prospective randomized controlled trial
by: Roberto T. Sant’Anna
Published: (2014)

A herança do PCH: balanço crítico e desdobramentos 40 anos depois
by: Marcia Sant’Anna
Published: (2016)

¿Quién hace la noticia en el Parlamento brasileño? Análisis comparativo de las rutinas de los newsmakers del Senado federal
by: Francisco Sant'Anna
Published: (2009)

Attitudes and the (dis)continuity between memory and imagination
by: André Sant’Anna
Published: (2021)

O queer como gesto profano em João Gilberto Noll
by: Evandro Sant’Anna
Published: (2020)

Dividing Lines between Positive Theories
by: Dmitrieva, Anna, et al.
Published: (2023)

Connectivity notions on compatible digraphs in equational classes
by: Gyenizse, Gergő, et al.
Published: (2026)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
by: Blanc, Manon, et al.
Published: (2023)

The equational theory of the Weihrauch lattice with multiplication
by: Neumann, Eike, et al.
Published: (2024)

Parametric equations for temporal style assertions
by: Yodaiken, Victor
Published: (2016)

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

Exponential sums equations and the Exponential Closedness conjecture
by: Aslanyan, Vahagn, et al.
Published: (2024)

Continuous approximate roots of polynomial equations via shape theory
by: Lau, Joshua, et al.
Published: (2025)

Separating covering numbers and separating uniformity numbers of Hausdorff measures need large continuum
by: Goto, Tatsuya
Published: (2025)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

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

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)