yusuke1997/dblp-id-title huggingface dataset:
Remarks on the NIP in a model
Binary Relations and Permutation Groups
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras
Intuitionistic epsilon - and tau -calculi
Arithmetical Analogues of Productive and Universal Sets
Local Density of Kleene Degrees
On a Variant of Constructivisation of the Theory of Almost Periodic Functions
Universal Classes of MV-chains with Applications to Many-valued Logics
Complexity Versus the Church-Rosser Property and Confluence
A Refinement of Low n and High n for the R.E. Degrees
A Neighbourhood Frame for T with No Equivalent Relational Frame
Computable explanations
Versions of Normality and Some Weak Forms of the Axiom of Choice
Completeness of a functional system for surjective functions
The ultra-weak Ash conjecture and some particular cases
The Elementary Classes of Direct and Boolean Products
Some connections between boolean valued analysis and topological reduction theory for C * -algebras
On proximal convergence in uniform spaces
A gap 1 cardinal transfer theorem
On Definability of Normal Subgroups of a Superstable Group
Zariski-type topology for implication algebras
The length of an intersection
Principal Congruences of Pseudocomplemented Demorgan Algebras
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
Covering Hyperspace with Hypercurves
Une Etude sur des Structures Ayant une Certaine Propriete de Seuil Pour les Automorphismes Elementaires
Über die Erfüllung gewisser Erhaltungssätze durch Kompliziertheitsmasse
On Some Complexity Characteristics of Immune Sets
Strong Cardinals can be Fully Laver Indestructible
Effective Search Problems
Reduction of second-order logic to modal logic
Preservation and Interpolation Through Binary Relations Between Theories
On Weak Operator Compactness of the Unit Ball of L ( H )
On the Incompleteness of a Descending Chain of Extensions of Implicational S5
On the Impossibility of Transformation of All True Formulas Of Markov's Language L 1 into True Formulas of His Language ℝ
A Constructive Version of the Spectral Mapping Theorem
Compactness in team semantics
Temporal Gödel-Gentzen and Girard translations
Paraconsistent double negation as a modal operator
General Type-Structures of Continuous and Countable Functionals
A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems
Contents: (Math. Log. Quart. 2/2021)
ƒ-Multipliers and the localization of hilbert algebras
On Roots of Exponential Terms
A note on stability spectrum of generic structures
The Modality of Finite (Graded Modalties VII)
A Cut-Free Calculus For Dummett's LC Quantified
h -monotonically computable real numbers
Categorical Abstract Algebraic Logic: Algebraic Semantics for (π)-Institutions
Locally modular geometries in homogeneous structures
Spaces allowing Type-2 Complexity Theory revisited
Pseudo-c-archimedean and pseudo-finite cyclically ordered groups
Extending Independent Sets to Bases and the Axiom of Choice
On n -Valued Sheffer Functions
A Forcing Approach to Strict- II 1 1 Reflection and Strict- II 1 1 = ∑ 0 1
Das Yoneda-Lemma in Der Zermelo-Fraenkelschen Mengentheorie
Universal Complete Boolean Algebras and Cardinal Collapsing
Extendability of Functions on Models of ZF Fin
Sperner spaces and first-order logic
A Strongly Complete Formalisation of a 5-Valued Propositional Calculus
On A Lattice of Relational Reducts
Preservation theorems for Kripke models
Editorial: Math. Log. Quart. 4-5/2007
The ∀ n ∃-Completeness of Zermelo-Fraenkel Set Theory
Positive set-operators of low complexity
Sémantique algébrique d'un systèmes logique basé sur un ensemble ordonné fini
Contents: (Math. Log. Quart. 2/2020)
Boolean products of R 0 -algebras
Effective Nonrecursiveness
Shoenfield is Gödel after Krivine
Corrigendum to "Unique solutions"
The Baire category of sets of access
Atoms in Modal Algebras
Numeration Models of λβ-Calculus
Construction of an Explicit Basis for Rules Admissible in Modal System S4
Topological representation of geometric theories
Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets
A Variant of the Notion of Semicreative Set
On strong forms of reflection in set theory
Hybrid Identities and Hybrid Equational Logic
Formulas of L (aa) Where aa is not in The Scope of "¬"
Much shorter proofs: A bimodal investigation
A generalization of a conservativity theorem for classical versus intuitionistic arithmetic
Superclasses in a Finite Extension of Zermelo Set Theory
Aronszajn trees, square principles, and stationary reflection
Some Properties of the Family of Expansions to Models of A
Partition Complete Boolean Algebras and Almost Compact Cardinals
Pigeonhole and Choice Principles
Polyadic MV-Algebras
On the quantifier complexity of definable canonical Henselian valuations
An extension of ono's completeness result
Variations of Rado's Lemma
Separating principles below WKL0
On Some Subsystems of Dummett's LC
On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
Chain homogeneous Souslin algebras
Computational aspects of satisfiability in probability logic
The Cichoń diagram for degrees of relative constructibility
A Notation System for Ordinal Using ψ-Functions on Inaccessible Mahlo numbers
A fixed point theory over stratified truth
Weak saturation of ideals on P κ (λ)
On p-adic semi-algebraic continuous selections
Interpolation via translations
Many symmetrically indivisible structures
The Computational Power of Mu omega
Reflection Principles in Fragments of Peano Arithmetic
Rice and Rice-Shapiro Theorems for transfinite correction grammars
Compactness under constructive scrutiny
Interpreting the weak monadic second order theory of the ordered rationals
On the Addition of Weakened L -Reduction Axioms to the Brouwer System
Investigations on Fragments of First Order Branching Temporal Logic
The power set and the set of permutations with finitely many non-fixed points of a set
There is no low maximal d. c. e. degree - Corrigendum
When series of computable functions with varying domains are computable
On Some Properties of Recursively Enumerable Equivalence Relations
The t-variable method in gentzen-style automatic theorem proving
Monadic Characterizations in Nonstandard Topology
Formal Theories are Acyclic
There is No Low Maximal D.C.E. Degree
Lambda-Calculus Models and Extensionality
Elementary Extensions of Models of the Alternative Set Theory
Proof Theories for Semilattice Logics
An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube?
On witnessed models in fuzzy logic II
Located Operators
Many-valued modal logics: Uses and predicate calculus
Computable Limits and Colimits in Categories of Partial Enumerated Sets
A characterization of retracts in certain Fraïssé limits
Entscheidungsprobleme für Autonome Mehrbandautomaten
Über ein 2-Dimensionales Thue-System mit Zwei Regeln und Unentscheidbarem Wortproblem
On Remainder Equations
Contents: (Math. Log. Quart. 6/2018)
Unavoidable sequences in constructive analysis
The first omitting cardinal for Magidority
The failure of GCH at a degree of supercompactness
The Existence of Certain Partitions on Cartesian Products
Mutual definability does not imply definitional equivalence, a simple example
Expansions of ordered fields without definable gaps
Linked Double Weak Stone Algebras
Local weak presaturation of the strongly non-stationary ideal
Normal Form of Derivations in the Nonassociative and Commutative Lambek Calculus with Product
Hyperidentities of Dyadic Algebras
Systems With Parity Quantifiers
On the category of hyper MV-algebras
Contents: (Math. Log. Quart. 2/2024)
Bounded Properties in Modal Logic
Primitive recursive real numbers
Two Impredicative Theories of Properties and Sets
Model completeness and direct power
Plain Bases for Classes of Primitive Recursive Functions
On a Theory for AC 0 and the Strength of the Induction Scheme
On Intermediate Consequence Relations
Algebraische Charakterisierungen Präprimaler Algebren
Surjectively rigid chains
Kripke-style Semantics of Orthomodular Logics
On Overspill Principles and Axiom Schemes for Bounded Formulas
On Keisler singular-like models
Cut Elimination in ε-Calculi
Ternary Operations as Primitive Notions for Plane Geometry II
Computing links and accessing arcs
Jumps of Hemimaximal Sets
Contents: (Math. Log. Quart. 4/2020)
Modal Sequents for Normal Modal Logics
Fixpoints Without the Natural Numbers
Untersuchungen über die Banach-Logik
On some questions about selective separability
On a Class of Recursively Enumerable Sets
Some Basic Results in the Theory of ω-Stable Theories
Real Closed Rings and Ordered Valuation Ring
Degrees of Souslin Trees
On Some Interpretations of Classical Logic
Polish group actions, nice topologies, and admissible sets
Generalising compactness
Relatives of the Russell Paradox
MA ( ℵ 0 ) restricted to complete Boolean algebras and choice
Entscheidbarkeit in Speziellen Uniformen Strukturen Bezüglich Sprachen Mit Mächtigkeitsquantoren
Some Results on Series of Ordinals
Contents: (Math. Log. Quart. 3/2020)
On a question of Andreas Weiermann
Weak axioms of determinacy and subsystems of analysis I: δ
Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees
Algebraic numbers with elements of small height
On hyper-torre isols
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain
Forcing operators on MTL-algebras
Expansions of Presburger arithmetic with the exchange property
Calculus of variations and descriptive set theory
The Structure of the Lattice of Recursive Sets
Bonnding and Dominating Number of Families of Functions on ω
Proximal and uniform convergence on apartness spaces
Dense codense predicates and the NTP 2
An unexpected separation result in Linearly Bounded Arithmetic
Continuous and Exact Sets of Specified Cardinality
Uniform domain representations of l p -spaces
Hilbert's tenth problem for lacunary entire functions of finite order
Calculation of an Order Type: An application of Non-Standard Methods
The Set of Better Quasi Orderings is Pi 2 1 -complete
A Note on Positive Equivalence Relations
On a Question of a. Retzlaff
Stationary Types in Moduless
A note on edge colorings and trees
Representation Theorems for Quantales
Categoricity and Non-Orthogonality of Types
Zur Robinson-Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen
A Class of Models for Skala's Set Theory
On the variety of strong subresiduated lattices
Embeddings in the Strong Reducibilities Between 1 and npm
Computable choice functions for computable linear orderings
Distributive Lattices with a Dual Endomorphism
Finite Homogeneous 3-Graphs
Generalized Prikry forcing and iteration of generic ultrapowers
Invariant Constructions of Simple and Maximal Sets
Strict Mittag-Leffler modules
Sentences with finite models
Examples of weak amalgamation classes
Provable Fixed Points
Controlling the number of normal measures at successor cardinals
Contents: (Math. Log. Quart. 1/2020)
Free-decomposability in varieties of semi-Heyting algebras
Computability Over Structures of Infinite Signature
Forcing the Least Measurable to Violate GCH
Contents: (Math. Log. Quart. 3/2022)
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
Sets Completely Creative Via Recursive Permutations
On some sets of dictionaries whose omega -powers have a given
Some Remarks on Exponential Functions in Ordered Fields
Sums of 5 or 6 Pairwise-Noncommutative Ordinals
Towards a Problem of E. van Douwen and A. Miller
Finitary Treatment of Operator Controlled Derivations
Consequences of Schanuel's Condition for Zeros of Exponential Terms
Semantic Tableaux for A Logic With Identity
Definierbare Prädikate in Booleschen Algebren I
Compact Metric Spaces and Weak Forms of the Axiom of Choice
A Criterion for Compactness in Metric Spaces?
A Note on Products and Degree of Types
Kripke submodels and universal sentences
A General Type for Storage Operators
A nullstellensatz and a positivstellensatz for ordered differential fields
Tautologies over implication with negative literals
Remarks on Self-Extending Models
Extensionality Versus Constructivity
Fuzzy natural deduction
Storage Operators and ∀-positive Types in TTR Type System
Equivalence Relations versus Unary Operations
Negation and BCK-algebras
On superstable groups with residual properties
Trees and Isols II
Characterization of ℓp-like and c 0 -like equivalence relations
Forcing for hat inductive definitions in arithmetic
Full Lambek Calculus in natural deduction
Countably categorical coloured linear orders
Large Finite Sets
The Semantic Completeness of a Global Intuitionistic Logic
The Model Companion of Stone Semilattices
Classes Closed Under Substructures and Direct Limits
The Bergman-Shelah preorder on transformation semigroups
Implications of Ramsey Choice principles in ZF $\mathsf {ZF}$
Vaught Sentences and the Covering Theorem
An Interpretation of Martin-LöF's Constructive Theory of Types in Elementary Topos Theory
Stability and General Logics
On the correspondence between arithmetic theories and propositional proof systems - a survey
Some Results Related to Patai's Theorem
A note on stationarity of types over models in simple theories
A Note an Closed Degrees of Difficulty of the Medvedev Lattice
A nonlow 2 R. E. Degree with the Extension of Embeddings Properties of a low 2 Degree
The Boolean ( k, m, p 1 , ..., p m )-Shift-Registers II (An Algebraic Approach)
Ein Rekursiv Aufzählbarer btt-Grad, der Nicht Zum Wortproblem Einer Gruppe Gehört
A constructive treatment of Urysohn's Lemma in an apartness space
On Vaught's Conjecture and finitely valued MV algebras
Decomposition into special submanifolds
Permutation Models in the Sense of Rieger-Bernays
Strongly maximal subgroups determined by elements in interstices
Maximum Schemes in Arithmetic
A Class of 'Near-Finite' Order-Types
Zum Reduktionstyp ∃ ∞ ∀∃∀ (0, 1) Und Zur Spektralen Darstellung ϱ-Stelliger Aufzählbarer und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∃ ∞ ∀∃∀ (ϱ, 1)
Remarks on The Cartesian Closure
Boolos-style proofs of limitative theorems
An Algebraic Approach to Elementary Theories Based on n -Valued Lukasiewicz Logics
Uniqueness of limit models in classes with amalgamation
A constructive semantics for non-deducibility
Two General Results on Intuitionistic Bounded Theories
Corrigendum to "Regressive isols and comparability"
Permutations and stratified formulae a preservation theorem
Continuity properties of preference relations
A note on parameter free Π 1 -induction and restricted exponentiation
Moving Intersticial Gaps
Rudin-Keisler Posets of Complete Boolean Algebras
Finiteness conditions and distributive laws for Boolean algebras
Sugihara's Criterion and Some Structural Parallels Between E → and S3 →
A Galois correspondence for countable short recursively saturated models of PA
Interdefinability of Lambekian Functors
Weak computability and representation of reals
On the strength of Ramsey's theorem without Σ 1 -induction
A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC
Reconstruction d'une S -Expansion
The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions
Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence"
A Note on Formalisation by the Method of Description of Truth-Tables
Small Universal Post Systems
Supersimple structures with a dense independent subset
Polynomial induction and length minimization in intuitionistic bounded arithmetic
Biprobability logic with conditional expectation
Über Halbordnungen von WT-Graden in e-Graden
Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String
Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃ ∞ und ∀∃ 2 ∀(∞, 1)
Maximal cofinitary groups revisited
The Elementary Theory of Interval Real Numbers
Extracting Algorithms from Intuitionistic Proofs
Remarks on Uniformly Finitely Precomplete Positive Equivalences
Common Belief with the Logic of Individual Belief
A large list of small cardinal characteristics of Boolean algebras
A note on unbounded metric temporal logic over dense time domains
The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice
An infinite natural sum
On the Universal Splitting Property
New reals: Can live with them, can live without them
A Step towards a Complexity Theory for Analog Systems
Zur Berechnung der Partiell Rekursiven Wortfunktionen Ohne Verwendung von Lesebefehlen
The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics
A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic
Plus-1 Results for E -Recursion
A Structure Theorem for Free Temporal Algebras
Die Elementare Theorie der Gruppe vom Typ p ∞ mit Untergruppen
Bounded Obstructions, Model Companions and Amalgamation Bases
Metrically Universal Generic Structures in Free Amalgamation Classes
Zur Gödelisierungsfreien Darstellung der Rekursiven und Primitiv-Rekursiven Funktionen und Rekursiv Aufzählbaren Prädikate Über Quotiententermmengen
Fuzzy Models of First Order Languages
Precovers, Modalities and Universal Closure Operators in a Topos
The Boolean Algebra of Predicates
The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation
The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames
Characterizations of the class Delta ta 2 over Euclidean spaces
Approximate Reasoning Based on Similarity
On Spector's bar recursion
Congruence properties of pseudocomplemented De Morgan algebras
Levels of Implication and Type Free Theories of Classifications with Approximation Operator
Linear extension operators for continuous functions on definable sets in the p -adic context
Algebraic Characterizations of the Satisfiability of First-Order Logical Formulas and the Halting of Programs
Infinitary S5-Epistemic Logic
Corrigendum to "Weak Arithmetics and Kripke Models"
Simplified Axiom Schemes for Implication and Iterated Implication
Classification of Boolean Algebras of Logic and Probabilities Defined on them by Classical Models
Quasilinear Posets and some Subsystems Of Dummett's LC
On violating the GCH below the least measurable cardinal
On pseudolinearity and generic pairs
A Preservation Theorem for Tense Logic
Word problems and ceers
On McBeth's Paper, "Fundamental Sequences for Initial Ordinals Smaller than a Certain θ 0 "
Special Model Axiom in Nonstandard Set Theory
On the Semantics of Comparative Logic
Forcing under Anti-Foundation Axiom: An expression of the stalks
Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely
On a Property of Matrices for Subsystems of IC +
Łoś's theorem and the axiom of choice
Cantor's Theorem and Paradoxical Classes
A New Approach to Constructive Topology and Measure Theory
Classes of One-Argument Recursive Functions
Weak-operator Continuity and the Existence Of Adjoints
Iterated Forcing without Boolean Algebras
Recursive Structures and Ershov's Hierarchy
Sheaves of structures, Heyting-valued structures, and a generalization of Łoś's theorem
Decidability and Specker sequences in intuitionistic mathematics
A transfinite hierarchy of reals
Characterizing Belnap's Logic via De Morgan's Laws
A constructive proof of the Peter-Weyl theorem
On the computational content of the Bolzano-Weierstraß Principle
Einige Bemerkungen Zur Peano-Arithmetik
Contents: (Math. Log. Quart. 1/2024)
Game representations of classes of piecewise definable functions
Strong Completeness of a Pure Free Logic
The Standardization Theorem for λ-Calculus
The Rank Function and Hilbert'S Second ϵ-Theorem
Finitely generated submodels of an uncountably categorical homogeneous structure
Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
Bounded distributive lattices with strict implication
Boolean Algebras in AST
Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1)
Untersuchungen zu Schwachen Logiken der Zweiten Stufe
Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls
Sequential topological conditions in in the absence of the axiom of choice
Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic
Effective aspects of Jacobson radicals of rings
Modal Aggregation and the Theory of Paraconsistent Filters
A Model Theoretic Property of Sharply Bounded Formulae, with some Applications
A Quantifier for Isomorphisms
On contraction and the modal fragment
Generalization of a Result of Pahi's
On Nonstructure of Elementary Submodels of an Unsuperstable Homogeneous Structure
Degrees of categoricity of trees and the isomorphism problem
Infinitary logic and topological homeomorphisms
Principal Congruences of Demi-Pseudocomplemented Ockham Algebras and Applications
Largest fixed points of set continuous operators and Boffa's Anti-Foundation
Kolmogorov Complexity and Noncomputability
An effectively closed set with no join property
Forcing with the Anti-Foundation axiom
Premiss tree proofs and logic of contradiction
Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras
Decidability for Z 2 G -lattices when G Extends the Noncyclic Group of Order 4
A model of intuitionistic analysis in which ⌀-definable discrete sets are subcountable
Some applications of propositional logic to cellular automata
Eastern Model-Theory for Boolean-Valued Theories
Generalised Functional Completeness of Sets of M -Valued Sheffer Functions
Konstruktive Darstellungen in Topologischen Räumen mit Rekursiver Basis
Upward Morley's theorem downward
Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies
Geometric Intuition and Elementary Constructive Analysis
The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
Proof interpretations with truth
Applications of the ergodic iteration theorem
The Complete Extensions of the Monadic Second Order Theory of Countable Ordinals
Almost everywhere domination and superhighness
A note on dual-intuitionistic logic
Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin no. 24
Ein neuer Beweis und eine Verschärfung für den Reduktionstyp ∀∃∀∞(0, 1) mit einer Anwendung auf die spektrale Darstellung von Prädikaten
Universal and complete sets in martingale theory
Boundedness Properties of Cardinals
Polish globalization of Polish group partial actions
The Theorem of the Means for Cardinal and Ordinal Numbers
Cell decomposition and definable functions for weak p -adic structures
On the Structure of Kripke Models of Heyting Arithmetic
Calculus on strong partition cardinals
Constants in Kripke Models for Intuitionistic Logic
Three-space type Hahn-Banach properties
Pseudo definably connected definable sets
The grounded Martin's axiom
The union axiom in zermelo set theory
Commutative rings whose ideals form an MV-algebra
Partition Relations for Strongly Normal Ideals on P kappa (lambda)
Cluster expansion and the boxdot conjecture
Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence
Witnessing Numbers of Shelah Cardinals
Equality in
Omitting types algebraically and more about amalgamation for modal cylindric algebras
Comparing type theory and set theory
Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets
Hyperdoctrines, Natural Deduction and the Beck Condition
Sentences Preserved between Equivalent Topological Bases
End Extensions Which are Models of a Given Theory
A construction of real closed fields
K -generic Projective Planes have Morley Rank Two or Infinity
Contents: (Math. Log. Quart. 3/2019)
Pathological examples of structures with o-minimal open core
Local Ramsey theory: an abstract approach