79 artigos
Este artigo introduz uma nova propriedade de posets, definida por uma variação do jogo de Banach-Mazur que permite escolhas de conjuntos contáveis, demonstra que o Axioma Forçado de Proper (PFA) é preservado sob forçagem sobre tais posets e aplica esse resultado para reproduzir um teorema de Magidor sobre a consistência do PFA com variações fracas dos princípios quadrado.
O artigo define e caracteriza as "categorias universais de espaços vetoriais fortes" (r.c.s.v.s.), demonstrando que elas correspondem a endofuntores -enriquecidos ortogonais a certos cokernes e são equivalentes aos "espaços de somabilidade ultrafinita", estabelecendo ainda suas relações com espaços topológicos linearmente compactos e analisando suas estruturas monoidais fechadas.
Este artigo estabelece um análogo do teorema de Kaplansky para teorias de campos ordenados o-minimais com uma valoração -convexa, demonstrando que toda modelo possui uma extensão única, chamada de completamento --esférico, que é construtível via tipos fracamente imediatos -limitados e preserva o corpo residual.
Este artigo introduz duas variações das propriedades de escalabilidade conjuntiva, demonstrando que as do primeiro tipo são consistentes com o Axioma do Forçamento Proper (PFA) e equivalentes a princípios conhecidos, enquanto as do segundo tipo caracterizam-se como axiomas do tipo Martin e são inconsistentes com o PFA.
Este artigo estabelece, através de verificação formal em Lean 4 e validação externa com TTT2, uma barreira de impossibilidade para medidas composicionais diretas na orientação de recursores duplicadores de passos em sistemas de reescrita, demonstrando como métodos baseados em projeção superam essa limitação e fornecendo uma cadeia completa de certificação para um cálculo mínimo de teste.
Os autores demonstram que a fragilidade do Teorema de Tennenbaum, anteriormente observada apenas na Aritmética de Peano completa, estende-se a fragmentos intermediários de força através da construção de uma sequência de teorias definicionalmente equivalentes que admitem modelos não padrão computáveis, utilizando para isso um novo teorema geral de inversão forte do salto.
Este artigo investiga a combinatória de partições retangulares contínuas e de Borel de ações livres de em espaços poloneses de dimensão zero, estabelecendo limites para os números de regulação que revelam uma distinção fundamental entre os casos de dimensão e .
Este artigo demonstra, sob a ótica da teoria descritiva dos conjuntos, que a relação de conjugação em subdeslizamentos unilateros sobre o alfabeto é não-arborizável e não amenável.
Este artigo apresenta uma revisão sistemática de fragmentos restritos de lógicas proposicionais e modais, analisando como sua expressividade e complexidade computacional dependem dos operadores permitidos, integrando abordagens baseadas em reticulados de Post e frameworks de conectivos modais, além de discutir resultados sobre aprendibilidade e identificar problemas em aberto.
Este artigo introduz as lógicas modais construtivas e , demonstrando que ambas são completas em EXPTIME e possuem a propriedade de modelo finito exponencial, o que resolve a conjectura de Afshari et al. para seu fragmento sem diamante e permite a incorporação das lógicas e com complexidade de validade em EXPTIME.
Este artigo apresenta lógicas baseadas em equipes proposicionais que capturam propriedades (quase) descendentes e ascendentes de forma dual através de variantes de átomos de inclusão, estabelecendo suas formas normais e fornecendo sistemas de dedução natural completos e corretos para cada lógica.
Este artigo apresenta novas condições suficientes, denominadas "propriedade olive", para a inexistência de um grupo universal em certas cardinalidades, demonstrando que a classe dos grupos satisfaz tais condições e, portanto, não possui um membro universal nessas circunstâncias.
Este artigo demonstra que os axiomas atuais de diversas estruturas hipercompostas não são independentes e propõe novas definições que minimizam esses conjuntos axiomáticos.
Este artigo define uma nova "geometric rank" aditiva para imaginários na teoria de pares bonitos de corpos algebricamente fechados, a qual refina o SU-rank, caracteriza o forking e fornece um critério explícito para independência.
Este artigo utiliza métodos da teoria dos modelos para estabelecer que toda extensão fortemente normal generalizada é uma extensão de Galois de um D-torsor parametrizado, provando uma versão parametrizada de um teorema de Kolchin sobre cohomologia diferencial e fornecendo uma condição cohomológica necessária e suficiente para que tais extensões sejam associadas a equações log-diferenciais.
O artigo demonstra que uma versão enfraquecida do Teorema de Divisão de Robinson, na qual a propriedade de "baixo" é substituída por "superbaixo", é válida em modelos de .
Este artigo demonstra, através da construção de modelos contrários, que princípios de indução e coindução para tipos de dados não são deriváveis no cálculo puro P2, estabelecendo que extensões como a extensão funcional de funções são essenciais para a prova desses princípios.
Este artigo apresenta uma nova prova curta do Teorema de Van der Waerden sobre progressões aritméticas monocromáticas, utilizando álgebra no espaço compacto de ultrafiltros sem recorrer a ultrafiltros minimais ou idempotentes.
O artigo investiga a relação entre o Princípio de Construção de Eklof-Mekler-Shelah e a superestabilidade dos objetos livres em variedades de álgebras, demonstrando que, se uma forma forte desse princípio for satisfeita, quase todas as coberturas AEC desses objetos são insuperestáveis, com aplicações a módulos sobre anéis e variedades de grupos.