79 papers
Dit artikel introduceert een eigenschap van posets die (ω₁+1)-strategische geslotenheid versterkt via een variatie van het Banach-Mazur-spel, bewijst dat de Forcing Axiom (PFA) behouden blijft onder forcing met posets die deze eigenschap hebben, en gebruikt dit om Magidor's stelling over de consistentie van PFA met zwakke varianten van de vierkantsprincipes te reproduceren.
Dit artikel introduceert en analyseert de universele categorie van 'redelijke categorieën van sterke vectorruimten' (r.c.s.v.s.), die wordt geïdentificeerd als de categorie van ultrafinité sommeerbaarheidsruimten en die een monoidaal gesloten structuur biedt binnen een brede klasse van orthogonale subcategorieën van .
Dit artikel bewijst een analoog aan de stelling van Kaplansky voor modellen van door de unieke bestaan en eigenschappen van --bolvormige volmakingen te tonen, die worden geconstrueerd via -begrensde zwakke onmiddellijke uitbreidingen.
Dit artikel introduceert twee variaties van setwise climbability-eigenschappen, waarbij de eerste consistent is met de Proper Forcing Axioma (PFA) en de tweede, die kan worden gekarakteriseerd als Martin-achtige axioma's, onverenigbaar is met PFA.
Deze paper identificeert en formaliseert in Lean 4 een onmogelijkheidsbarrière voor directe compositiebewijzen bij stap-duplicerende recursoren, demonstreert hoe projectiemethoden deze barrière omzeilen, en levert een volledig geverifieerde certificeringsketen voor een specifiek voorbeeldsysteem dat door geautomatiseerde tools als TTT2 wordt bevestigd.
De auteurs tonen aan dat Tennenbaums stelling kwetsbaar is voor fragmenten van de Peano-axioma's van intermediaire sterkte door een reeks definities-equivalente theorieën te construeren die computable niet-standaard modellen toelaten, een resultaat dat wordt bereikt via een nieuw algemeen stelling voor sterke jump-inversie.
Dit artikel onderzoekt de combinatoriek van continue en Borel-rectangulaire partities van vrije -acties op nul-dimensionale Polische ruimtes door middel van gereguleerde partities van , waarbij wordt aangetoond dat de regulatienummers voor gelijk zijn aan 3, terwijl ze voor significant hoger liggen en een scherp onderscheid tonen tussen de Borel-combinatoriek in dimensie 2 en hogere dimensies.
Dit artikel toont aan dat de conjugatierelatie op éénzijdige subshifts met het alfabet , vanuit het perspectief van de beschrijvende verzamelingenleer, niet-boomvormbaar en niet-amenable is.
Dit artikel geeft een overzicht van systematische benaderingen voor basis-begrensde fragmenten van de propositielogica en modale logica, waarbij de afhankelijkheid van expressiviteit en computationele complexiteit van de toegestane operatoren wordt onderzocht door Post's tralie te combineren met een kader voor modale fragmenten, terwijl ook resultaten over leerbaarheid worden geïntegreerd en open problemen worden geïdentificeerd.
Dit artikel introduceert de semantisch gedefinieerde constructieve master-modale logieken en , bewijst dat deze EXPTIME-volledig zijn en een exponentiële eindige model-eigenschap bezitten, en lost hiermee het conjectuur van Afshari et al. op door de EXPTIME-compleetheid van hun diamant-vrije fragment vast te stellen.
Deze paper introduceert propositional teamlogica's die expressief compleet zijn voor (kwalitatief) neer- en opwaarts gesloten eigenschappen door middel van varianten van inclusie-atomen, waarbij de duale aard zichtbaar is in de normaalvormen en voor elke logica een geluid en compleet natuurlijk deductiesysteem wordt gedefinieerd.
Deze paper introduceert de zogenaamde 'olive property' als nieuwe voldoende voorwaarde om het bestaan van universele groepen in bepaalde kardinalen uit te sluiten, zelfs voor klassen die de SOP₄-eigenschap niet bezitten.
Dit artikel bewijst dat de axioma's van diverse hypercompositional structuren niet onafhankelijk zijn en introduceert daarom nieuwe, geminimaliseerde definities om het aantal benodigde axioma's te verminderen.
Dit artikel introduceert een additieve 'geometrische rang' voor imaginaria in de theorie van mooie paren van algebraïsch gesloten velden, die de SU-rang verfijnt, forking karakteriseert en leidt tot een expliciet criterium voor forking-onafhankelijkheid.
Dit artikel onderzoekt parameteriseerde D-torsoren in differentiaal-Galoistheorie en bewijst, met behulp van modeltheoretische methoden en een veralgemeende versie van Kolchins stelling over differentiaalcohomologie, dat elke gegeneraliseerde sterk normale extensie de Galois-extensie is van een parameteriseerde D-torsor, terwijl tevens een noodzakelijke en voldoende cohomologische voorwaarde wordt geformuleerd voor het ontstaan van dergelijke extensies uit log-differentiaalvergelijkingen.
Dit artikel bewijst dat een verzwakte versie van het Robinson-splittingsstelling, waarbij 'laag' wordt vervangen door 'superlaag', geldt in modellen van .
Dit artikel toont aan dat in de pure polymorfe afhankelijke typetheorie (P2) de afleidbaarheid van inductie- en co-inductieprincipes voor kwotiënt- en co-inductieve typen onmogelijk is, en dat functieverlenging een cruciale voorwaarde is voor het bewijzen van inductie.
Dit artikel presenteert een nieuwe, beknopte algebraïsche bewijsvoering van de stelling van Van der Waerden over monochromatische rekenkundige rijen in de compacte ruimte van ultrafilters , waarbij noch minimale noch idempotente ultrafilters worden gebruikt.
Dit artikel onderzoekt de relatie tussen het Eklof-Mekler-Shelah Constructieprincipe en de superstabiliteit van vrije objecten in variëteiten van algebra's, waarbij wordt aangetoond dat een sterke vorm van dit principe ertoe leidt dat bijna alle AEC-overschaduwingen van deze vrije objecten onsuperstabiel zijn, met toepassing op onder meer -modulen en groepenvariëteiten.