yusuke1997/dblp-id-title huggingface dataset:
Lowness properties and approximations of the jump
Criteria for exact saturation and singular compactness
Global intuitionistic analysis
The wholeness axiom and Laver sequences
Formal systems of fuzzy logic and their fragments
A predicative completion of a uniform space
MAX SAT approximation beyond the limits of polynomial-time approximation
Square and non-reflection in the context of P k lambda
Infinitary first-order categorical logic
Coherence in SMCCS and equivalences on derivations in IMLL with unit
A G delta ideal of compact sets strictly above the nowhere dense ideal in the Tukey order
Fallen cardinals
Analytic Ideals and Cofinal Types
Combinatorial Properties of Hechler Forcing
Types directed by constants
Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic
A feasible theory of truth over combinatory algebra
Colouring and Non-Productivity of aleph 2 -C.C
Easton's theorem and large cardinals from the optimal hypothesis
Filter-linkedness and its effect on preservation of cardinal characteristics
Provability logic and the completeness principle
Classes bounded by incomplete sets
Realization for justification logics via nested sequents: Modularity through embedding
Cardinal characteristics on bounded generalised Baire spaces
On Relative Randomness
Extended Order-Generic Queries
Special transformations in algebraically closed valued fields
Pseudo-exponentiation on algebraically closed fields of characteristic zero
Locally modular theories of finite rank
Sigma 2 -Constructions and I Sigma 1
Conservativity for logics of justified belief: Two approaches
A (nother) characterization of intuitionistic propositional logic
Proof-theoretical analysis: weak systems of functions and classes
The proof-theoretic analysis of Sigma 1 1 transfinite dependent choice
From axioms to synthetic inference rules via focusing
Cut Elimination for the Unified Logic
A model-theoretic characterization of constant-depth arithmetic circuits
On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge)
The Model Theory of Unitriangular Groups
Automorphisms of models of arithmetic: A unified view
Upper bounds on ideals in the computably enumerable Turing degrees
Slow consistency
Presheaf automata
The strength of compactness in Computability Theory and Nonstandard Analysis
A measure-theoretic proof of Turing incomparability
Computable Scott sentences and the weak Whitehead problem for finitely presented groups
Count(q) Does Not Imply Count(p)
Completeness Proofs for Propositional Logic with Polynomial-Time Connectives
Local tabularity is decidable for bi-intermediate logics of trees and of co-trees
Wild theories with o-minimal open core
A posteriori convergence in complete Boolean algebras with the sequential topology
In honor of James E. Baumgartner's sixtieth birthday
Sufficiency Conditions for Theories with Recursive Models
On the computational content of intuitionistic propositional proofs
Effective topological spaces II: A hierarchy
Erratum to "Saturated models of universal theories": [Ann. Pure Appl. Logic 118 (2002) 219-234]
Conditional computability of real functions with respect to a class of operators
Every Recursive Boolean Algebra is Isomorphic to One with Incomplete Atoms
Model theory of modules
A Strong Normalization Result for Classical Logic
The Vietoris functor and modal operators on rings of continuous functions
Some Effectively Infinite Classes of Enumerations
Countably decomposable admissible sets
Recursive properties of euclidean domains
Easton's theorem for the tree property below ℵ ω
Splitting Theorems and the Jump Operator
The logic of cardinality comparison without the axiom of choice
On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry
Recursive models for constructive set theories
A bialgebraic approach to automata and formal language theory
Iterated Local Reflection Versus Iterated Consistency
Complexity of monodic guarded fragments over linear and real time
On unification and admissible rules in Gabbay-de Jongh logics
Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green
A proof of topological completeness for S 4 in (0, 1)
Polish G-spaces and continuous logic
Undecidability and 1-types in intervals of the computably enumerable degrees
Lebesgue's dominated convergence theorem in Bishop's style
Polytopes and simplexes in p-adic fields
A Model and Its Subset: The Uncountable Case
Adding closed cofinal sequences to large cardinals
The undecidability of the lattice of R.E. closed subsets of an effective topological space
Controlling witnesses
Degrees bounding principles and universal instances in reverse mathematics
A Delta 2 2 Well-Order of the Reals and Incompactness of L(Q MM )
Positive definability patterns
Π2-rule systems and inductive classes of Gödel algebras
Degrees of orders on torsion-free Abelian groups
The isomorphism relation of theories with S-DOP in the generalised Baire spaces
A valuation ring analogue of von Neumann regularity
Interpreting groups and fields in simple, finitary AECs
A Non-Splitting Theorem for d.r.e. Sets
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
Completeness and partial soundness results for intersection and union typing for lambda _ µµ _
A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations
The FAN principle and weak König's lemma in herbrandized second-order arithmetic
Models with Second Order Properties V: A General Principle
Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs
Propagation of partial randomness
ω 1 -constructible universe and measurable cardinals
A characterization theorem for geometric logic
Jumps of computably enumerable equivalence relations
A Pi 1 2 Singleton Incompatible with 0 #
Woodin Cardinals and Presaturated Ideals
Finite high-order games and an inductive approach towards Gowers's dichotomy
An Extended Lachlan Splitting Theorem
Stability in geometric theories
Proof complexity of intuitionistic implicational formulas
Realizability models refuting Ishihara's boundedness principle
Quantifier elimination for o-minimal structures expanded by a valuational cut
Omitting types for infinitary [0,1]-valued logic
On the computational complexity of the theory of Abelian groups
Turing oracle machines, online computing, and three displacements in computability theory
Capturing sets of ordinals by normal ultrapowers
The Degree of a Sigma n Cut
On the collection of points of a formal space
Finite automata presentable abelian groups
Full operational set theory with unbounded existential quantification and power set
Steel forcing and barwise compactness
Finite QE rings in characteristic p 2
Myhill's Work in Recursion Theory
Mekler's construction preserves CM-triviality
Sequences of real functions on [0, 1] in constructive reverse mathematics
Weak and strong versions of Effective Transfinite Recursion
Propositional logics of dependence
The disjunction and existence properties for axiomatic systems of truth
Explicit mathematics: power types and overloading
Equational Derivation vs. Computation
Computable Isomorphisms, Degree Spectra of Relations, and Scott Families
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup
On the Number of Steps in Proofs
Topological games in Ramsey spaces
Delta 2 0 - categoricity in Boolean algebras and linear orderings
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Injecting Inconsistencies into Models of PA
Priority Constructions
Proof and refutation in MALL as a game
On partial randomness
Distance structures for generalized metric spaces
Locatedness and overt sublocales
Admissible extensions of subtheories of second order arithmetic
On the expressiveness of choice quantification
The Galvin-Prikry Theorem and Set Existence Axioms
M omega Considered as a Programming Language
A synthetic theory of sequential domains
A short note on groups in separably closed valued fields
Modal logics, justification logics, and realization
The comparison lemma
Duality, non-standard elements, and dynamic properties of r.e. sets
Some Applications of Positive Formulas in Descriptive Set Theory and Logic
The approachability ideal without a maximal set
Instances of Dependent Choice and the Measurability of aleph omega + 1
Derivability in certain subsystems of the Logic of Proofs is Pi 2 p -complete
Implications Between Strong Large Cardinal Axioms
Guessing and non-guessing of canonical functions
Linear Logic Automata
Can you take Komjath's inaccessible away?
Definable groups in models of Presburger Arithmetic
Proof lengths for instances of the Paris-Harrington principle
Maximality in modal logic
On Martin's conjecture
Preservation theorems and restricted consistency statements in bounded arithmetic
Further notes on cell decomposition in closed ordered differential fields
Some new results on decidability for elementary algebra and geometry
Duplication of Directed Graphs and Exponential Blow Up of Proofs
Determinacy from strong compactness of ω 1
The fluted fragment with transitive relations
Complexity of Null-and Positivstellensatz proofs
A constructive manifestation of the Kleene-Kreisel continuous functionals
Combinatorial principle in nonstandard analysis
Nonisolated degrees and the jump operator
O-minimal residue fields of o-minimal fields
More infinity for a better finitism
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations
The isomorphism problem for ω-automatic trees
Schanuel's Conjecture and Free Exponential Rings
Concept lattices and order in fuzzy logic
Equilibrium points of an AND-OR tree: Under constraints on probability
Minimal first-order structures
The Kolmogorov complexity of random reals
Corrigendum to "The d.r.e. degrees are not dense" [Ann. Pure Appl. Logic 55 (1991) 125-151]
Primes and Their Residue Rings in Models of Open Induction
Linear Heyting algebras with a quantifier
Determinacy in third order arithmetic
On calculational proofs
Generic embeddings associated to an indestructibly weakly compact cardinal
Needed reals and recursion in generic reals
Neocompact quantifier elimination in structures based on Banach spaces
Coalgebraic logic for stochastic right coalgebras
Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra
Classical F omega , orthogonality and symmetric candidates
Superrosy fields and valuations
Three-Valued Logics: An Introduction, a Comparison of Various Logical Lexica, and Some Philosophical Remarks
On varieties of cylindric algebras with applications to logic
Almost Orthogonal Regular Types
Can a Small Forcing Create Kurepa Trees
Spaces not distinguishing ideal pointwise and σ-uniform convergence
Computational adequacy for recursive types in models of intuitionistic set theory
On lovely pairs of geometric structures
A note on the notion of truth in fuzzy logic
Investigations of isotropy and homogeneity of spacetime in first-order logic
Normal functors, power series and λ-calculus
Quotient topologies in constructive set theory and type theory
Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic IPC +
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations
Exact Upper Bounds and Their Uses in Set Theory
An order-theoretic analysis of interpretations among propositional deductive systems
A focused approach to combining logics
Realization of phi-types and Keisler's order
Addendum and Corrigendum: Choice Principles in Hyperuniverses
Polarized games
A Common Axiom Set for Classical and Intuitionistic Plane Geometry
Uncountable categoricity of local abstract elementary classes with amalgamation
Combinatorial realizability models of type theory
Cardinal characteristics at κ in a small u(κ) model
Tracing and domination in the Turing degrees
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
Graph colorings and recursively bounded Π 1 0 -classes
Some variations on the splitting number
Preface: A selection of papers presented at the Logic Colloquium '89
Notes on some second-order systems of iterated inductive definitions and Π 1 1 -comprehensions and relevant subsystems of set theory
The ibT degrees of computably enumerable sets are not dense
Constructive algebraic integration theory
The ω-Turing degrees
Piecewise convex embeddability on linear orders
Modularity results for interpolation, amalgamation and superamalgamation
Guessing models and generalized Laver diamond
Uniform interpolation and compact congruences
On Pascal Triangles Modulo a Prime Power
Separating club-guessing principles in the presence of fat forcing axioms
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice
Preface - Special Volume Dedicated to the late Stephen Cole Kleene
On constructivity and the Rosser property: a closer look at some Gödelean proofs
Bar Induction and omega Model Reflection
Canonical signed calculi with multi-ary quantifiers
Some Purely Topological Models for Intuitionistic Analysis
Proof of a Conjecture of S. Mac Lane
HOD in natural models of AD +
On the consistency strength of 'Accessible' Jonsson Cardinals and of the Weak Chang Conjecture
Δ 3 1 reals
Recursive automorphisms of recursive linear orderings
A Decidable Ehrenfeucht Theory with Exactly Two Hyperarithmetic Models
Corrigendum to "An order-theoretic analysis of interpretations among propositional deductive systems" [Ann. Pure Appl. Logic 164 (2) (2013) 112-130]
Elimination of quantifiers for a theory of real closed rings
The elementary theory of Dedekind cuts in polynomially bounded structures
On the Turing degrees of minimal index sets
Geometric stability theory for μ -structures
Extension without cut
Dimensions, matroids, and dense pairs of first-order structures
Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics
Towards logical operations research - propositional case
Exact unprovability results for compound well-quasi-ordered combinatorial classes
More on the revised GCH and the black box
A Rank one Cohesive Set
Narrow boolean algebras
Hanf number of the first stability cardinal in AECs
Splitting Theorems in Recursion Theory
Computable categoricity for pseudo-exponential fields of size ℵ 1
Nondeterministic Bounded Query Reducibilities
Definable normal measures
Abstract elementary classes and accessible categories
Third-order functionals on partial combinatory algebras
Models for the Lambek Calculus
Cardinal invariants related to permutation groups
A contrast to the low basis theorem
Characterizing existence of certain ultrafilters
Enumerators of lambda Terms are Reducing Constructively
Blowing Up the Power of a Singular Cardinal
Equivalence between Wadge and Lipschitz determinacy
Projective mad families
On dp-minimal expansions of the integers
First-order rigidity of rings satisfying polynomial identities
Pure patterns of order 2
Graphs realised by r.e. equivalence relations
The Intuitionistic Alternative Set Theory
O-minimal Lambda m -regular stratification
Thue trees
Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
A More Direct Proof of a Result of Shelah
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
Free equivalential algebras
Generics in invariant subsets of the group of order preserving permutations of Q
A new look at interpretability and saturation
On definability of team relations with k -invariant atoms
Strong Stability and the Incompleteness of Stable Models for lambda-Calculus
What's So Special About Kruskal's Theorem and the Ordinal Gamma 0 ? A Survey of Some Results in Proof Theory
Sufficient conditions for cut elimination with complexity analysis
o-minimal analytic separation of sets in dimension 2
Inductive Full Satisfaction Classes
Three clouds may cover the plane
Punctual definability on structures
Almost universal cupping and diamond embeddings
Papers presented at the Meeting on "Stability in Model Theory II", July 13-17, 1987, Trento, Italy - Preface
Grothendieck rings of theories of modules
Highness, locally noncappability and nonboundings
Maximal and partial points in formal spaces
Square and Delta reflection
Baumgartner's conjecture and bounded forcing axioms
On the Existence of Regular Types
Interpolation in Hájek's basic logic
Effectively closed mass problems and intuitionism
Forcing lightface definable well-orders without the GCH
Rationality of p-adic Poincaré Series: Uniformity in p
A general condition for collapse results
There may be simple Paleph 1 and Paleph 2 -points and the Rudin-Keisler ordering may be downward directed
A dichotomy result for a pointwise summable sequence of operators
On L infty k -free Boolean Algebras
Strong standard completeness theorems for S5-modal Łukasiewicz logics
More on SOP 1 and SOP 2
Control structures in programs and computational complexity
Locally pure topological abelian groups: elementary invariants
Definitional Equivalence and Algebraizability of Generalized Logical Systems
Algorithmic correspondence and canonicity for distributive modal logic
Stationary logic of ordinals
Fixed points and unfounded chains
On intermediate inquisitive and dependence logics: An algebraic study
The Provability Logic for sigma 1 -Interpolability
Set theoretical analogues of the Barwise-Schlipf theorem
Linear orderings and powers of characterizable cardinals
Quantifier-free epistemic term-modal logic with assignment operator
The extensional ordering of the sequential functionals
The Self-Embedding Theorem of WKL 0 and a Non-Standard Method
On Sierpiński sets, Hurewicz spaces and Hilgers functions
The number of uncountable models of ω-stable theories
A Simple Propositional S5 Tableau System
Large Cardinals and Iteration Trees of Height omega
Automorphisms in the PTIME-Turing Degrees of Recursive Sets
A complete axiomatization of infinitary first-order intuitionistic logic over Lκ+,κ
New-from-old full dualities via axiomatisation
On the Finiteness of the Recursive Chromatic Number
Embedding causal team languages into predicate logic
The canonical pairs of bounded depth Frege systems
A canonical hidden-variable space
A Model for Intuitionistic Non-Standard Arithmetic
Short propositional refutations for dense random 3CNF formulas
Data Storage Interpretation of Labeled Modal Logic
On Recurrence Axioms
Moderate Families in Boolean Algebras
Canonization for Two Variables and Puzzles on the Square
Ideal topologies in higher descriptive set theory
Frame definability in finitely valued modal logics
More on real algebra in scott's model
Relating Bishop's function spaces to neighbourhood spaces
On generalized Van Benthem-type characterizations
Determinacy and the Sharp Functions on the Reals
Dimensional Order Property and Pairs of Models
Reinhardt cardinals and iterates of V
Relecture constructive de la théorie d'Artin-Schreier
Degree spectra of relations on structures of finite computable dimension
ZF and its interpretations
Relative efficency of propositional proof systems: resolution vs. cut-free LK
More canonical forms and dense free subsets
Dominating Projective Sets in the Baire Space
A characterisation of elementary fibrations
Computing interpolants in implicational logics
Ramified Systems
On the consistency of some partition theorems for continuous colorings, and the structure of aleph 1 -dense real order types
Boolean algebras arising from information systems
Strong Cardinals in the Core Model
Was Sierpinski Right? III: Can Continuum-cc. Times c.c.c. be Continuum-c.c.?
On complexity of Ehrenfeucht-Fraïssé games
Fixed point theorems on partial randomness
The omega-rule interpretation of transfinite provability logic
The Paradox of the Knower revisited
Complicated colorings, revisited
Using ultrapowers to compare continuous structures
L -algebras and three main non-classical logics
Remarks on superatomic boolean algebras
Filter Spaces: Toward a Unified Theory of Large Cardinals and Embedding Axioms
Model theoretic forcing in analysis
Topological differential fields
On equivalence relations generated by Cauchy sequences in countable metric spaces
Computational complexity of hybrid interval temporal logics
Friedman-reflexivity
Continuous extension of maps between sequential cascades
Large cardinals and locally defined well-orders of the universe
The guarded fragment with transitive guards
Approximation Methods in Inductive Inference
The Possible Turing Degree of the Nonzero Member in a Two Element Degree Spectrum
Gödel functional interpretation and weak compactness
Uncountable groups have many nonconjugate subgroups
Visible acyclic differential nets, Part I: Semantics
Hyperarithmetical Relations in Expansions of Recursive Structures
Stable Generic Structures
Systems of Explicit Mathematics with Non-Constructive µ-Operator and Join
Logical form, mathematical practice, and Frege's Begriffsschrift
Index Sets Related to Prompt Simplicity
Quantifier elimination in discriminator varieties
Game-Theoretic Inductive Definability
Unification in linear temporal logic LTL
Cosheaves and connectedness in formal topology
Canonical proof nets for classical logic
On duality and model theory for polyadic spaces
The Borel Conjecture
Games and Scott sentences for positive distances between metric structures
Some remarks on Schanuel's conjecture
On complexity of verification of interacting agents' behavior
A Method to Single out Maximal Propositional Logics with the Disjunction Property II
Combinatorial Properties of Classical Forcing Notions
Recursion theory and ordered groups
Algebraically closed structures in positive logic
What we talk about when we talk about numbers
Goodstein sequences for prominent ordinals up to the ordinal of Π11-CA0
Martin-Löf random generalized Poisson processes
A Diamond Example of an Ordinal Graph with No Infinite Paths
Topological inductive definitions
Erratum to "Representation theory of MV-algebras" [Ann. Pure Appl. Logic 161 (8) (2010)]
Arithmetizing Uniform NC
Partition subalgebras for maximal almost disjoint families
Spatial logic of tangled closure operators and modal mu-calculus
Weak typed Böhm theorem on IMLL
On the proof complexity of logics of bounded branching
Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic
The structure of the Mitchell order - II
From realizability to induction via dependent intersection
A coinductive approach to proof search through typed lambda-calculi
Relative Elimination of Quantifiers for Henselian Valued Fields
Fixed point theorems for precomplete numberings
Covering the recursive sets
Variable declarations in natural deduction
Univalent polymorphism
The jump operator on the omega-enumeration degrees
Some model-theoretic results in the algebrais theory of quadratic forms
On categorical structures arising from implicative algebras: From topology to assemblies
Two simple sets that are not positively Borel
Degrees of Convex Dependence in Recursively Enumerable Vector Spaces
The strength of extensionality I - weak weak set theories with infinity
Completeness of S4 with respect to the real line: revisited
Internality and interpretable automorphism groups in simple theories
On co-Simple Isols and Their Intersection Types
Embeddings between well-orderings: Computability-theoretic reductions
Comparing Peano arithmetic, Basic Law V, and Hume's Principle
On the classification of (effective) φ-spaces
On the classification of first order Gödel logics
A Constructive Logic Behind the Catch and Throw Mechanism
Sigma 5 -Completeness of Index Sets Arising from the Recursively Enumerable Turing Degrees
Positive Definite Functions over Regular f-Rings and Representations as Sums of Squares
On the Unity of Logic
Krivine's intuitionistic proof of classical completeness (for countable languages)
Undefinability of truth and nonstandard models
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus
On expansions of (Z, +, 0)
Upper bounds for the arithmetical degrees
Relativized Grothendieck topoi
Quasi-Simple Relations in Copies of a Given Recursive Structure