yusuke1997/dblp-id-title huggingface dataset:
A note on the predicatively definable sets of N. N. Nepeîvoda
The anti-Specker property, positivity, and total boundedness
Functional Characters of Solvable Terms
Variable Truth
Reverse Mathematics and Grundy colorings of graphs
Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings
Computable metrization
Undecidable Problems Associated with Combinatiorial Systems and Their One-One Degrees of Unsolvability
Effective extensions of partial orders
Theories Having Finitely Many Countable Homogeneous Models
Turning decision procedures into disprovers
Concrete barriers to quantifier elimination in finite dimensional C*-algebras
Non-commutative intuitionistic linear logic
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
A minimal pair joining to a plus cupping Turing degree
Zum Aufbau Einer Mehrsortigen Elementaren Logik
Correction to my Paper "Closed Basic Retracing Functions and Hyperimmune Sets"
A Modal Herbrand's Property
Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis
Cohen forcing and inner models
The Operators of Vector Logic
On Constructively Non-Morphisms of Enumerated Sets and Constructive Non-Reducibility of Enumerations
The Fundamental Configurations of Linear Projective Geometry
Constructively Complete Finite Sets
A note on decidability of variables in intuitionistic propositional logic
Remarks on Levy's Reflection Axiom
Fundamental Sequences for Initial Ordinals Smaller than a Certain Θ 0
Logics of upsets of De Morgan lattices
On a Spector Ultrapower for the Solovay Model
Weak Arithmetics and Kripke Models
More on trees and Cohen reals
Topological duality for orthomodular lattices
Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren
The Real truth
Forcing revisited
On free MV algebras and a problem of Tarski
Classification of Quantifier Prefixes Over Diophantine Equations
Mycielski among trees
A topology induced by uniformity on BL-algebras
The universal covering homomorphism in o-minimal expansions of groups
Generalized Silver and Miller measurability
Universal partial indestructibility and strong compactness
Non Complementedness and Non Distributivity of Kleene Degrees
Translating I-Delta 0 + exp Proofs into Weaker Systems
An Intuitionistic Version of Cantor's Theorem
A Note on "ℰ
Independent families of functions and permutations
Fragments of Arithmetic and true sentences
A Contiguous Nonbranching Degree
A spectrum hierarchy
L'Indeformabilite des Relations et Multirelations Binaires
Infinite Projection Properties
Some Solved and Unsolved Remainder Equations
Is the Mandelbrot set computable?
Distal and non-distal behavior in pairs
ω-Konservativität der Nonstandardmengenlehre von Nelson BezüGlich ZF + Kompaktheitssatz
A Constructive Treatment of Open and Unopen Mapping Theorems
Derivatives of Computable Functions
A proof-theoretic metatheorem for tracial von Neumann algebras
Proof theory and computer programming
Expanding the additive reduct of a model of Peano arithmetic
Directed Sets and Malitz-Cauchy-Completions
On topological set theory
Abraham Robinson's Meta-Algebra Revisited
La Reconstruction des tournois sans Diamant
Definable subgroups of measure algebras
Computability of compact operators on computable Banach spaces with bases
Rigid Unary Functions and the Axiom of Choice
Sortability and Extensibility of the Graphs of Recursively Enumerable Partial and Total Orders
A note on fsg $\text{fsg}$ groups in p -adically closed fields
Characterizing PSPACE with pointers
On subsystems of the system J 1 of Arruda and Da Costa
Residuated logics based on strict triangular norms with an involutive negation
Π 1 1 -Martin-Löf randomness and Π 1 1 -Solovay completeness
The Bounded Axiom A Forcing Axiom
The ϱ-Calculus
Analytic Completeness Theorem for absolutely Continuous Biprobability Models
Topological aspects of numberings
The axiom of choice holds iff maximal closed filters exist
Theory and application of labelling techniques for interpretability logics
Isols and Maximal Intersecting Classes
CP-generic expansions of models of Peano Arithmetic
Filters for Square-Bracket Partition Relations
A sufficient and Necessary Condition for Tarski's Property in Lindenbaum's Extensions
Categorical languages for algebraic structures
Construction of Large Sets of Clones
Digraph parameters and finite set arithmetic
Lattices Acting on Universal Classes
Some structural similarities between uncountable sets, powersets and the universe
On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi
Pebble Automata in Labyrinths with Rotation Systems
Choice principles for special subsets of the real line
A Uniform Approach to Fundamental Sequences and Hierarchies
New substitution bases for complexity classes
Definable group extensions in semi-bounded o-minimal structures
Embedding Lattices with Top Preserved Below Non- GL 2 Degrees
Non-discrete metrics in and some notions of finiteness
A note on partial numberings
Remarks on continuum cardinals on Boolean algebras
Russell's Alternative to the Axiom of Choice
Gap-2 morass-definable η1-orderings
Quantum B-modules
Analyse de complexité pour un théorème de Hall sur les fractions continues
Game Approximations of Satisfaction Classes Models
The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist)
Durch syntaktische Rekursion definierte Klassen
The Decision Problem for Certain Nilpotent Closed Varieties
A Los type theorem for linear metric formulas
Some Consequences of Ad for Kleene Recursion in 3 E
The Ambiguous Type Theory is Hereditarily Undecidable
Hilbert spaces expanded with a unitary operator
The Boolean prime ideal theorem and products of cofinite topologies
Loeb Measure from the Point of View of a Coin Flipping Game
A Note on Morse's Lambda-Notation in Set Theory
Some results on bounded truth-table degrees
Kanonische Abbildungen und Eilenberg-Maschinen
A note on prime models in weakly o-minimal structures
A Proof of the Characterization Theorem for Consequence Relations
Infinite games in the Cantor space and subsystems of second order arithmetic
Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic
Almost Disjoint Families of Representing Sets
A note on the theory SID<ω of stratified induction
Topological properties of definable sets in ordered Abelian groups of burden 2
Recursive Baire Classification and Speedable Functions
Some Observations Concerning Medial Fields
Compactness and recursive enumerability in intensional logic
An Ordinal Version of the Fundamental Law of Algebra
A nonstandard density theorem for weak topologies on Banach and Bochner spaces
The Functional Completeness of Post's m -Valued Propositional Calculus
Analyzing completeness of axiomatic functional systems for temporal × modal logics
Constructive Axiomatization of Plane Hyperbolic Geometry
The normal depth of filters on an infinite cardinal
Eine Berechenbare Funktion Mit Rationalen Werten, Die Nicht Rekursiv Ist
Application de la Notion de Relation Presque-Enchainable au Denombrement des Restrictions Finies D'une Relation
An ω-categorical structure with amenable automorphism group
Extensions Immèdiates de Chaînes
The stationary set splitting game
Bowtie-free graphs and generic automorphisms
A remark on uniform spaces with invariant nonstandard hulls
Fuzzy Galois Connections
Decidability of Some Logics with Free Quantifier Variables
Hyper MV -ideals in hyper MV -algebras
Extending paraconsistent quantum logic: a single-antecedent/succedent system approach
Simulating non-prenex cuts in quantified propositional calculus
The formal language L t and topological products
Filter-Menger set of reals in Cohen extensions
On the Maximality of Some Conormal Extensions of a Lattice
Synthesized substructural logics
Imaginaries in Boolean algebras
Determinacy and regularity properties for idealized forcings
Nonstandard models that are definable in models of Peano Arithmetic
A Question of Borel Hyperdeterminacy
An Extention of the Decidable Class of Equations Considered by Goodstein and Lee
Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic
The Axiomatic Characterization of Functions
Finite satisfiability for two-variable, first-order logic with one transitive relation is decidable
Small skew fields
Fraïssé and Robinson'S Forcing
Boolean Valued and Stone Algebra Valued Measure Theories
Jumps of nontrivial splittings of recursively enumerable sets
Special subalgebras of Boolean algebras
A Strong Completeness Theorem for Pragmatics
Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view
A Descending Chain of Classical Logics for Which Necessitation Implies Regularity
A Note on Boolean Algebras with Few Partitions Modulo some Filter
A two-dimensional metric temporal logic
Proper and piecewise proper families of reals
Odd-sized partitions of Russell-sets
Effectively and Noneffectively Nowhere Simple Sets
A -Minimal Lattices
A Test to Determine Distinct Modalities in the Extensions of S4
Envelopes, indicators and conservativeness
Subcomplete forcing principles and definable well-orders
The Complete Axiomatisation of any Many-Valued Propositional Logic
Model theory of a Hilbert space expanded with an unbounded closed selfadjoint operator
Effective fractal dimensions
Filtrations of generalized Veltman models
A Property of 2-Sorted Peano Models and Program Verification
Maximal small extensions of o-minimal structures
A Jump Operator in Set Recursion
On completely nonmeasurable unions
Cumulative Higher-Order Logic as a Foundation for Set Theory
Approximate isomorphism of metric structures
Automorphism group actions on trees
Constructive Order Theory
A Topological Model for Intuitionistic Analysis with Kripke's Scheme
A Theory of Ambiguous Types and Its Axiomatizations
Über Unentscheidbare Erweiterungen von SC
The class of polyadic algebras has the super amalgamation property
Cut-elimination Theorems for Some Infinitary Modal Logics
A cumulative hierarchy of sets for constructive set theory
Completions of Convexly Ordered Valuation Rings
The complexity of countable categoricity in finite languages
A Class of ℵ 0 -Categorical Theories
Logic For Reasoning About Knowledge
A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo-Fraenkel set theory
Degrees of d. c. e. reals
Finite Models of Some Substructural Logics
Do there exist complete sets for promise classes?
On Constructing Infinitary Languages L α β without the Axiom of Choice
Some results in BL -algebras
Weak Forms of the Axiom of Choke and the Generalized Continuum Hypothesis
In Domain Realizability, not all Functionals on C [-1, 1] are Continuous
On Rosser's Provability Predicate
On the algebraization of Henkin-type second-order logic
Abstract Data Types and Type Theory: Theories as Types
Minimale Gruppen
Forking and Incomplete Types
choice classes
The Strong Completeness of a System for Kleene's Three-Valued Logic
Extending constructive operational set theory by impredicative principles
Accessing the switchboard via set forcing
On Weak Markov's Principle
A Flipping Characterization of Ramsey Cardinals
Some Results an Polarized Relations of Higher Dimension
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
On the Proof Theory of the Modal Logic Grz
Random Amalgamation of Simple Theories
A topological characterization of consistency of logic theories in propositional logic
Fuzzy Galois connections on fuzzy posets
A Partial Predicate Calculus in a Two-Valued Logic
Products of compact spaces and the axiom of choice II
On the constructive notion of closure maps
An approximate Herbrand's theorem and definable functions in metric structures
Zum Begriff der Wortmischung ALS Basis Für Die Arithmetik
α Logic and Infinitary Languages
A note on the finitization of Abelian and Tauberian theorems
Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic
The swap of integral and limit in constructive mathematics
Existence of EF-equivalent non-isomorphic models
Forcing and the Omitting Types Theorem For L t
Zur Programmkomplexität Rekursiv Aufzählbarer Mengen
Eine neue Definition Berechenbarer reeller Funktionen
Two Proof-Theoretic Remarks on EA + ECT
A remark on the strict order property
On Finite Model Property for Admissible Rules
Effectivizing Inseparability
Computation Models for Parameterized Complexity
Partition Reals and the Consistency of t > add(R)
Derived models and supercompact measures on ℘ω1(℘(R))
Undecidability of the Real Algebraic Structure of Scott's Model
On Weak Theories of Sets and Classes which are Based on Strict ∏
Separating the Intrinsic Complexity and the Derivational complexity of the Word Problem for Finitely Presented Groups
Ultradiophantine Categories
Parallel Theories and Routine Revision in First-Order Logic
Intuitionistic Choice and Restricted Classical Logic
On the definition and the representability of quasi-polyadic equality algebras
Monotonicity and the Expressibility of NP Operators
Preface: MLQ - Math. Log. Quart. 4-5/2004
Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics
Realisability in weak systems of explicit mathematics
Abelian-by- G Groups, for G Finite, from the Model Theoretic Point of View
Structural completeness of the first-order predicate calculus
Algebraization of the Three-valued BCK-logic
Kripke-style semantics for many-valued logics
Filling certain cuts in discrete weakly o-minimal structures
Intensional Equality in Categories With Structure and Coherence Problems
Common Logic of 2-Valued Semigroup Connectives
Extended Curry-Howard terms for second-order logic
On Definability of Relations by Only One Relation
First Order Properties of Relations with the Monotonic Closure Property
Quantifier Elimination for Distributive Lattices and Measure Algebras
Computably Enumerable Reals and Uniformly Presentable Ideals
Glivenko like theorems in natural expansions of BCK-logic
Closed Normal Subgroups
Two logical hierarchies of optimization problems over the real numbers
Editorial: Math. Log. Quart. 1/2007
Decidability of ∃ * ∀-Sentences in Membership Theories
A note on infinitary continuous logic
Three-Valued Commutative Pseudo-Sheffer Functions
Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions
First steps in constructive game theory
Distinguishing standard SBL-algebras with involutive negations by propositional formulas
On Wainer's Notation for a Minimal Subrecursive Inaccessible Ordinal
Matrices of completely Ramsey sets with infinitely many rows
Non-Standard Models of Ordinal Arithmetics
On the (non) superstable part of the free group
Increasing eta -representable degrees
Antisymmetry and Lexicographic Product Relations
Cofinal types on ω 2
Truth-table Schnorr randomness and truth-table reducible randomness
Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces
On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi
A note on tall cardinals and level by level equivalence
Iterative Characterizations of Computable Unary Functions: A General Method
omega -saturated quasi-minimal models of Th(Q omega , +, sigma , 0)
A Free-Variable Theory of Primitive Recursive Arithmetic
System Functions and their Decision Problems
Reconstruction of Binary Relations from their Restrictions of Cardinality 2, 3, 4 and ( n - 1) I
The Recursively Mahlo Property in Second Order Arithmetic
Existential Morphisms and Existentially Closed Models of Logical Categories
A New Proof that π
A note on Grzegorczyk's logic
A note on the first-order logic of complete BL-chains
The finiteness of compact Boolean algebras
Contents: (Math. Log. Quart. 3/2018)
Non-constructive Properties of the Real Numbers
Abstrakte Tempomasze und Speed-up-Theoremea FüR Enumerationen rekursiv-AufzäHlbarer Mengen
Simple monadic theories and partition width
Partitions with no Coarsenings of Higher Degree
The strong tree property and weak square
On a theorem of Günter Asser
A Remark on Weakly Compact Cardinals
On the Relations Between Discrete and Continuous Complexity Theory
Computable axiomatizability of elementary classes
A general approach to fuzzy concepts
Universalität von Berechenbaren Numerierungen von Partiell Rekursiven Funktionen
Boolean-Valued Models of Set Theory with Automorphisms
Indestructible Weakly Compact Cardinals and the Necessity of Supercompactness for Certain Proof Schemata
A two-cardinal characterization of double spectra
Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
The Hauptsatz for Stratified Comprehension: A Semantic Proof
Quantifiers determined by partial orderings
Representing Utility Functions via Weighted Goals
Incomparable ω 1 -like models of set theory
Contents: (Math. Log. Quart. 1/2019)
Flagg and Friedman's Translation is not Faithful
Phrase Structure Languages Generated by Categorial Grammars With Product
A note on chain-based semi-Heyting algebras
Disjunctive extensions of S4 and a conjecture of Goldblatt's
Computable Riesz representation for the dual of C [0; 1]
Lattices of Fixed Points of Fuzzy Galois Connections
Forms of the Pasch axiom in ordered geometry
New types of hyper MV-deductive systems in hyper MV-algebras
The Independence of the Rule of Syllogism in S 2
Computability of graphs
The Pigeonhole Principle and Fragments of Arithmetic
More on regular and decomposable ultrafilters in ZFC
An Extension of the Notion of Relativization to Hilbert's ϵ-Symbol
Reduced products and sheaves of metric structures
Infinitary logic with infinite sequents: syntactic investigations
Comparing Hierarchies of Primitive Recursive Sequence Functions
Distributive Lattices with a Negation Operator
Konstruktive reelle funktionale und Operatoren
On the complexity of categoricity in computable structures
Some Extension and Rearrangement Theorems For Nerode Semirings
Two new equivalents of Lindelöf metric spaces
The Kripke schema in metric topology
Contents: (Math. Log. Quart. 2/2019)
A consistency result on cardinal sequences of scattered Boolean spaces
Zur Mengenlehre Über Klassen
A Note on Decompositions of Recursively Enumerable Subspaces
Quasi-Boolean Algebras, Empirical Continuity and Three-Valued Logic J. P. Cleave in Bristol (Great Britain)
On the Slowly Well Orderedness of epsilon 0
A Problem of Normal Form in Natural Deduction
Neutrally expandable models of arithmetic
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus
A note on the axiomatisation of real numbers
Unions and the axiom of choice
A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions
Failure of n -uniqueness: a family of examples
Coloring linear orders with Rado's partial order
The quantifier complexity of polynomial-size iterated definitions in first-order logic
Anew Relation-Combining Theorem and its Application
Classification of Quantifier Prefixes Over Exponential Diophantine Equations
Normalizing notations in the Ershov hierarchy
Natürliche Kompliziertheitsmasze und Erhaltungssätze I
Making doughnuts of Cohen reals
Minimum-sized Infinite Partitions of Boolean Algebras
Model-Completions of Theories of Finitely Additive Measures with Values in An Ordered Field
Compact and Loeb Hausdorff spaces in &equation image; and the axiom of choice for families of finite sets
On Algebraic Geometry Over Rings with Exponentiation
Relatively Complete Theories
Heterologicality and Incompleteness
Hierarchies for Non-Founded Models of Set Theory
Ultrahuge cardinals
Locally finite ω-languages and effective analytic sets have the same topological complexity
omega-categorical weakly o-minimal expansions of Boolean lattices
A Model where Cardinal Ordering is Universal
Decidability, Recursive Enumerability and Kleene Hierarchy For L -Subsets
Fast quantum algorithms for handling probabilistic and interval uncertainty
Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results
A Non-Boolean Version of Feferman-Vaught's Theorem
Omitting types in fuzzy logic with evaluated syntax
Choice Principles and Compactness Conditions
Untersuchungen zur Friedmanschen Theorie der Prädikate
A New Reducibility between Turing- and wtt-Reducibility
The arithmetic of cuts in models of arithmetic
Categorical abstract algebraic logic: The categorical Suszko operator
The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set
On the completeness and the decidability of strictly monadic second-order logic
A Conjecture Concerning the Spectrum of a Sentence
Uniform versions of some axioms of second order arithmetic
Cell decomposition for P -minimal fields
Extending ω-consistent sets to maximally consistent, ω-complete sets
P x δ-Generalizations of Weak Compactness
Definably extending partial orders in totally ordered structures
A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens
The Theory of Boolean Algebras With Q 0 and Quantification Over Ideals
A Height Restricted Generation of a Set of Arithmetic Functions of Order-Type ε 0
The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup
Effort Games and the Price of Myopia
Definability of Recursively Enumerable Sets in Abstract Computational Complexity Theory
Zwei Sätze Für Schwache Erhaltungsmasze
Eine Weitere Verschärfung Zum Konservativen Reduktionstyp ∀∃∀∃ ∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten
Acceptable Numerations of Function Spaces
On Martin's Axiom and Forms of Choice
Δ 1 1 -Good Inductive Definitions Over The Continuum
An Aleph Hypothesis, and its Consequences for Beths, Sums of Beths, and Infinite Products of Alephs
Algebraic Logic for Rational Pavelka Predicate Calculus
On the Axiomatizability of the Notion of an Automorphism of a Finite Order
Reducibility in Some Categories of Partial Recursive Operators
Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic
From winning strategy to Nash equilibrium
On the Iterated ω-Rule
A note on substitutions in representable cylindric algebras
Algebraic Closure without Choice
Existence of partial transposition means representability in cylindric algebras
A Löwenheim-Skolem Theorem for Inner Product Spaces
Pregeometry over locally o-minimal structures and dimension
Literal-paraconsistent and literal-paracomplete matrices
KategoriesäTze und multiples Auswahlaxiom
König's lemma, weak König's lemma, and the decidable fan theorem
Bounding 2d functions by products of 1d functions
On weakening the Deduction Theorem and strengthening Modus Ponens
A Natural Variant of Ackermann's Function
A Topological Model for Troelstra's System CS of Intuitionistic Analysis
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV
Independent Sets and Free Preprimal Algebras
Some weak forms of the Baire category theorem
The Maximal Closed Classes of Unary Functions in p -Valued Logic
Hierarchies of Partially Ordered Connectives and Quantifiers
Algebraic functions in quasiprimal algebras
The Fundamental Theorem of Ultraproduct in Pavelka's Logic
Product cones in dense pairs
Pure Logic with Branched Quantifiers
Herrn Professor Dr. sc. nat. Günter Asser zum 60. Geburtstag
On sigma-definability without equality over the real numbers
On Lifting of Ω-Operations From the Category of Sets to the Category of Enumerated Sets
The Axiom of Choice in Second-Order Predicate Logic
The classification of countable models of set theory
Recursive Solvability of Problems with Matrices
Editorial: Math. Log. Quart. 2/2008
Corrigendum to "Variation on a theme of Schütte"
Trace Expansions of Initial Segments
A Nonstandard Generalization For Perfect Maps
Russell's typicality as another randomness notion
Definability on Formulas With Single Quantifier
Tenses in Real Time
Constructing quasiminimal structures
Some transfinite natural sums
Boolean powers over incomplete boolean algebras
Some remarks on indiscernible sequences
On differential Galois groups of strongly normal extensions
On the complexity of the pancake problem
Some Boolean Algebras with Finitely Many Distinguished Ideals I