yusuke1997/dblp-id-title huggingface dataset:
Implicit recursion-theoretic characterizations of counting classes
MAD families of projections on l 2 and real-valued functions on ω
Badness and jump inversion in the enumeration degrees
A null ideal for inaccessibles
Constructibility in higher order arithmetics
The rhombus classes of degrees of unsolvability (I), The jump properties
The size of [( T )\tilde]\tilde{T}
$AD_{\mathbb {R}}$ implies that all sets of reals are Θ universally Baire
Strict process machine complexity
A DNC function that computes no effectively bi-immune set
Degrees of relations on canonically ordered natural numbers and integers
Turing determinacy and the continuum hypothesis
Completeness with respect to a chain and universal models in fuzzy logic
Some remarks on Baire's grand theorem
The strength of Martin-Löf type theory with a superuniverse. Part I
On involutive FL e -monoids
The decision problem for [( Z )\vec] C ( p 3 ){\vec Z}C(p^3)-lattices with p p prime
Measure theory and weak König's lemma
Elementary classes of finite VC-dimension
Polynomial time ultrapowers and the consistency of circuit lower bounds
Closing the gap between the continuous functionals and recursion in 3 E
Meeting infinitely many cells of a partition once
A lattice-valued set theory
Selection properties of the split interval and the Continuum Hypothesis
Barwise's information frames and modal logics
Implicational (semilinear) logics I: a new hierarchy
Laver's results and low-dimensional topology
Natural well-orderings
Normalizable linear orders and generic computations in finite models
Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness
A note on the Π 2 0 -induction rule
On uncountable hypersimple unidimensional theories
There is no ordering on the classes in the generalized high/low hierarchies
Quantifier elimination for Stone algebras
Different covering numbers of compact tree ideals
Cut-elimination and interpolation for Ω-logic
Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik
Subspaces of Q whose d-logics do not have the FMP
Generalization of Shapiro's theorem to higher arities and noninjective notations
EM constructions for a class of generalized quantifiers
Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
Superstationary and ineffable n cardinals
Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
Functorial bounds for cut elimination in L βω . II
A saturation property of structures obtained by forcing with a compact family of random variables
Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen
Easton's theorem in the presence of Woodin cardinals
On the minimal cover property and certain notions of finite
Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms
Ideals with Smital properties
On normal forms in Lukasiewicz logic
A model of $$\mathsf {ZFA}+ \mathsf {PAC}$$ ZFA + PAC with no outer model of $$\mathsf {ZFAC}$$ ZFAC with the same pure part
Recursive and r.e. quotient Boolean algebras
The canonical function game
On some questions concerning strong compactness
Extending strongly continuous functions between apartness spaces
Club degrees of rigidity and almost Kurepa trees
Ultrapowers as sheaves on a category of ultrafilters
A fixed point theorem equivalent to the axiom of choice
Bounded query classes and the difference hierarchy
Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse
Sheaf toposes for realizability
Non-deterministic inductive definitions
König's lemma, the ω-Rule and primitive recursive arithmetic
Interpretability suprema in Peano Arithmetic
Ein Beitrag zur Ordnungstheorie
On interpolation when function symbols are present
An Easton like theorem in the presence of Shelah cardinals
A proof-search procedure for intuitionistic propositional logic
Proof complexity of propositional default logic
Categories and functors in reverse and computable mathematics
The Bachmann-Howard Structure in Terms of Sigma 1 -Elementarity
A Wadge hierarchy for second countable spaces
Groupwise dense families
Indestructibility, instances of strong compactness, and level by level inequivalence
Possible size of an ultrapower of w\omega
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
On countably saturated linear orders and certain class of countably saturated graphs
Cardinal coefficients associated to certain orders on ideals
On two fragments with negation and without implication of the logic of residuated lattices
A decidable theory of type assignment
Iterated multiplication in VTC 0
Elementary extensions of models of set theory
A note on trivial nonmultidimensional superstable theories
Strong normalization of a symmetric lambda calculus for second-order classical logic
Lifting elementary embeddings j : V lambda -> V lambda
Predicate calculus of arbitrarily high finite order
Baire spaces and infinite games
Weaker variants of infinite time Turing machines
Chains and antichains in partial orderings
More about λ-support iterations of (<λ)-complete forcing notions
A superatomic Boolean algebra with few automorphisms
Bounding derivation lengths with functions from the slow growing hierarchy
Equiconsistencies at subcompact cardinals
Base-free formulas in the lattice-theoretic study of compacta
Decidability of the AE-theory of the lattice of Π 1 0 classes
Same graph, different universe
Busy beaver competition and Collatz-like problems
Transseries and Todorov-Vernaeve's asymptotic fields
Computability and the game of cops and robbers on graphs
On the k\kappa-cub game on l\lambda and I [l]I[\lambda ]
A definable E 0 class containing no definable elements
The restriction of a Borel equivalence relation to a sparse set
The Medvedev lattice of computably closed sets
Degrees of difficulty of generalized r.e. separating classes
Definable one-dimensional topologies in O-minimal structures
An extension of the omega-rule
Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Der Beweis eines Satzes von G. Choodnovsky
Around splitting and reaping for partitions of omega
An upper bound for reduction sequences in the typed λ-calculus
Charakterisierung der Aufzählungsreduzierbarkeit
Computational complexity of logical theories of one successor and another unary function
Boolean deductive systems of BL-algebras
Reverse mathematics and semisimple rings
Conservative extensions of models of arithmetic
Phase transitions of iterated Higman-style well-partial-orderings
The problem of the formalization of constructive topology
The weakly compact reflection principle need not imply a high order of weak compactness
Largest E-thin, E-invariant sets below bigtriangleup 1 3
An Analytic Zariski Structure Over a Field
Logics with disjunction and proof by cases
A new condensation principle
Reverse mathematics and marriage problems with finitely many solutions
A complete many-valued logic with product-conjunction
On the parameterized complexity of short computation and factorization
Expressivity in chain-based modal logics
Proof analysis in intermediate logics
S 3 i and V 2 i (BD)
A generalization of the Dual Ellentuck Theorem
The logic of π 1 -conservativity
On the interpolation property of some intuitionistic modal logics
Parallelizable algebras
The differences between Kurepa trees and Jech-Kunen trees
Effectiveness for infinite variable words and the Dual Ramsey Theorem
Polish group actions and effectivity
Cut elimination for entailment relations
On nice equivalence relations on ?2
Fresh subsets of ultrapowers
Disjunctive logic programs, answer sets, and the cut rule
Small Pi 0 1 Classes
Vereinfachte Kollabierungsfunktionen und ihre Anwendungen
Homogenizable structures and model completeness
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts
Remarks on Herbrand normal forms and Herbrand realizations
On the length of chains of proper subgroups covering a topological group
Degree-theoretic bounds on the morley rank
Superstable theories with few countable models
On quasi-amorphous sets
Submodels of Kripke models
Predicatively computable functions on sets
Reverse mathematics and colorings of hypergraphs
Coding lemmata in L
Existentially closed fields with holomorphy rings
A blend of methods of recursion theory and topology: A Pi 1 0 tree of shadow points
Limit computable integer parts
Homogeneity in relatively free groups
Cardinal invariants associated with Hausdorff measures
On one-sided versus two-sided classification
Topologische Untersuchungen zur Semantik und Syntax Eines Erweiterten Prädikatenkalküls
The complexity of isomorphism for complete theories of linear orders with unary predicates
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures
Commutator conditions and splitting automorphisms for stable groups
An algebraic treatment of quantifier-free systems of arithmetic
Towers and clubs
On the structure of rotation-invariant semigroups
Categoricity in homogeneous complete metric spaces
A few more dissimilarities between second-order arithmetic and set theory
Some remarks on indestructibility and Hamkins' lottery preparation
Epsilon substitution for transfinite induction
Turbulence Phenomena in Real Analysis
Two-cardinal diamond and games of uncountable length
Strong downward Löwenheim-Skolem theorems for stationary logics, I
Pathology of submeasures and F σ ideals
Subrecursive degrees and fragments of Peano Arithmetic
The Weak Ultrafilter Axiom
Very simple theories without forking
On constants and the strict order property
An L -like model containing very large cardinals
On Lachlan's major sub-degree problem
Monotonic modal logics with a conjunction
Aspects of strong compactness, measurability, and indestructibility
On the structure of nonarchimedean exponential fields I
Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative
Strong continuity implies uniform sequential continuity
In memoriam: James Earl Baumgartner (1943-2011)
Connected modal logics
Largest initial segments pointwise fixed by automorphisms of models of set theory
The basic theory of infinite time register machines
Model theory of the inaccessibility scheme
R.E. degrees of continuous functionals
Distributive proper forcing axiom and cardinal invariants
Cut elimination for coherent theories in negation normal form
Über Teilsysteme von ['(Q)]({ g })
The function ë a / m û\lfloor a/m\rfloor in sharply bounded arithmetic
Remark on complete interpretations by models
Even more about the lattice of tense logics
Interpolation in Logiken monotoner Systeme
Note on grammatical translations of logical calculi
Positive indiscernibles
Finality regained: A coalgebraic study of Scott-sets and multisets
On the structure of Δ 1 4 -sets of reals
Functorial bounds for cut elimination in L βω . I
On decidability of amenability in computable groups
Binary models generated by their tally part
Some coinductive graphs
Borel complexity and computability of the Hahn-Banach Theorem
Topological model theory with an interior operator: Consistency properties and back - and forth arguments
An existential fragment of second order logic
Does weak quasi-o-minimality behave better than weak o-minimality?
A note on the Sigma1 spectrum of a theory
A new proof of Ajtai's completeness theorem for nonstandard finite structures
Identity crises and strong compactness III: Woodin cardinals
The isomorphism problem for classes of computable fields
On the polynomial-space completeness of intuitionistic propositional logic
Distinct volume subsets via indiscernibles
Definable types in the theory of closed ordered differential fields
Interpolation property for bicartesian closed categories
A solution to Curry and Hindley's problem on combinatory strong reduction
Exact bounds on epsilon processes
Reversibility of extreme relational structures
Maximale monadische Logiken
A version of the ∑ 1 -reflection principle for CFA provable in PRA
The number of proof lines and the size of proofs in first order logic
Axiomatization of semigroup consequences
Absorbing the structural rules in the sequent calculus with additional atomic rules
Good fuzzy preorders on fuzzy power structures
Souslin algebra embeddings
Natural factors of the Medvedev lattice capturing IPC
Combinatorial principles concerning approximations of functions
Combinatory logic with polymorphic types
Elimination of Skolem functions for monotone formulas in analysis
Eine bemerkung über Quasirekursive Funktionen
A model of the generic Vopěnka principle in which the ordinals are not Mahlo
σ -Homogeneity of Borel sets
Bounded enumeration reducibility and its degree structure
Ordinal notations based on a weakly Mahlo cardinal
Erratum: "Forcing and antifoundation"
Model completeness and relative decidability
Erratum to: Localizing the axioms
Relationen- und Prädikatenlogische Untersuchungen zur Syllogistik
Indestructibility properties of remarkable cardinals
A note on Gentzen's ordinal assignment
Models of set theory with definable ordinals
A common generalization for MV-algebras and Lukasiewicz-Moisil algebras
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
Ultrafilters, monotone functions and pseudocompactness
A theory of local negation: The model and some applications
Recursively enumerable m - and tt -degrees II: The distribution of singular degrees
Model theory of monadic predicate logic with the infinity quantifier
A note on end extensions
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
Modularity of proof-nets
Interpolation, compactness and JEP in soft model theory
Stable theories without dense forking chains
Formalism and Hilbert's understanding of consistency problems
Homogeneously Souslin sets in small inner models
The automorphism group of a resplendent model
Weak dividing, chain conditions, and simplicity
Strongly unbounded and strongly dominating sets of reals generalized
Theories with constants and three countable models
N\hbox{\sf N}-strictness in applicative theories
Leibniz filters and the strong version of a protoalgebraic logic
Decision methods for linearly ordered Heyting algebras
An intuitionistic fixed point theory
Product L ukasiewicz Logic
Amphi-ZF : axioms for Conway games
On the complexity of finding falsifying assignments for Herbrand disjunctions
No Escape from Vardanyan's theorem
Some observations on intuitionistically elementary properties of linear orderings
Eine Funktionalinterpretation der prädikativen Analysis
Glivenko-Cantelli classes and NIP formulas
Reverse mathematics, well-quasi-orders, and Noetherian spaces
On the predicate logics of continuous t-norm BL-algebras
A weird relation between two cardinals
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality
On the elementary theory of inductive order
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of Q
PCF and infinite free subsets in an algebra
Two applications of Boolean models
Über das Markov-Prinzip II
A topological completeness theorem for transfinite provability logic
The short extenders gap three forcing using a morass
Kolmogorov complexity and the second incompleteness theorem
Continuous reducibility and dimension of metric spaces
Isolated d.r.e. degrees are dense in r.e. degree structure
Representation theorems for transfinite computability and definability
Strict P 1 1 -reflection in bounded arithmetic
Creature forcing and five cardinal characteristics in Cichoń's diagram
Eine Erweiterung T(V′) des Ordinalzahlensystems 58-0158-0158-01(Λ 0 ) von G. Jäger
The gamma -borel conjecture
Computable dimension for ordered fields
On completeness of the quotient algebras P (k)/ I {\cal P}(\kappa)/I
Typed lambda-calculus in classical Zermelo-Frænkel set theory
Sacks forcing, Laver forcing, and Martin's axiom
A jump inversion theorem for the enumeration jump
Every incomplete computably enumerable truth-table degree is branching
Admissible closures of polynomial time computable arithmetic
Presheaf semantics and independence results for some non-classical first-order logics
Selfextensional logics with a distributive nearlattice term
A dense family of well-behaved finite monogenerated left-distributive groupoids
Punctually presented structures II: comparing presentations
The iterability hierarchy above $${{\mathrm{\mathsf {I3}}}}$$ I 3
Herbrand consistency of some finite fragments of bounded arithmetical theories
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness
Some generalizations to two systems of set theory based on combinatory logic
Rosser and mostowski sentences
Bounded distributive lattices with strict implication and weak difference
What is so special with the powerset operation?
Ordered abelian groups that do not have elimination of imaginaries
Erratum to: Limit computable integer parts
A predicate extension of real valued logic
Generalized cardinal invariants for an inaccessible κ with compactness at κ ++
Dickson's lemma and weak Ramsey theory
On some dynamical aspects of NIP theories
Hans Hermes
Upper bounds on complexity of Frege proofs with limited use of certain schemata
Finite-valued reductions of infinite-valued logics
A test for expandability
On two complete sets in the analytical and the arithmetical hierarchies
The class of groups which have a subgroup of index 2 is not elementary
Another method for constructing models of not approachability and not SCH
Die mit Nestedstackautomaten Berechenbaren Funktionen sind Elementar
Explaining the Gentzen-Takeuti reduction steps: a second-order system
A double arity hierarchy theorem for transitive closure logic
On the linear decoration of intuitionistic derivations
Strong storage operators and data types
Semi-honest subrecursive degrees and the collection rule in arithmetic
Euler's ϕ -function in the context of I Δ 0
On the formal points of the formal topology of the binary tree
Topological Ramsey spaces from Fraïssé classes, Ramsey-classification theorems, and initial structures in the Tukey types of p-points
Covering properties of ideals
Classifying equivalence relations in the Ershov hierarchy
Ramsey's theorem for trees: the polarized tree theorem and notions of stability
The small index property for countable superatomic boolean algebras
Admissibility and refutation: some characterisations of intermediate logics
Lowness for genericity
Comparing axiomatizations of free pseudospaces
Isolation and the high/low hierarchy
Definable Tietze extension property in o-minimal expansions of ordered groups
On the classification of vertex-transitive structures
On Kalmar's consistency proof and a generalization of the notion of ω-consistency
Ein Vollständigkeitsbeweis Für Die Aussagenlogischen Modalitätensysteme M, S 4, Br Und S 5
On the topological dynamics of automorphism groups: a model-theoretic perspective
Π 2 1 -Logic and uniformization in the analytical hierarchy
Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs
More on cardinal arithmetic
Amorphe Potenzen kompakter Räume
Some consequences of Rado's selection lemma
On two consequences of CH established by Sierpiński
Effectively closed sets and enumerations
Inner models with large cardinal features usually obtained by forcing
Partially definable forcing and bounded arithmetic
Definable sets in Stone algebras
Zur Begründung der Modallogik
Extensions of Halkowska-Zajac's three-valued paraconsistent logic
Coherent trees that are not Countryman
Two measures for proving Gentzen's Hauptsatz without mix
NIP for some pair-like theories
Filter pairs and natural extensions of logics
A note on weak dividing
Sprague-Grundy theory in bounded arithmetic
A possibility-free logic of descriptions
Interpretability degrees of finitely axiomatized sequential theories
Construction of models of bounded arithmetic by restricted reduced powers
On relational selections for complete theories
On positive local combinatorial dividing-lines in model theory
Covering properties of ømega-mad families
Potential continuity of colorings
Operating on the universe
A method for finding new sets of axioms for classes of semigroups
Tanaka's theorem revisited
The f -factor Problem for Graphs and the Hereditary Property
A lower bound for the complexity of Craig's interpolants in sentential logic
Limit lemmas and jump inversion in the enumeration degrees
Domatic partitions of computable graphs
Mutual algebraicity and cellularity
The L <ω -theory of the class of Archimedian real closed fields
Hilbert versus Hindman
Completeness of the primitive recursive ømega-rule
Saturation, Suslin trees and meager sets
On injective enumerability of recursively enumerable classes of cofinite sets
On the algebraic structure of linear, relevance, and fuzzy logics
Realizing Mahlo set theory in type theory
The Fan Theorem, its strong negation, and the determinacy of games
Relating decision and search algorithms for rational points on curves of higher genus
Softness of MALL proof-structures and a correctness criterion with Mix
Cichoń's diagram and localisation cardinals
Martin's axiom and D 2 1 well-ordering of the reals
The jump operation for structure degrees
Collapsing $$\omega _2$$ ω 2 with semi-proper forcing
On the conservativity of the axiom of choice over set theory
Simple and immune relations on countable structures
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
Ideals on P κ (λ) associated with games of uncountable length
On the complexity of the closed fragment of Japaridze's provability logic
Free Lukasiewicz implication algebras
Residuated fuzzy logics with an involutive negation
Expansions of models of ZFC
Strong measure zero in separable metric spaces and Polish groups
On VC-minimal theories and variants
Cardinal invariants of infinite groups
Between Polish and completely Baire
Resurrection axioms and uplifting cardinals
Variants of Robinson's essentially undecidable theory R
Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic
Fragments of HA HA based on S 1 \Sigma_1-induction
A note on the enumeration degrees of 1-generic sets
Ring structure theorems and arithmetic comprehension
Effectively inseparable Boolean algebras in lattices of sentences
A note on extensions of infinitary logic
Scattered sentences have few separable randomizations
Epsilon substitution method for [Pi 0 1 , Pi 0 1 ]-FIX
Anmerkungen zum Rekursionstheorem
Keisler's order via Boolean ultrapowers
Program extraction for 2-random reals
A herbrandized functional interpretation of classical first-order logic
Intuitionistic choice and classical logic
Schnorr trivial reals: a construction
Eine Variante Des Ordinalzahlbezeichnungssystems Σ
Provably recursive functions of constructive and relatively constructive theories
The metamathematics of scattered linear orderings
Weak theories of linear algebra
Kripke models for subtheories of CZF
Model companion and model completion of theories of rings
Generalised stability of ultraproducts of finite residue rings
Rank in set theory without foundation
Dynamic ordinal analysis
Strong Enumeration Reducibilities
The stationarity of the collection of the locally regulars
Quasi-axiomatic classes
Prime ideals on P omega (lambda) with the partition property
Local order property in nonelementary classes
Simple groups and the number of countable models
Even more simple cardinal invariants
Models of weak theories of truth
The bi-embeddability relation for finitely generated groups II
Failures of SCH and Level by Level Equivalence
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic
On the rules of intermediate logics
Resplendent models and S 1 1 {\Sigma_1^1} -definability with an oracle
A note on iterated consistency and infinite proofs
Omitting types and AF algebras
Degree spectra of the successor relation of computable linear orderings
Ultrafilters and non-Cantor minimal sets in linearly ordered dynamical systems
Some remarks on inp-minimal and finite burden groups
An ordinal analysis for theories of self-referential truth