yusuke1997/dblp-id-title huggingface dataset:
Natural dualities for varieties of BL-algebras
On computable numberings of families of Turing degrees
Universal indestructibility for degrees of supercompactness and strongly compact cardinals
Non-commutative Lukasiewicz propositional logic
Topological equivalences of CUT and CUT(Fin)
The translation theorem
Cut elimination for a calculus with context-dependent rules
Rosenthal families, filters, and semifilters
Space complexity of Abelian groups
The taming of recurrences in computability logic through cirquent calculus, Part II
On the first-order expressibility of lattice properties related to unicoherence in continua
Revisiting the conservativity of fixpoints over intuitionistic arithmetic
Q 1-degrees of c.e. sets
G -linear sets and torsion points in definably compact groups
Good frames in the Hart-Shelah example
Gentzen's consistency proof without heightlines
Iterated ultrapowers for the masses
Easton collapses and a strongly saturated filter
A simple tree lemma and its application to a counterexample of Philips
A Mathias criterion for the Magidor iteration of Prikry forcings
Nilpotent complements and Carter subgroups in stable ℜ-groups
Normalization proof for Peano Arithmetic
A characterization of $${\square(\kappa^{+})}$$ in extender models
On pairs of free modules over a Dedekind domain
In Memoriam Jan Łukasiewicz
Semi-conservative reduction
Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen
An elementary proof of strong normalization for intersection types
Propositional logic of continuous transformations in Cantor space
The prime number theorem and fragments of P A
Pool resolution is NP-hard to recognize
Ein starker Normalisationssatz für die bar-rekursiven Funktionale
Liberated versions of T, S 4, and S 5
Ramsey-type graph coloring and diagonal non-computability
Fuzzy Horn logic II
A version of the Jensen-Johnsbråten coding at arbitrary level n>= 3
Diagonal fixed points in algebraic recursion theory
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
A proof-theoretic analysis of collection
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre
Combinatorial systems defined over one- and two-letter alphabets
More forcing notions imply diamond
Elementary chains and C (n)-cardinals
Arithmetical Sacks Forcing
Invariance results for definable extensions of groups
Definable connectedness of randomizations of groups
The complexity of topological conjugacy of pointed Cantor minimal systems
Families of sets with nonmeasurable unions with respect to ideals defined by trees
Some local properties of ω-stable groups
Universality and strong extensionality
Construction of universal modal worlds based on hyperset theory
Der Nutzen der Mathematischen Logik für die Mathematik
A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets
Does truth-table of linear norm reduce the one-query tautologies to a random oracle?
On interplay of quantifiers in Gödel-Dummett fuzzy logics
The structure of multiplicatives
A note on definability in fragments of arithmetic with free unary predicates
Some extensions of the principles of idealization transfer and choice in the relative internal set theory
Labeled sequent calculi for modal logics and implicit contractions
Infinitary Jónsson functions and elementary embeddings
Characterising Brouwer's continuity by bar recursion on moduli of continuity
Die Gesamtheit der Idempotenten Implikativen Modalitätenstrukturen
Modèle cohérent des réseaux de preuve
A Laver-like indestructibility for hypermeasurable cardinals
Opérateurs de mise en mémoire et traduction de Gödel
Total objects in inductively defined types
Adding Skolem functions to simple theories
Structural completeness in propositional logics of dependence
Pseudo P-points and splitting number
Predicate calculus and naive set theory in pure combinatory logic
Disasters in topology without the axiom of choice
Proving properties of matrices over Z 2
Quantified propositional calculus and a second-order theory for NC 1
Coanalytic ultrafilter bases
Fragility and indestructibility of the tree property
An extension of Shelah's trichotomy theorem
On the separation of regularity properties of the reals
Subrecursive functions on partial sequences
Structure of semisimple rings in reverse and computable mathematics
Ax-Schanuel for linear differential equations
Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID 1
Some uses of dilators in combinatorial problems - Part III. Independence results by means of decreasing F -sequences ( F Weakly Finite Dilator)
A partial comparison of two conditions on the intersections of regressive sets
Continuity, proof systems and the theory of transfinite computations
On partial disjunction properties of theories containing Peano arithmetic
Bounded-low sets and the high/low hierarchy
The abstract type of the real numbers
Polynomial clone reducibility
Cappable recursively enumerable degrees and Post's program
Some model theory for monotone quantifiers
The validity of equations of complex algebras
Embedding relations in the lattice of recursively enumerable sets
Computable valued fields
The strength of Martin-Löf type theory with a superuniverse. Part II
The nonstationary ideal on $$P_\kappa (\lambda )$$ P κ ( λ ) for $$\lambda $$ λ singular
Bounds for cut elimination in intuitionistic propositional logic
A λδ -calculus with an algorithmic δ
Generalized Bosbach states: Part II
Shadows of the axiom of choice in the universe L(R)
Magidor-Malitz reflection
Scales of minimal complexity in KR
A note on cut-elimination for classical propositional logic
On the consistency strength of level by level inequivalence
A forcing notion related to Hindman's theorem
Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies
Identity crises and strong compactness
Preservation properties for products and sums of metric structures
Infinite combinatorics revisited in the absence of Axiom of choice
Random closed sets viewed as random recursions
Small universal families for graphs omitting cliques without GCH
Analytic computable structure theory and L p -spaces part 2
The modal logic of Reverse Mathematics
A theorem on generalizations of proofs
Adding a Cohen real adds an entangled linear order
On the independence of premiss axiom and rule
Strongly dominating sets of reals
Strong counterexamples to Borel hyperdeterminacy
The automorphism group and definability of the jump operator in the ømega-enumeration degrees
Rekursion über Dilatoren und die Bachmann-Hierarchie
On some sheaves of special groups
The diamond principle for the uniformity of the meager ideal implies the existence of a destructible gap
Models with second order properties. III. Omitting types for L ( Q )
Cichoń's diagram, regularity properties and Δ 1 3 sets of reals
A covering lemma for L(R)
Goodness in the enumeration and singleton degrees
Totally non-proper ordinals beyond L ( V λ+1 )
Definably complete structures are not pseudo-enumerable
Countable homogeneous ordered bipartite graphs
The Chang-Los-Suszko theorem in a topological setting
Constructions of categories of setoids from proof-irrelevant families
Application of a Tauberian theorem to finite model theory
A collection of topological Ramsey spaces of trees and their application to profinite graph theory
A parallel to the null ideal for inaccessible λ: Part I
On a class of maximality principles
Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser
Fixed point theories and dependent choice
Formal spaces and their effective presentations
A weak variant of Hindman's Theorem stronger than Hilbert's Theorem
On the share of closed IL formulas which are also in GL
Left division in the free left distributive algebra on many generators
Degree complexity for a modified pigeonhole principle
Hanf number for Scott sentences of computable structures
The spectrum of independence
Short proofs of normalization for the simply- typed lambda-calculus, permutative conversions and Go"del's T
A high noncuppable S 0 2 e -degree
Continuity of SU-rank in unidimensional supersimple theories
On the form of witness terms
On hidden extenders
The role of the Omitting Types Theorem in infinitary logic
Regressive versions of Hindman's theorem
Splittings
On the rigidity of Souslin trees and their generic branches
Interpretable groups in Mann pairs
On uncountable cardinal sequences for superatomic Boolean algebras
Saturated models in institutions
The fixed point and the Craig interpolation properties for sublogics of bfIL
Normal subgroups of nonstandard symmetric and alternating groups
Sous-groupes additifs de rangs dénombrables dans un corps séparablement clos
Pointwise hereditary majorization and some applications
The theories of Baldwin-Shi hypergraphs and their atomic models
Linear model theory for Lipschitz structures
Special ultrafilters and cofinal subsets of ( ømega ømega , < * )
Strong cell decomposition property in o-minimal traces
Indestructibility and measurable cardinals with few and many measures
On countable homogeneous 3-hypergraphs
sQ 1 -degrees of computably enumerable sets
Hereditary G-compactness
Vector spaces with a union of independent subspaces
Semifree actions of free groups
A note on countable models of 1-based theories
On the lattice of extensions of the modal logics KAlt n
A fixed-point theorem for definably amenable groups
Adjoining cofinitary permutations (II)
Condensable models of set theory
I 0 and combinatorics at λ +
λ -definable functionals and βη conversion
Reverse mathematics and order theoretic fixed point theorems
Die Vollständigkeit einer unverzweigten Variante des "analytischen" Entscheidungsverfahrens der klassischen Logik
Advances in the LPi and LPi1/2i logics
Axiomatic theory of betweenness
Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln
On certain indestructibility of strong cardinals and a question of Hajnal
ℱ-finite embeddabilities of sets and ultrafilters
A semantical proof of the strong normalization theorem for full propositional classical natural deduction
Subrecursive hierarchies on Scott domains
Multiplicative finite embeddability vs divisibility of ultrafilters
On two questions concerning the automorphism groups of countable recursively saturated models of PA
Borel globalizations of partial actions of Polish groups
Existential equivalence of ordered abelian groups with parameters
On absorption's formula definable semigroups of complete theories
VC-density for trees
Équivalence naturelle et formules logiques en théorie des catégories
The conjugacy problem for the automorphism group of the random graph
Strong partition cardinals and determinacy in $${K(\mathbb{R})}$$ K ( R )
The model theory of modules of a C*-algebra
Definability in affine logic
Restrictions on forcings that change cofinalities
Index sets and parametric reductions
Separations of first and second order theories in bounded arithmetic
Quantifier-free induction for lists
G -compactness and groups
Subvarieties of BL-algebras generated by single-component chains
Results on the Generic Kurepa Hypothesis
Simple proofs of SCH from reflection principles without using better scales
Some Calkin algebras have outer automorphisms
On extendible cardinals and the GCH
Graphs with ∏ 1 0 ( K ) Y -sections
Bounded forcing axioms as principles of generic absoluteness
On the reconstruction of boolean algebras from their automorphism groups
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice
Embeddings of countable closed sets and reverse mathematics
Computing maximal chains
Symmetry in abstract elementary classes with amalgamation
Using Ramsey's theorem once
Models of replacement schemes
Cut elimination by unthreading
Strongly meager and strong measure zero sets
Definable sets and expansions of models of Peano arithmetic
On ultraproducts of Boolean algebras and irr
The PCF Trichotomy Theorem does not hold for short sequences
A superhigh diamond in the c.e. tt -degrees
A criterion for the strong cell decomposition property
Compactness in MV-topologies: Tychonoff theorem and Stone-Čech compactification
sigma -Continuity and related forcings
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
Isomorphic and strongly connected components
The countable existentially closed pseudocomplemented semilattice
On the simplicity of the automorphism group ofP(ω)/fin
Model existence theorem in superrelevant predicate logics
Intermediate Logics and the de Jongh property
A diamond-plus principle consistent with AD
No decreasing sequence of cardinals
Representation of MV-algebras by regular ultrapowers of [0, 1]
Recursive events in random sequences
0-1 laws for recursive structures
Degrees of bi-embeddable categoricity of equivalence structures
Martin's maximum revisited
Proof-theoretic strengths of the well-ordering principles
Proper forcing extensions and Solovay models
Classifying material implications over minimal logic
Successive cardinals with no partial square
Homomorphisms and chains of Kripke models
The Consistency Strength of À w and À w 1 Being Rowbottom Cardinals Without the Axiom of Choice
Indestructibility and the linearity of the Mitchell ordering
Bounded low and high sets
On linearly ordered sets and permutation groups of countable degree
A note on a theorem of Kanovei
On the forking topology of a reduct of a simple theory
The strong tree property and the failure of SCH
Set theory in predicate calculus with equality
Subsets coded in elementary end extensions
Properties of the atoms in finitely supported structures
Weak essentially undecidable theories of concatenation, part II
The logic of equilibrium and abelian lattice ordered groups
Constructing local optima on a compact interval
Mathias forcing and ultrafilters
A model with a measurable which does not carry a normal measure
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen
The Wholeness Axioms and V=HOD
Ein Vollständigkeitsbeweis Für Schnittfreie Kalküle Mit Der Maximalisierungsmethode Von Henkin
Computability by means of effectively definable schemes and definability via enumerations
A new conservation result of WKL0 over RCA0
über die Syllogismen als Relationenmultiplikationen
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets
Equimorphy: the case of chains
Uniform unfolding and analytic measurability
Hájek basic fuzzy logic and Lukasiewicz infinite-valued logic
Two stars
Weak partition properties on trees
The Karp complexity of unstable classes
A criterion for coarse iterability
Consistency strength of higher chang's conjecture, without CH
Planar and braided proof-nets for multiplicative linear logic with mix
The anti-Specker property, a Heine-Borel property, and uniform continuity
Quasiminimal abstract elementary classes
Aronszajn and Kurepa trees
Working below a low 2 recursively enumerably degree
Prefix and plain Kolmogorov complexity characterizations of 2-randomness: simple proofs
On predicate provability logics and binumerations of fragments of Peano arithmetic
A strong failure of $$\aleph _0$$ ℵ 0 -stability for atomic classes
Deciding the existence of uniform interpolants over transitive models
Forcing notions in inner models
Σ 1-wellorders without collapsing
On constructions with 2-cardinals
Matrix identities and the pigeonhole principle
Elementary theories and hereditary undecidability for semilattices of numberings
1-based theories - the main gap for a -models
Saturation and solvability in abstract elementary classes with amalgamation
Constructive notions of equicontinuity
Variations on the Feferman-Vaught theorem, with applications to $\prod _p \mathbb {F}_p$
A note on ℵ 0 -categorical model-companions
On the isomorphism problem for some classes of computable algebraic structures
The strength of the Grätzer-Schmidt theorem
Positive primitive formulae of modules over rings of semi-algebraic functions on a curve
Labelling classes by sets
Branching in the S 0 2 {Sigma 0 2 }-enumeration degrees: a new perspective
Approximate categoricity in continuous logic
Small sets in Mann pairs
Interpolation formulae for predicates and terms which carry their own history
Isolation in the CEA hierarchy
Middle diamond
How to assign ordinal numbers to combinatory terms with polymorphic types
Die m -Grade Logischer Entscheidungsprobleme
Antichains of perfect and splitting trees
Zur Theorie Der Spektralen Darstellung Von Prädikaten Durch Ausdrücke Der Prädikatenlogik 1. Stufe
Maximally embeddable components
On extendability to F σ ideals
Around accumulation points and maximal sequences of indiscernibles
Scott sentences for certain groups
Homogeneous limit reduced powers
Projective absoluteness for Sacks forcing
First-order theories for pure Prolog programs with negation
A term rewriting characterization of the functions computable in polynomial space
Truth, disjunction, and induction
On the parameterized complexity of non-monotonic logics
What would the rational Urysohn space and the random graph look like if they were uncountable?
Large transitive models in local ZFC
A syntactic approach to Borel functions: some extensions of Louveau's theorem
The definable tree property for successors of cardinals
Diophantine properties of finite commutative rings
On the free subset property at singular cardinals
On the contrapositive of countable choice
LPi logic with fixed points
Directed frames
Spaces with combinators
Normalisation and subformula property for a system of classical logic with Tarski's rule
Vectorization hierarchies of some graph quantifiers
Dividing and weak quasi-dimensions in arbitrary theories
Nested PLS
The tree property and the failure of SCH at uncountable cofinality
Towards Martins minimum
A unifying approach to theorems on preservation and interpolation for binary relations between structures
Pointwise complexity of the derivative of a computable function
Groupwise density and the cofinality of the infinite symmetric group
Adding a club with finite conditions, Part II
A realizability interpretation for classical analysis
A jump operator on honest subrecursive degrees
Creative subject, Beth models and neighbourhood functions
The binary expansion and the intermediate value theorem in constructive reverse mathematics
On meta complexity of propositional formulas and propositional proofs
Maximal chains in ω ω and ultrapowers of the integers
Non-definability of the Ackermann function with type 1 partial primitive recursion
The taming of recurrences in computability logic through cirquent calculus, Part I
Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1 -Suslin sets
Computable approximations of a chainable continuum with a computable endpoint
Logics of left variable inclusion and Płonka sums of matrices
Towers, mad families, and unboundedness
l-Groups C(X) in continuous logic
Chains of saturated models in AECs
A note on the variety of satisfaction classes
The universe constructed from a sequence of ordinals
Open induction in a bounded arithmetic for TC0
Some implications of Ramsey Choice for families of $\varvec{n}$-element sets
Sequent calculus proof theory of intuitionistic apartness and order relations
The axiom of real Blackwell determinacy
Wellfoundedness proof with the maximal distinguished set
Separablilty of metric measure spaces and choice axioms
Full and hat inductive definitions are equivalent in NBG
Convexity and constructive infima
A one axiom set theory based on higher order predicate calculus
Finding generic filters by playing games
Productive sets and constructively nonpartial-recursive functions
The independence of GCH and a combinatorial principle related to Banach-Mazur games
A Characterization of Generalized Príkrý Sequences
Non-totally transcendental unidimensional theories
Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes
The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals
Comprehension contradicts to the induction within Lukasiewicz predicate logic
An infinitary propositional probability logic
The theorems of beth and Craig in abstract model theory II. Compact logics
What's so special about (Z/4Z) ω ?
Undecidability of indecomposable polynomial rings
Proof theory and ordinal analysis
The discontinuity of splitting in the recursively enumerable degrees
Maehara-style modal nested calculi
RSUV isomorphisms for TAC i , TNC i and TLS
On HOD-supercompactness
Generic Vopěnka's Principle, remarkable cardinals, and the weak Proper Forcing Axiom
Near coherence and filter games
Definability properties and the congruence closure
A computably stable structure with no Scott family of finitary formulas
Eine Logik vager Sätze
Herbrand's theorem and term induction
Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups
Definability of second order generalized quantifiers
Homology of proof-nets
Analytic proof systems for lambda-calculus: the elimination of transitivity, and why it matters
Mathias and silver forcing parametrized by density
MV-algebras, infinite dimensional polyhedra, and natural dualities
A proof-theoretical analysis of ptykes
Adding many Baumgartner clubs
Standard completeness theorem for PiMTL
Finite cupping sets
Computable Ramsey's theorem for pairs needs infinitely many Π 2 0 sets
Effective weak and vague convergence of measures on the real line
Equivalence of generics
The least weakly compact cardinal can be unfoldable, weakly measurable and nearly θ-supercompact
Lifting independence results in bounded arithmetic
Monadic k˟ j-rough Heyting algebras
Traces, traceability, and lattices of traces under the set theoretic inclusion
Antichains of copies of ultrahomogeneous structures
More on the pressing down game
The de Jongh property for Basic Arithmetic
The cofinality of the saturated uncountable random graph
Compact domination for groups definable in linear o-minimal structures
Projective Well-orderings of the Reals
The decision problem of provability logic with only one atom
The second-order version of Morley's theorem on the number of countable models does not require large cardinals
Completeness of indexed epsilon-calculus
Product of invariant types modulo domination-equivalence
Algorithmic randomness of continuous functions
On complexity reduction of Sigma 1 formulas
Definable combinatorics with dense linear orders
Small $\mathfrak {u}(\kappa )$ at singular κ with compactness at κ ++
Strange ultrafilters
The absorption law
A type-open minimal model
The Hausdorff-Ershov Hierarchy in Euclidean Spaces
Reflecting stationary sets and successors of singular cardinals
Some undecidable theories with monadic predicates and without equality
A note on the theory of positive induction, ID * 1
Nonmonotonic rule systems with recursive sets of restraints
Preserving Non-null with Suslin + Forcings
On the extendability to $\mathbf {\Pi }_3^0$ ideals and Katětov order
The long extender algebra
Conservative extension of polyadic MV-algebras to polyadic pavelka algebras
Hindman's theorem for sums along the full binary tree, Σ 0 2 -induction and the Pigeonhole principle for trees
Glivenko theorems and negative translations in substructural predicate logics
The automorphism tower of a centerless group without Choice
Uniform interpolation and sequent calculi in modal logic
Extensions of countable infinitary logic which preserve most of its nice properties
Pairs, sets and sequences in first-order theories
Relativized projecta and b\beta-r.e. sets
On the homogeneity property for certain quantifier logics
Chainable and circularly chainable semicomputable sets in computable topological spaces
Supersound many-valued logics and Dedekind-MacNeille completions
NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
Supersimplicity and quadratic extensions
On superstable generic structures
Fuzzy Horn logic I
There is no plus-capping degree
Correction to: Towers, mad families, and unboundedness
Different similarities
The modal logic of the countable random frame
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse
Another simplification of the recursion scheme
Constructive analysis and thermodynamics formulations