yusuke1997/dblp-id-title huggingface dataset:
No Borel Connections for the Unsplitting Relations
Representation of Posets
Number of non-Fregean sentential logics that have adequate models
On the Simplicity of Busy Beaver Sets
Computing the complexity of the relation of isometry between separable Banach spaces
Topological Framework for Finite Injury
Uniformly computable aspects of inner functions: estimation and factorization
Anti-Mitotic Recursively Enumerable Sets
Automorphisms of η -like computable linear orderings and Kierstead's conjecture
Categorical abstract algebraic logic: The largest theory system included in a theory family
How to construct a product of a-frames
Regular reals
Theories With the Existential Substructure Property
Eine Axiomatisierung der Mehrwertigen Logiken von Gödel
The Theory of Affine Constructible Sets
Darstellung der Lewyschen Algebren
Congruences and ideals on Boolean modules: a heterogeneous point of view
Decomposing the real line into Borel sets closed under addition
Recursive Approximability of Real Numbers
On Some Applications of Games for Härtig Quantifier
Some Boolean Valued Commutative Algebra
Regular Relations and the Quantifier "There Exist uncountably Many"
Cylindric Algebras with Filter Quantifiers
Cofinalities of Borel ideals
Generic expansion of an abelian variety by a subgroup
Uniformly convex Banach spaces are reflexive - constructively
Simple Pairs of Equivalence Relations
Characterization of the Relations in Grzegorczyk's Hierarchy Revisited
Invariant Logics
An Application of Rank-Forcing to ω 1 -Categoricity
Symmetrical Heyting Algebras with Operators
Comparison of the Axioms of Local and Global Universality
Rado's Conjecture and Ascent Paths of Square Sequences
A Note on Shoenfield's Unramified Forcing
On Splitting of a Recursive Set with Polynomial Time Minimal Pairs
An Omitting Types Theorem for first order logic with infinitary relation symbols
On sequentially closed subsets of the real line in ZF
Rings and Fields, a Constructive View
Distinct Modalities are not Equivalent in T
A theorem on ROD-hypersmooth equivalence relations in the Solovay model
F-Multipliers and the Localization of Distributive Lattices II
Hierarchies in phi -spaces and applications
Characterizing NC with tier 0 pointers
A presentation theorem for continuous logic and metric abstract elementary classes
Computability on Regular Subsets of Euclidean Space
G -Stratification is Equivalent to F -Stratification
Rogers semilattices of families of two embedded sets in the Ershov hierarchy
Deterministic Algorithms, Simple Languages And One-to-One Gentzen Type Formalizations
Rudimentary Languages and Second Order Logic
Zusammenhang zwischen der Theorie F der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome von F
Spectra of ω-Stable Theories
Strong Cardinals and Sets of Reals in L ω 1 (ℝ)
The theory of integrally closed domains is not finitely axiomatizable
A note on equality in finite-type arithmetic
Preservativity logic: An analogue of interpretability logic for constructive theories
Degrees of Non α-Speedable Sets
Some results on Kripke models over an arbitrary fixed frame
Navigation Without Perception of Coordinates and Distances
Simple monadic theories and indiscernibles
Weakly measurable cardinals
On the free implicative semilattice extension of a Hilbert algebra
A Class of Polynomial Equations in a Single Ordinal Variable
Strong Reducibilities of Enumerations and Partial Enumerated Algebras
Ultraprodukte in der Theorie der logischen Auswahlfunktionen
Non-Circular, Non-Well-Founded Set Universes
Isomorphic formulae in classical propositional logic
Nearly Model Complete Theories
Computability of Solutions of the Korteweg-de Vries Equation
Spherically complete models of Hensel minimal valued fields
Varieties of pseudocomplemented Kleene algebras
Topological Size of Sets of Partial Recursive Functions
A Formalism for Some Class of Forcing Notions
Classes of Numeration Models of λ-Calculus
An example of a function with multiple ambiguities
The compleat 0†
Deterministic Automata and the Monadic Theory of Ordinals < ω 2
The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces
The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics
Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem
Tarskian Structured Consequence Relations and Functional Completeness
On Closed Subsets of the Intuitionistic Reals
On the Decidability of Propositional Algorithmic Logic
On the implicative-infimum subreducts of weak Heyting algebras
How to Develop Proof-Theoretic Ordinal Functions on the Basis of Admissible Ordinals
Acceptable Numerations of Morphisms and Myhill-Shepherdson Property
Splitting stationary sets from weak forms of Choice
Uniformly locally o-minimal open core
Superatomic Boolean algebras constructed from strongly unbounded functions
Notion of Interpretation and Nonelementary Languages
Grasping Infinity by Finite Sets
Indestructibility and stationary reflection
Connections between Identifying Functionals, standardizing Operations, and Computable Numberings
Constructive complements of unions of two closed sets
The diamond covering property axiom
Classical provability of uniform versions and intuitionistic provability
Bounded iteration and unary functions
Products of Compact Spaces in the Least Permutation Model
Das Homomorphietheorem für MV-Algebren Endlicher Ordnung
A note on the decidability of exponential terms
Reversible Automaten und Einfache Universelle 2-Dimensionale Thue-Systeme
EM + Ext- + ACint is equivalent to ACext
Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras
Ultratopologies
Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory?
A Cohesive Set which is not High
Generic trivializations of geometric theories
Rado's Selection Lemma Does not Imply the Boolean Prime Ideal Theorem
Correction to "Embedding Properties and Anti-Foundation in Set Theory"
On the relative strengths of fragments of collection
Defining a randomness notion via another
Multiply Transitive Sets
Games with Unknown Past
Pseudocomplemented Okham and Demorgan Algebras
An infinitary variant of Metric Temporal Logic over dense time domains
A Formalization of Sambin's Normalization for GL
System Function Languages
Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten
Non-archimedean stratifications of tangent cones
A finite model property for RMI min
Sur La Reconstruction Des Ordres Totaux
Nonstandard Representation Theory of Standard Operators Defined on the Space of Bochner Integrable Functions
Towards the Actual Relationship Between NP and Exponential Time
On a Subtheory of the Bernays-Gödel Set Theory
Combinatorics for Small Ideals on P k λ
Model companions of theories of graphs
Klassentheoretische Paare
Disassociated indiscernibles
Embedding classical in minimal implicational logic
Characterising the largest, countable partial ordering
Some Properties of Thin Π
Bounded Scott Set Saturation
The Compactness of 2 R and the Axiom of Choice
A Note on the Gödel-Gentzen Translation
Variation on a theme of Schütte
Non-associative Lambek Categorial Grammar in Polynomial Time
On Representing Concepts in Finite Models
Comparing the Power of Games on Graphs
Groups, group actions and fields definable in first-order topological structures
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
Ultrahomogeneous Structures
Strong negation in intuitionistic style sequent systems for residuated lattices
From finitary to infinitary second-order logic
Zum Begriff Der Projektiv-Metrischen Ebene
The conjugacy problem for automorphism groups of countable homogeneous structures
A Note on I -Types
Construction of An Equality Relation on a Set with Coequality Relation
Sequential Calculus for a First Order Infinitary Temporal Logic
On a Definition of First Order Translation for a Concrete Category
Séparations et transferts dans la hi?rarchie polynomiale des groupes abéliens infinis
A stability transfer theorem in d-tame metric abstract elementary classes
Propositions in Prepositional Logic Provable Only by Indirect Proofs
ZF and Locally Finite Groups
Product a-frames and proximity
Ein vollständiger Ableitungsbegriff für die Äquivalenz in einem funktionell unvollständigen dreiwertigen Aussagenkalkül
Enumeration Reducibility Using Bounded Information: Counting Minimal Covers
Translations from natural deduction to sequent calculus
Turing invariant sets and the perfect set property
Quantified Modal Logic With Rigid Terms
The rigid relation principle, a new weak choice principle
Relations Intrinsically Recursive in Linear Orders
Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras
The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
On the finite axiomatizability of
Classical linear logics with mix separation principle
On quasi-varieties of multiple valued logic models
Galois Theorems for Isolated Fields
On the Euler characteristic of definable groups
| T | + -resplendent models and the Lascar group
Strong Ambiguity
A Limit for Higher Recursion Theory
The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier
Provably total functions of Basic Arithmetic
Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin No. 23
Variants of Visibility and their Complexity
A generalisation of Läuchli's lemma
Degrees of Souslin And Aronszajn Trees
Cloture intervallaire et extension logique d'une relation
Tense Logic Without Tense Operators
Theorie Der Numerierungen III
Indivisible sets and well-founded orientations of the Rado graph
On the logic of distributive nearlattices
The two-variable fragment with counting and equivalence
On The Role of The Polynomial ( X → Y ) → Y in Some Implicative Algebras
The Length Problem for Co-R.E. Sets
A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept
Eine Synthetische Charakterisierung der Cayley-Kleinschen Geometrien
Two conjectures on the arithmetic in R and C
Non Standard Regular Finite Set Theory
Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem
Weak Conditional Comparative Probability as a Formal Semantic Theory
Henselian valued fields: a constructive point of view
A note on an alternative Gentzenization of RW + ∘
A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
Powers of positive elements in C *-algebras
On Schnorr and computable randomness, martingales, and machines
Monadic generalized spectra
Modal Tree-Sequents
On a simple definition of computable function of a real variable-with applications to functions of a complex variable
Subquasivarieties of implicative locally-finite quasivarieties
Interpretations With Parameters
Monomial ideals and independence of IΣ2
ω-Operations over Partial Enumerated Sets
Zum Stufenaufbau Von Translationsebenen in Spiegelungsgeometrischer Darstellung
Saturated Ideals Need Not be p -points
Ein Kriterium für die Primitive Rekursivität der Funktional-Iteration
On speedability of recursively enumerable sets
The Basic Decision Problem in lambda-Calculus
Random ℓ-colourable structures with a pregeometry
Logical Complexity of Some Classes of Tree Languages Generated by Multiple-Tree-Automata
A formal definition of the set of the logical connectors of pragmatics
Algorithmic aspects of Z[x 1 , ..., x n ] with applications to tiling problems
Strong Semantical Characterization for Nondeterministic Programs
P f != NP f for almost all f
On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals
On Σ 1 1 equivalence relations over the natural numbers
Infinite Time Turing Machines With Only One Tape
Linear Order Types of Nonrecursive Presentability
Continuous Functions on Countable Ordinals
Some More Conservation Results on the Baire Category Theorem
Decidability in the Constructive Theory of Reals as an Ordered ℚ-vectorspace
Generalisations of disjunctive sequences
Differences of Computably Enumerable Sets
On the regular extension axiom and its variants
Cyclic Elements in MV-Algebras and Post Algebras
A note on Bar Induction in Constructive Set Theory
Stability of representations of effective partial algebras
A note on a subvariety of linear tense algebras
A Connection Between Blum Speedable Sets and Gödel's Speed-Up Theorem
On translations of complete first order theories
Generalized periodicity and primitivity for words
On countable choice and sequential spaces
A Boolean Transfer Principle from L * -Algebras to AL * -Algebras
Rogers semilattices of limitwise monotonic numberings
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor
The Concept of Multiset
Fuzzy Membership Mapped onto Intervals and Many-Valued Quantities
Non Deterministic Classical Logic: The lambda-mu ++ -calculus
The Paraconsistent Logics P J
An Easton theorem for level by level equivalence
Fixed-points of Set-continuous Operators
A Note on the Proof Method for Constructive Falsity
Classification of non-well-founded sets and an application
Decomposition of Gödelnumberings into Friedbergnumberings
Lowness for isomorphism, countable ideals, and computable traceability
Transitivitätsbedingungen
The Order Structure of Stone Spaces and the T D -Separation Axiom
On Models Constructed by Means of the Arithmetized Completeness Theorem
Ultraproducts and Higher Order Formulas
Lattice BCK logics with Modus Ponens as unique rule
Conjectures of Rado and Chang and special Aronszajn trees
Some combinatorial principles for trees and applications to tree families in Banach spaces
A Completeness Theorem for the Lambek Calculus of Syntactic Categories
Reverse mathematics and Isbell's zig-zag theorem
First Order Logics for Metric Structures
Zfc-Models as Kripke-Models
Completeness Proofs for Some Logics of Programs
Zur Komplexitätsmessung Primitiv-Rekursiver Funktionen Über Quotiententermmengen
Non recursive functionals
Mutual Transformability of the Formulas of the Languages Of Markov L 2ω AND R ω
Recursively Enumerable Equivalence Relations Modulo Finite Differences
Limitwise monotonic sets of reals
Axiomatizing first order consequences in inclusion logic
Some preservation theorems in an intermediate logic
A Decomposition of an Infinite Dimensional Space
Existential definability of modal frame classes
1-Pointer Automata Searching Finite Plane Graphs
On dense, locally finite subgroups of the automorphism group of certain homogeneous structures
On the Predecessor Relation in Abstract Algebras
Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen
A local normal form theorem for infinitary logic with unary quantifiers
A characterization of constructive dimension
The polynomial hierarchy for some structures over the binary words
On Complementedly Normal Lattices II: Extensions
N-Categories in Logic
Adding highly generic subsets of ω 2 $\omega _2$
A Generalization of Ackermann's Function
A Syntactic Proof of Cut-Elimination For GL lin
Ausgezeichnete Folgen Für Prädikative Ordinalzahlen und Prädikativ-Rekursive Funktionen
The profinite topology of free groups and weakly generic tuples of automorphisms
A Construction in Set-Theoretic Topology by Means of Elementary Substructures
Pavelka's Fuzzy Logic and Free L-Subsemigroups
A categorical equivalence between logical quantale modules and quantum B-modules
Encoding true second-order arithmetic in the real-algebraic structure of models of intuitionistic elementary analysis
A Note on Exponential Polynomials and Prime Factors
Quantifier elimination for elementary geometry and elementary affine geometry
Splittings of 0' into the Recursively Enumerable Degrees
On a Reconstruction of Models with Only One Binary Relation
Some Hierarchies of Primitive Recursive Functions on Term Algebras
A Note on Pavelka's Fuzzy Logic
Relativized Gödel speed-up and the degree of succinctness of representations
Comparison of exponential-logarithmic and logarithmic-exponential series
Quantified universes and ultraproducts
Mass problems and almost everywhere domination
Comparison of Picard groups in dimension 1
Nonstandard Methods and Finiteness Conditions in Algebra
The Hahn-Banach Property and the Axiom of Choice
A New Proof that "Krull implies Zorn"
Modal completeness of sublogics of the interpretability logic IL
Das Kollektionsaxiom
Jankov-theorems for some implicational calculi
Weakly and locally positive Robinson theories
On the Logical System L 1
Decidability for ℤ[ G ]-Modules when G is Cyclic of Prime Order
The cohesive principle and the Bolzano-Weierstraß principle
No minimal transitive model of Z -
Forcing a countable structure to belong to the ground model
Strongly unfoldable, splitting and bounding
Addition and multiplication of sets
On the Completeness of Associative Idempotent Functions
Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations
A General Constructive Intermediate Value Theorem
Binary types in ℵ 0 -categorical weakly o-minimal theories
Fine Degrees of Word Problems of Cancellation Semigroups
Decidable fan theorem and uniform continuity theorem with continuous moduli
On Skala's Set Theory
pi-short Boolean algebras
A Note on the Admissibility of Cut in Relevant Tableau Systems
Thin equivalence relations in scaled pointclasses
Two Remarks on Partitions of ω to with Finite Blocks
A note on the existence of tautologies without constants
Computable randomness and betting for computable probability spaces
Nielsen-Schreier and the Axiom of Choice
Structure Theory for Projective Sets in the Plane With Countable Sections
Generalized Construction Problems
Properties Preserved under Definitional Equivalence and Interpretations
The Vector Space Kinna-Wagner Principle is Equivalent to the Axiom of Choice
On the End Extension Problem For Δ 0 -PA( S )
Parametric Presburger arithmetic: complexity of counting and quantifier elimination
Minimum boundary touching tilings of polyominoes
A Concrete Categorical Model for the Lambek Syntactic Calculus
Order-free Recursion on the Real Numbers
A Nonstandard Compactness Criterion
A remark on divisibility of definable groups
Factorials and the finite sequences of sets
Lattice Theoretical Equivalences of the Ultrafilter Principle
Sequenzen und Strukturierte Zeichenreihen
La relation différence et l'anti-isomorphie
Precipitous Ideals on Singular Cardinals
Topos Based Semantic for Constructive Logic with Strong Negation
Quantum computational logic with mixed states
Foundations of Boolean Valued Algebraic Geometry
Well-Defined Fuzzy Sentential Logic
The Nonstandard Theory of Semi-Uniform Spaces
Further Results on Proof Theories For Semilattice Logics
Orders on computable rings
Lipschitz extensions of definable p -adic functions
A note on complete partitions in boolean algebras
The natural numbers in constructive set theory
A theorem on labelled trees and the limits of its provability
Complements of Intersections in Constructive Mathematics
Squares of regular languages
Free sets for set-mappings relative to a family of sets
Random Isols
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice
On non-compact logics in NEXT(KTB)
r-Maximal sets and Q 1 , N -reducibility
Hamel-isomorphic images of the unit ball
The Completeness of L
Intervals of Binary Relations
Some Connections between Topological and Modal Logic
On btt-Degrees of Sets of Minimal Numbers in Gödel Numberings
Le modèle Compagnon de la THéOrie des arbres
On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)
Relative arithmetic
A Couple of Novelties in the Propositional Calculus
Omniscience Principles and Functions of Bounded Variation
On definability of types of finite Cantor-Bendixson rank
The Construction of A Definable Non-Categorical Domain
Kripke-Platek Set Theory and the Anti-Foundation Axiom
Comparing The Expressive Power of Some Languages for Boolean Algebras
On Countable Products of Finite Hausdorff Spaces
On the Algebraic Structure of Primitive Recursive Functions
Zur Axiomatik der Friedmanschen Theorie der Prädikate
A Reflection Property for Saturated Models
Minimal Axiomatization in Modal Logic
Ternary Operations as Primitive Notions for Constructive Plane Geometry
A constructive version of Birkhoff's theorem
Ordinal numbers in Arithmetic Progression
Ternary Operations as Primitive Notions for Constructive Plane Geometry III
A Hanf number for saturation and omission: the superstable case
Inconsistency of GPK + AFA
A Macro Program for the Primitive Recursive Functions
On a Question of Phillips
The axiom of choice and the law of excluded middle in weak set theories
Idempotents in R
χ-Local Operations for Topological Structures
Inhomogeneity of the p-s-Degrees of Recursive Functions
The Structure of an SL 2 -module of finite Morley rank
Transformability of the Formulas of the Languages of Markov l n , L ω Int Formulas of the Language &equation Image; 2
Local sentences and Mahlo cardinals
Minima of initial segments of infinite sequences of reals
ThéOrie de Galois pour les ALGèBres de Post Infinitaires
Precisely controlling level by level behavior
Properties of the real line and weak forms of the Axiom of Choice
Full Models for Positive Modal Logic
Inductive Inference and Computable One-One Numberings
Some Remarks on the Structure of Expansions
Fixed-parameter decidability: Extending parameterized complexity analysis
Incompleteness Results in Kripke Bundle Semantics
Baire Category on Cardinals
Properly Σ 2 Enumeration Degrees
Complete Second Order Spectra
Ternary Operations as Primitive Notions for Constructive Plane Geometry V
Generalizing Morley's Theorem
The Downward Transfer of Elementary Satisfiability of Partition Logics
Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus
Spezifikation parametrisierter Datentypen
A Pigeonhole Property for Relational Structures
The Concept of n -Cylinder and its Application
On Hausdorff operators in ZF $\mathsf {ZF}$
Reverse mathematics and infinite traceable graphs
On the existence of universal numberings for finite families of d.c.e. sets
New sequent calculi for Visser's Formal Propositional Logic
On universal modules with pure embeddings
Decidable variables for constructive logics
A Simplified Functorial Construction of the Veblen Hierarchy
Functional interpretation and the existence property
On Sigma 1 -definable Functions Provably Total in I-Pi 1 -
Subdirectly irreducible separable dynamic algebras
Generalising the fan theorem
The Hanf number in the strictly stable case
Von Rimscha's Transitivity Conditions
Completely Autoreducible Degrees
Two Topological Equivalents of the Axiom of Choice
Refining the arithmetical hierarchy of classical principles
James sequences and Dependent Choices
Connectedness of the continuum in intuitionistic mathematics
Definable Ultrafilters and end Extension of Constructible Sets
Metrization of the Uniform Space and Effective Convergence
Type-2 computability on spaces of integrable functions
Polymodal Lattices and Polymodal Logic
On the strong cell decomposition property for weakly o-minimal structures
A Note on Stahl's Opposite System
Some Algebraic Structures Determined by Closure Operators
Editorial: Math. Log. Quart. 4/2009
Continuous homomorphisms of R onto a compact group
Powerset Residuated Algebras and Generalized Lambek Calculus
On MOD k P Counting Degrees
Direct Summands of Recursively Enumerable Vector Spaces
Free nilpotent minimum algebras
Reverse Mathematics and Recursive Graph Theory
Connectedness and compactness on standard sets
Effective Transformations on Probabilistic Data
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
Some Results on the Structure of the ϕ-Spectrum
A Gap Cohomology Group
Continuing Variations on a System of Gentzen
Iterations of Satisfaction Classes and Models of Peano Arithmetic
Definable Ultrapowers and Ultrafilters over Admissible Ordinals
Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie