yusuke1997/dblp-id-title huggingface dataset:
Codings of separable compact subsets of the first Baire class
Extended use of IST
Indestructibility of some compactness principles over models of PFA
A computable version of Banach's Inverse Mapping Theorem
The Undecidability of k-Provability
Towers in omega omega and omega omega
Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information
Generalizations of Boolean products for lattice-ordered algebras
Magidor-like and radin-like forcing
Programs from proofs using classical dependent choice
Turing reducibility in the fine hierarchy
Inductive Types and Type Constraints in the Second-Order lambda Calculus
Sheaf models for choice sequences
Equivalence between Fraïssé's conjecture and Jullien's theorem
A functional interpretation for nonstandard arithmetic
Observational ultraproducts of polynomial coalgebras
Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras
Degree spectra and computable dimensions in algebraic structures
Some results on extensionality in lambda calculus
Definitional Reflection and Basic Logic
Retracts of Numerations
Operational closure and stability
On the relationship between mutual and tight stationarity
Proof Theory of Reflection
Fundamental notions of analysis in subsystems of second-order arithmetic
On effectively closed sets of effective strong measure zero
Generics for computable Mathias forcing
Local saturation of the non-stationary ideal over P k lambda
Splitting into degrees with low computational strength
On the existence of indiscernible trees
Uniformly locally o-minimal structures and locally o-minimal structures admitting local definable cell decomposition
Increasing sentences in Simple Type Theory
Full abstraction for Reduced ML
A classification of the cofinal structures of precompacta
Descriptive complexity of graph spectra
The single-conclusion proof logic and inference rules specification
Tarski's conception of logic
Projecting Sequential Algorithms on Strongly Stable Functions
More on Brouwer's Refutations
Arity Hierarchies
Hyperhypersimple Sets and Delta 2 Systems
Germinal theories in Łukasiewicz logic
The free n-generated BL-algebra
Relativization makes contradictions harder for Resolution
Equivalence of multiset-based consequence relations
On the Elimination of Imaginaries from Certain Valued Fields
Discrete o-minimal structures
delta-homomorphisms from the Borel delta-algebra into the Loeb delta-algebra
Computational inductive definability
The Structure of Models of Decidable Monadic Theories of Graphs
Some results on consecutive large cardinals
Avoiding uniformity in the Δ 2 0 enumeration degrees
Non-closure of the image model and absence of fixed points
Understanding Uniformity in Feferman's Explicit Mathematics
The hyper-weak distributive law and a related game in Boolean algebras
Countable partition ordinals
On the Structure of Stable Groups
Lovely pairs of models
Representations of the real numbers and of the open subsets of the set of real numbers
Some conservation results on week König's lemma
Approachable free subsets and fine structure derived scales
A Constructive Game Semantics for the Language of Linear Logic
A constructive investigation of satisfiability
Monotone Inductive Definitions in a Constructive Theory of Functions and Classes
A logician's view of graph polynomials
Proof theory for theories of ordinals - I: recursively Mahlo ordinals
Reflection and partition properties of admissible ordinals
The uniform content of partial and linear orders
The name for Kojman-shelah collapsing function
Intrinsically gs; 0 alpha; relations
Logical aspects of Cayley-graphs: the group case
Elementary Pairs of Models
The effective theory of Borel equivalence relations
Abelian p-groups and the Halting problem
Coding by club-sequences
Algebraic proof theory: Hypersequents and hypercompletions
Computability of pseudo-cubes
Polish metric spaces with fixed distance set
Uncountable superperfect forcing and minimality
Polynomial-Time Abelian Groups
Polynomial-Time Analogues of Isolatedness
Turning Cycles into Spirals
Inductively generated formal topologies
Separating the basic logics of the basic recurrences
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension
Uniqueness of the implication for totally ordered MV-algebras
The geometry of Hrushovski constructions, I: The uncollapsed case
Measurable cardinals and choiceless axioms
Partial Orderings with the Weak Freese-Nation Property
Resolution over linear equations and multilinear proofs
Propositional proofs and reductions between NP search problems
Referee's report on Leonid Levin's dissertation "Some Theorems on the Algorithmic Approach to Probability Theory and Information Theory" (November 27, 1972)
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Fundamentals of forking
Possible world semantics for first-order logic of proofs
Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems
Proof complexity of substructural logics
Approximation to measurable functions and its relation to probabilistic computation
Justification Logic as a foundation for certifying mobile computation
On a finitary version of mathematical analysis
Subsystems of True Arithmetic and Hierarchies of Functions
Interpreting structures of finite Morley Rank in strongly minimal sets
Topological fields with a generic derivation
The λ μ T -calculus
Boolean products of real closed valuation rings and fields
An intuitionistic version of Ramsey's Theorem and its use in Program Termination
Maximal sets without choice
The strength of extensionality II - Weak weak set theories without infinity
Small models, large cardinals, and induced ideals
Completely mitotic c.e. degrees and non-jump inversion
Eggleston's dichotomy for characterized subgroups and the role of ideals
Analytic colorings
Strongly Minimal Fusions of Vector Spaces
Embedding of N 5 and the contiguous degrees
Combinatorial analysis of proofs in projective and affine geometry
The life and work of Sergei Artemov
Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems
Trees, fundamental groups and homology groups
On the definability of mad families of vector spaces
Classifying the phase transition threshold for Ackermannian functions
More on Simple Forcing Notions and Forcings with Ideals
Completeness for flat modal fixpoint logics
Peano Arithmetic as Axiomatization of the Time Frame in Logics of Programs and in Dynamic Logics
Infinitary action logic with exponentiation
Shrinking games and local formulas
Martin's Axiom and Ordinal Graphs: Large Independent Sets or Infinite Paths
Constructing models of small ordered theories with maximal countable spectrum
A model-theoretic characterisation of clique width
Metric spaces in choiceless set theory
Constructive Canonicity in Non-Classical Logics
Finding a field in a Zariski-like structure
Orbits of computably enumerable sets: low sets can avoid an upper cone
Medial commutativity
Saturation properties for compositional truth with propositional correctness
Bi-intermediate logics of trees and co-trees
Indestructible supercompactness and level by level inequivalence
Pairs of Recursive Structures
Applications of Fodor's Lemma to Vaught's Conjecture
Higher type recursion, ramification and polynomial time
The computational complexity of module socles
Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems
Low upper bounds in the LR degrees
The density of the nonbranching degrees
Representable cylindric algebras
Extending the system T 0 of explicit mathematics: the limit and Mahlo axioms
Intervals containing exactly one c.e. degree
Rudimentary Kripke Models for the Intuitionistic Propositional Calculus
Preface - Papers presented at the International Symposium on Mathematical Logic and its Applications Nagoya, Japan, November 7-11, 1988
Extender-based Magidor-Radin forcings without top extenders
A note on r-maximal subspaces of V ∞
Topological dynamics for groups definable in real closed field
Interactive and probabilistic proof-checking
A minimalist two-level foundation for constructive mathematics
Advice Classes of Parameterized Tractability
On the Idea(l) of Logical Closure
Syntactic Characterizations of Closure Under Pullbacks and of Locally Polypresentable Categories
Isols and burnside's lemma
Computable neighbourhoods of points in semicomputable manifolds
On the class of flat stable theories
Projective well orders and coanalytic witnesses
Non-Bounding Constructions
Post's Problem for ordinal register machines: An explicit approach
Models of intuitionistic set theory in subtoposes of nested realizability toposes
Cancellation Laws for Polynomial-Time p-Isolated Sets
Forcing axioms via ground model interpretations
Models of Cohen measurability
Projective Geometries of Algebraically Closed Fields of Characteristic Zero
No finite axiomatizations for posets embeddable into distributive lattices
On Bimodal Logics of Provability
The upward closure of a perfect thin class
Reducts of the generic digraph
A modal provability logic of explicit and implicit proofs
Deciding confluence of certain term rewriting systems in polynomial time
A Cut-Elimination Proof in Intuitionistic Predicate Logic
On the Weak Distributivity Game
Generalizing realizability and Heyting models for constructive set theory
Simple structures axiomatized by almost sure theories
A Hierarchy of Ramsey Cardinals
Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity
Semiconic idempotent logic I: Structure and local deduction theorems
The semantic isomorphism theorem in abstract algebraic logic
Automorphisms of substructure lattices in recursive algebra
A Borel maximal eventually different family
Atomic polymorphism and the existence property
Transfinite Induction within Peano Arithmetic
A simple proof of second-order strong normalization with permutative conversions
Selective ultrafilters and homogeneity
More on Wadge determinacy
Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
Elementary equivalence of infinite-dimensional classical groups
Undecidability and 1-Types in the Recursively Enumerable Degrees
The equivalence of bar recursion and open recursion
On the Computational Complexity of Integral Equations
Set existence property for intuitionistic theories with dependent choice
Strictly orthogonal left linear rewrite systems and primitive recursion
Relation algebras form cylindric algebras, I
n -Simple theories
Characterization of NIP theories by ordered graph-indiscernibles
Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory
Non-strictly positive fixed points for classical natural deduction
Gurevich-Harrington's Games Defined by Finite Automata
Universal Theories Categorical in Power and kappa-Generated Models
Measuring complexities of classes of structures
Atomic models higher up
Definable Properties of the Computably Enumerable Sets
When P κ ( λ ) (vaguely) resembles κ
Automorphisms of models of set theory and extensions of NFU
Erratum to "Applying, extending, and specializing pseudorecursiveness": [Ann. Pure Appl. Logic 126 (2004) 225-254]
A Necessary and Sufficient Condition for Embedding Principally Decomposable Finite Lattices into the Computably Enumerable Degrees
Commutative integral bounded residuated lattices with an added involution
Reverse-engineering Reverse Mathematics
Separating weak partial square principles
Fragments of arithmetic
Foundational implications of the Inner Model Hypothesis
The Structure of Amorphous Sets
Belief Revision Conditionals: Basic Iterated Systems
A very absolute Π 2 1 real singleton
On some extensions of the projective hierarchy
Classical predicative logic-enriched type theories
Multicomponent proof-theoretic method for proving interpolation properties
Reflection of elementary embedding axioms on the L[V Lambda +1 ] hierarchy
On the decidability of the theory of modules over the ring of algebraic integers
Univalent material set theory
Two applications of topology to model theory
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
A uniform version of non-low 2 -ness
φ 1 1 -complete families of elementary sequences
Expansions of real closed fields that introduce no new smooth functions
Categoricity for Abstract Classes with Amalgamation
Fragility and indestructibility II
Denseness results in the theory of algebraic fields
Selection over classes of ordinals expanded by monadic predicates
Wellfounded trees in categories
The associated sheaf functor theorem in algebraic set theory
Essential Kurepa Trees versus Essential Jech-Kunen Trees
Dynamic topological S5
Interpolation and Beth's property in propositional many-valued logics: A semantic investigation
Expander construction in VNC 1
Categories with families and first-order logic with dependent sorts
Fusion and large cardinal preservation
Extending and interpreting Post's programme
Galois stratification and ACFA
A game on Boolean algebras describing the collapse of the continuum
On theories of bounded arithmetic for NC 1
Interaction graphs: Graphings
Injecting uniformities into Peano arithmetic
Some constructions of ultrafilters over a measurable cardinal
Characterising modal definability of team-based logics via the universal modality
Primitive recursive reverse mathematics
Acyclicity and reduction
Kripke Models and the (In)equational Logic of the Second-Order lambda-Calculus
The tree property at the double successor of a singular cardinal with a larger gap
Substitutions of Sigma 1 0 - sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic
Imaginaries in real closed valued fields
Decidable Kripke Models of Intuitionistic Theories
Post Complete and 0-Axiomatizable Modal Logics
Some isometry groups of the Urysohn space
Some applications of Jensen's coding theorem
Tangled modal logic for topological dynamics
The limits of tractability in Resolution-based propositional proof systems
The indefinability of truth in the "Wahrheitsbegriff"
Easton's theorem for Ramsey and strongly Ramsey cardinals
Extreme types and extremal models
Addendum to "Computably Enumerable Sets and Quasi-Reducibility"
Structure and representation of semimodules over inclines
Linearly ordered sets with only one operator have the amalgamation property
On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics
An explicit Kuznetsov-Muravitsky enrichment
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice
Countable Thin Pi 0 1 Classes
Upward Löwenheim-Skolem-Tarski numbers for abstract logics
The logic of proofs, semantically
Sets in Prikry and Magidor generic extensions
The constructive maximal point space and partial metrizability
On non-self-referential fragments of modal logics
The countable admissible ordinal equivalence relation
Pincherle's theorem in reverse mathematics and computability theory
Complexity of Equations Valid in Algebras of Relations: Part II: Finite Axiomatizations
Logic of proofs and provability
Constructive toposes with countable sums as models of constructive set theory
Exponential topological fields with a generic derivation
Bounded Arithmetic, Proof Complexity and Two Papers of Parikh
Karp complexity and classes with the independence property
The Strength of the Failure of the Singular Cardinal Hypothesis
The computational strengths of α-tape infinite time Turing machines
On o-Amorphous Sets
Causal modeling semantics for counterfactuals with disjunctive antecedents
Omega-Categoricity, Relative Categoricity and Coordinatisation
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
On the computational power of random strings
Relation algebras form cylindric algebras, II
Dimension spectra of random subfractals of self-similar fractals
Finite Type Structures within Combinatory Algebras
Bounded stationary reflection II
Categorical characterizations of the natural numbers require primitive recursion
Effectively closed sets of measures and randomness
Comparing material and structural set theories
An approach to stochastic processes via non-classical logic
Huge reflection
Complete Topoi Representing Models of Set Theory
Characterizing strong randomness via Martin-Löf randomness
Partition Properties and Well-Ordered Sequences
WoLLIC'2002
Forking in short and tame abstract elementary classes
The tree property at the א2n's and the failure of SCH at אω
Arrow algebras
On the Warsaw interactions of logic and mathematics in the years 1919-1939
Relativized ordinal analysis: The case of Power Kripke-Platek set theory
Independence results for variants of sharply bounded induction
New spectra of strongly minimal theories in finite languages
Computation Paths Logic: An Expressive, yet Elementary, Process Logic
Closed choice and a Uniform Low Basis Theorem
Angelic semantics of fine-grained concurrency
Diophantine Induction
On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness
The Boolean algebra of formulas of first-order logic
Characterizations of pretameness and the Ord-cc
Compactness in locales and in formal topology
Model theoretic properties of the Urysohn sphere
Erratum to "Coalgebraic Logic": Ann. pure appl. logic 96 (1999) 277-317
Forcing the Π31-reduction property and a failure of Π31-uniformization
Ackermann's substitution method (remixed)
A combinatorial result related to the consistency of New Foundations
On subrecursive complexity of integration
A Generalized Notion of Weak Interpretability and the Corresponding Modal Logic
Superrigidity and countable Borel equivalence relations
On the Undecidability of Some Classes of Abelian-by-Finite Groups
Infinitary Definitions of Equivalence Relations in Models of PA
Strong reducibilities and set theory
HL ideals and Sacks indestructible ultrafilters
The quantum harmonic oscillator as a Zariski geometry
Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false
System ST toward a type system for extraction and proofs of programs
Iterated pushdown automata and sequences of rational numbers
Flatness and Smooth Points of p-adic Subanalytic Sets
On Guaspari's problem about partially conservative sentences
Classifying singularities up to analytic extensions of scalars is smooth
Some applications of short core models
Kolmogorov complexity and computably enumerable sets
Fine hierarchies via Priestley duality
An application of proof mining to nonlinear iterations
Supersimple ω -categorical theories and pregeometries
Tight cofinitary groups
Compactness in constructive analysis revisited
Lesniewski's early Liar, Tarski and natural language
Classical descriptive set theory as a refinement of effective descriptive set theory
Full classical S5 in natural deduction with weak normalization
Recursive categoricity and recursive stability
Non-isolated types in stable theories
Homomorphisms and quotients of degree structures
Forcing indestructibility of MAD families
Heyting-valued interpretations for Constructive Set Theory
Modal characterisation theorems over special classes of frames
A guide to "strong coding"
Polynomial Games and Determinacy
Inner Model Operators in L(R)
Density Zero Slaloms
Bar recursion over finite partial functions
Forcing with copies of the Rado and Henson graphs
Definable closure in randomizations
Intuitionistic Validity in T-Normal Kripke Structures
Infima in the d.r.e. Degrees
Reflections on reflections in explicit mathematics
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties
Locally definable homotopy
Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties
State-morphism MV-algebras
Semimorasses and Nonreflection at Singular Cardinals
Independence-friendly logic and axiomatic set theory
Hyperfinite models of adapted probability logic
Generic expansion and Skolemization in NSOP 1 theories
Elementary geometric local-global principles for fields
Blowing up power of a lingual cardinal - wider gaps
Constructive quantifier elimination with a focus on matrix rings
On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
Topological dynamics and NIP fields
Automata on ordinals and automaticity of linear orders
Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields
Expressive power of digraph solvability
Parameterized counting problems
Expansions of the group of integers by Beatty sequences
On some non-classical extensions of second-order intuitionistic propositional calculus
Definable principal congruences and solvability
Towards NP-P via proof complexity and search
Two-cardinal versions of weak compactness: Partitions of pairs
Universally Sacks-indestructible combinatorial families of reals
Complexity in Young's lattice
A microscopic approach to Souslin-tree constructions, Part I
Geometric axioms for existentially closed Hasse fields
Hybrid Answer Set Programming
On analyzability in the forking topology for simple theories
Groups with Identities
Distinguishing Three Strong Saturation Properties in Nonstandard Analysis
lambda-Definability on Free Algebras
The topological complexity of a natural class of norms on Banach spaces
What are the forall Sigma b 1 -Consequences of T 1 2 and T 2 2 ?
Real closed rings II. model theory
Vaught's conjecture for quite o-minimal theories
An Omitting Types Theorem for positive bounded formulas in normed spaces
A formalised theorem in the partition calculus
Cardinalities of Topologies with Small Base
Functoriality and uniformity in Hrushovski's groupoid-cover correspondence
Weakly o-minimal types
The Löwenheim-Skolem theorem for Gödel logic
Choice and well-ordering
Proof internalization in generalized Frege systems for classical logic
Proof-theoretic methods in quantifier-free definability
Superstability and symmetry
The Dense Simple Sets are Orbit Complete with Respect to the Simple Sets
Cancellation laws for surjective cardinals
Basis problem for turbulent actions I: Tsirelson submeasures
Measure, randomness and sublocales
Higher reciprocity law and an analogue of the Grunwald-Wang theorem for the ring of polynomials over an ultra-finite field
Modal interpolation via nested sequents
Occam bound on lowest complexity of elements
Iterated reduced powers of collapsing algebras
An existential locality theorem
Algebraic independence of the solutions of the classical Lotka-Volterra system
The axiomatic power of Kolmogorov complexity
Borel reductions of profinite actions of SL n (Z)
Intuitionistic completeness of first-order logic
Counterexamples to countable-section uniformization and separation
Structures coordinatized by indiscernible sets
Automorphism groups of prime models, and invariant measures
Coherence in inquisitive first-order logic
Aspects of general topology in constructive set theory
Counterfactual and seeing-to-it responsibilities in strategic games
A Unification-Theoretic Method for Investigating the k-Provability Problem
Countable ultraproducts without CH
The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic
Analytic Zariski structures and the Hrushovski construction
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies
Ordinal machines and admissible recursion theory
The density zero ideal and the splitting number
The strength of Mac Lane set theory
Index sets for some classes of structures
Hilbert's Tenth Problem for Weak Theories of Arithmetic
Erratum to: "Some model-theoretic results in the algebraic theory of quadratic forms" [Ann. Pure Appl. Logic 112 (2-3) (2001) 189-223]
Integrating classical and intuitionistic type theory
Interaction graphs: Additives
Coherent phase spaces. Semiclassical semantics
A categorical semantics for polarized MALL
Different cofinalities of tree ideals
Groups elementarily equivalent to a free nilpotent group of finite rank