yusuke1997/dblp-id-title huggingface dataset:
A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic
Short refutations for an equivalence-chain principle for constant-depth formulas
Apartness, Topology, and Uniformity: a Constructive View
Bounded finite set theory
Embedding Properties of Total Recursive Functions
Mutual Transformability of Formulas of the Languages of Markov L ω n and &equation Image; n 1
Sequential Continuity of Functions in Constructive Analysis
Some More Remarks on Expandability of Initial Segments
Nullstellensätze - A Model Theoretic Framework
Minimal Axioms for Peirce's Triadic Logic
Comparing First Order Theories of Modules over Group Rings
More on induction in the language with a satisfaction class
The persistence principle over weak interpretability logic
Relative Consistency of a Set Theory with Hyperclasses
Bisimulations between generalized Veltman models and Veltman models
Some System of Predicate Tense Logic
An Effective Conservation Result for Nonstandard Arithmetic
(Title in Russian)
On the Number of Solovay r-Degrees
On the axiom of extensionality in the positive set theory
Intrinsically II 1 1 Relations
Transfinite Recursion in a Theory of Properties
Elimination Theorems of Uniqueness Conditions
Universal Functions in Partial Structures
Letter from the outgoing Managing Editor/Letter from the new Managing Editor
Forcing a set model of Z3 + Harrington's Principle
Ideals of Generalized Finite Sets in Lattices of α-Recursively Enumerable Sets
Gentzen Games
Conserving involution in residuated structures
Elimination of Cardinality Quantifiers
Reducing the consistency strength of an indestructibility theorem
A note on the first incompleteness theorem
A secondary semantics for Second Order Intuitionistic Propositional Logic
The strong reflecting property and Harrington's Principle
Notes on Formal Theories of Truth
Multi-term pi-institutions and their equivalence
A Three-Valued Model for Set Theory
Remarks on infinite factorials and cardinal subtraction in ZF $\mathsf{ZF}$
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics
Extensionality in Zermelo-Fraenkel Set Theory
Canonical Finite Diagrams and Quantifier Elimination
Some forms of excluded middle for linear orders
A Theory of Operations on the Universe II. Infinitary Operations
On the Theory of exponential Fields
Infinite Wordle and the mastermind numbers
On weak square, approachability, the tree property, and failures of SCH in a choiceless context
Contents: (Math. Log. Quart. 12/2019)
Measurability and the baire property at higher levels
How many normal measures can Alef
Zum Isomorphieproblem der Booleschen Algebren
Effective Borel degrees of some topological functions
Non standard Analysis in WKL 0
Recursiveness of ω-Operations
Comparing First Order Theories of Modules over Group Rings II: Decidability
The Classical Propositional Calculus of Arguments
Generalised pseudointersections
Restorations of punctured languages and similarity of languages
Some Remarks on Heyting Matrices
Reduktionstyp und Spektrale Darstellung Mit Dem Präfix
Prediction in Branching Time Logic
Jump inversions of algebraic structures and Σ-definability
On the effective ω-rule
Asymptotic density and the Ershov hierarchy
On Theories Having Three Countable Models
Failures of GCH and the level by level equivalence between strong compactness and supercompactness
Choice principles in local mantles
Diagonal Methods in the Theory of Isols
Algorithmic randomness over general spaces
On the standard-model hypothesis of ZF
Some Aspects of n -Subtlety
Theorie der Numerierungen II
All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables
Fragments of Martin's Maximum in generic extensions
The Modal Theory of Pure Identity and Some Related Decision Problems
A definable nonstandard enlargement
Kolmogorov complexity and set theoretical representations of integers
On A Reconstruction of Models in Models with Only One Binary Relation: A Correction
Representation of Nonstandard Hulls in IST for Certain Uniform Spaces
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas
On long increasing chains modulo flat ideals
Modal Logics in the Theory of Information Systems
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
Normal derivability in modal logic
Completeness and interpolation of almost-everywhere quantification over finitely additive measures
Inner mantles and iterated HOD
Derived Sequences and Reverse Mathematics
A Cardinal Pattern Inspired by AD
Some Aspects and Examples of Infinity Notions
Arbitrary Truth-Value Functions and Natural Deduction
On a classification of theories without the independence property
The Maximality of Cartesian Categories
On witnessed models in fuzzy logic
On Some Problems Related to Enumerated Types of Algebras
The model theory of m -ordered differential fields
On linear Brouwerian logics
On BI-Immune Isols
Some Remarks on a Theorem of Iraj Kalantari Concerning convexity and Recursion Theory
Hilbert's 17th Problem for Real Closed Rings
Coding with canonical functions
Konstruktive Darstellungen Reeller Zahlen und Folgen
Truth in All of Certain Well-Founded Countable Models Arising in Set Theory II
Much Shorter Proofs
On some categories of partial enumerated sets
Some recent developments on Shannon's General Purpose Analog Computer
Some Results and Problems in The Modal Set Theory MST
La connaissance commune en logique modale
The Modal Logic of Consistency Assertions of Peano Arithmetic
Categorical abstract algebraic logic: Gentzen pi -institutions and the deduction-detachment property
Automorphisms of the Lattice of Recursively Enumerable Vector Spaces
Arithmetical Identities in a 2-element Model of Tarski's System
Conservative Extension in Relevant Arithmetic
Normal forms, linearity, and prime algebraicity over nonflat domains
Translations of Logical Formulas and the Equiconsistency Problem
Locally p-ℵ 0 -Categorical Theories
Rosser Orderings in Bimodal Logics
Generic at
Weak Borel chromatic numbers
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
Covariant Hom-Functors on the Category of Enumerated Sets
Topological Framework for Non-Priority
Nonstandard characterisations of tensor products and monads in the theory of ultrafilters
Baire category and nowhere differentiability for feasible real functions
Borel complexity and Ramsey largeness of sets of oracles separating complexity classes
Models of VTC 0 $\mathsf {VTC^0}$ as exponential integer parts
Pairings on Lambda Algebras
Extending Partial Orders on o-Minimal Structures to Definable Total Orders
Many-Valued Modal Propositional Calculi
Completeness Results for Lambek Syntactic Calculus
Chains in Boolean Semigroup Algebras
The logic Ł •
Recursion on Homogeneous Trees
On the bounded quasi-degrees of c.e. sets
Preface: MLQ - Math. Log. Quart. Supplement 1/2002
Towards a Ryll-Nardzewski-type theorem for weakly oligomorphic structures
An ordered set of arithmetic functions representing the least ε-number
Decomposable Isols and Their Degrees
Characterizing Second Order Logic with First Order Quantifiers
Some Boolean algebras with finitely many distinguished ideals II
Sur la détermination d'une relation binaire à partir d'informations locales
A Theory of Operations on the Universe I. The Theory of Iteration and F -Ordinals
Real numbers and other completions
The Isolated D. R. E. Degrees are Dense in the R. E. Degrees
There Can Be a Permutation Which Is Not The Product of Two Reflections
Minimal extensions of Pi 0 1 classes
A set of axioms for nonstandard extensions
Decidability with Respect to Härtig Quantifier and Rescher Quantifier
A Descending Chain of Incomplete Extensions of Implicational S 5
Reflection of Long Game Formulas
A note on the non-forking-instances topology
Quadrilaterizing an Orthogonal Polygon in Parallel
The tree property and the continuum function below
Formal continuity implies uniform continuity near compact images on metric spaces
Cofinal elementary extensions
Measurable cardinals and good -wellorderings
A weak theory of building blocks
Metric spaces and the axiom of choice
A Modeltheoretic Solution to a Problem of Tarski
Archimedean classes in integral commutative residuated chains
Post Completeness and Free Algebras
Consistency in Categorical Languages for Algebras
The wi-club filter on kappa lambda
Étude constructive de problèmes de topologie pour les réels irrationnels
Zur Modelltheorie Lokaler und Globaler Körper
On the Definition of Computable Function of a Real Variable
Corrections to "preservation and interpolation through binary relations between theories"
Duality for Compact Logics and Substitution in Abstract Model Theory
On a Remark by Sageev
Polynomials in a Single Ordinal Variable
Elementary Formal Systems for Hyperarithmetical Relations
Quantified Modal Logic with Neighborhood Semantics
The Analytic Polynomial Time Hierarchy
Predicate Modal Logics Do Not Mix Very Well
Formalisations of Many-Valued Propositional Calculi with Variable Functors
Iteration on notation and unary functions
On the Proof Method for Constructive Falsity
Piece selection and cardinal arithmetic
A Proof of the Normal Form Theorem for the Closed Terms of Girard's System F by Means of Computability
On vector spaces over specific fields without choice
Die endlichen, Subdirekt Irreduziblen Elemente der VarietäT der BeschräNkten kommutativen BCK-Algebren
On cardinal characteristics of Yorioka ideals
Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
On the universality of the nonstationary ideal
Disjoint Unions of Topological Spaces and Choice
Transfinite Induction on Ordinal Configurations
Admissible representations for probability measures
Applications of Many-Sorted Robinson Consistency Theorem
Local Computation in Linear Logic
Bestimmung der Ordnung Maximaler Klassen von Funktionen der k -Wertigen Logik
Abelian groups and quadratic residues in weak arithmetic
Factors of Functions, AC and Recursive Analogues
Truth in all of certain well-founded countable models arising in set theory
Negative Results on the Reduction of the Recursion Scheme
Incomparable V γ $V_\gamma$ -degrees
Completeness of the Infinitary Polyadic Axiomatization
A Partial Model of NF with ZF
Building prime models in fully good abstract elementary classes
Cut Elimination in a Gentzen-Style ϵ-Calculus Without Identity
On Computability Theoretic Properties of Structures and Their Cartesian Products
Completeness Theorems for Temporal Logics T Ω and □T Ω
Negation-Free Modal Logics
A constructive version of Sperner's lemma and Brouwer's fixed point theorem
Restriction Respectueuse et Reconstruction des chaines et des Relations Infinites
Index sets for omega-languages
On the Shadows of Ideals
Two cardinals models with gap one revisited
Some basic thoughts on the cofinalities of Chang structures with an application to forcing
Universal First-Order Definability in Modal Logic
Some nonstandard methods applied to distributive lattices
Bases of Supermaximal Subspaces and Steinitz Systems II
Constructive Well-Orderings
Zur Benutzung der Verkettung als Basis für die Arithmetik
Semantic Completeness of Free-Variable Theories
Update Procedures and the 1-Consistency of Arithmetic
Beschränkte und Unbeschränkte Reduktion von Konjunktionen von Modalitäten in S4
A General Theorem on Existence Theorems
Fundamental Sequences for Exponential Polynomials
Representations of MV-algebras by sheaves
The Friedman-Translation for Martin-Löf's Type Theory
Difference Sets and Recursion Theory
A Linear Parsing Algorithm For Parenthesis Terms
Strongly Amorphous Sets and Dual Dedekind Infinity
The number of {□, →}-logics
Fuzzy topology representation for MV-algebras
Undecidability Of Some Domino Connectability Problems
Computing the topological entropy of shifts
A Generalisation of Slupecki's Criterion for Functional Completeness
Tameness of definably complete locally o-minimal structures and definable bounded multiplication
Erkennungs-, Masz- Und Informationstheoretische Eigenschaften Regulärer Folgenmengen
On effective σ-boundedness and σ-compactness
Berechenbare Reelle Funktionenfolgen
Rekursive Folgenmengen I
Binary Relations Over the Category of Enumerated Sets
Feasible Graphs and Colorings
Heyting Algebras with Operators
An extension of Chaitin's halting probability Omega to a measurement operator in an infinite dimensional quantum system
Erratum to J. M. Font, The simplest protoalgebraic logic
P != NP for all infinite Boolean algebras
Conuclear images of substructural logics
Reverse Mathematics and Ordinal Multiplication
Deduction Theorem for Many-Valued Inference
Classical truth in higher types
A Gödel Theorem on Network Complexity Lower Bounds
A Hierarchy of Models for Skala's Set Theory
On a Duality Between Boolean Valued Analysis and Topological Reduction Theory
Logics Projectively Generated from [ℳ] = (ℱ 4 , [{1}]) by a Set of Homomorphisms
Tychonoff products of compact spaces in ZF and closed ultrafilters
Answer to a Question Suggested by Schumm
A notion of selective ultrafilter corresponding to topological Ramsey spaces
Homogeneous 1-based structures and interpretability in random structures
Uniform bounds on growth in o-minimal structures
Ein Standardmodell Für Skalas Mengenlehre
Universal Induction and True Universal Arithmetic
On Pseudo - N 0 -Categorical Theories
On Definitions in an Infinitary Language
Regular ideals and Boolean Pairs
Expansions of the p-adic numbers that interpret the ring of integers
Alternative Characterizations of Precomplete Numerations
Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren
Approaches to Effective Semi-Continuity of Real Functions
Models of PA: when two elements are necessarily order automorphic
Some Decision Problems in the Theory of Syntactic Categories
Two-cardinal diamond star
Bases, spanning sets, and the axiom of choice
The Nonexistence of a Binary Homogeneous Pseudoplane
Note on Structural Logics
Definability of Geometric Properties in Algebraically Closed Fields
On P Versus NP for Parameter-Free Programs Over Algebraic Structures
Lazy bases: a minimalist constructive theory of Noetherian rings
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
Structured Nonstandard Dynamic Logic
Some Remarks on Normal Measures and Measurable Cardinals
On n -dependent groups and fields
Monadic dynamic algebras
Algebraic Analysis of The Term Logic with Choice Operator
The Model Completion of the Theory of All Partially Ordered Sets
Scompleteness of Sets of Three-Valued Sheffer Function
A Note on Universal Classes with Applications to the Theory of Graphs
On Some σ-Algebras Containing the Projective Sets I
The minimal complementation property above 0'
On the Typed Properties in Quine's "New Foundations"
Arithmetical definability over finite structures
Les Tournois (-1)-Chaîne
Finite Replacement and Finite Hilbert-Style Axiomatizability
Other Proofs of Old Results
There are no very meager sets in the model in which both the Borel Conjecture and the dual Borel Conjecture are true
First-order undefinability of the notion of transfinitely uplifting cardinals
Dependent Choices and Anti-Foundation
On the complexity of finding paths in a two-dimensional domain I: Shortest paths
The first measurable cardinal can be the first uncountable regular cardinal at any successor height
Ramsey for R1 ultrafilter mappings and their Dedekind cuts
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey
Embedding Properties and Anti-Foundation in Set Theory
On the Order Structure of the Hyperreal Line
Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
On the Inadequacy of the Relational Semantic for the "Until" Operator
A nonstandard proof of a lemma from constructive measure theory
Formal model theory and higher topology
Strengths and Weaknesses of LH Arithmetic
Weakly associative relation algebras with projections
Measure Independent Gödel Speed-Ups and the Relative Difculty of Recognizing Sets
A note on the compactness theorem
Partially Ordered Connectives
On the o-Category of Finite Chains
Determinacy of Wadge classes and subsystems of second order arithmetic
Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second-Order Logic
Ein Kriterium für die Konstruktive Lösbarkeit der Differentialgleichung y ' = f ( x, y )
The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets is ∑ 5 -Complete
Generating ultrafilters in a reasonable way
The Isomorphism Problem of Superatomic Boolean Algebras
Fixed points and diagonal method
Ordered Fields with Several exponential Functions
An alternative concept of the universal decision element in m -valued logic
Counting as integration in feasible analysis
Reducibility Relationships Between Decision Problems for System Functions
On Binary Computation Structures
Attainment of Tightness in Boolean Spaces
Quasi-Stone Algebras
How to Eliminate Quantifiers in the Elementary Theory of p -Rings
Contents: (Math. Log. Quart. 3/2021)
On n -contractive fuzzy logics
On the dependent product in toposes
Fraenkel-Carnap properties
On two questions about feasibly constructive arithmetic
Sequential topologies and Dedekind finite sets
Some remarks on ω-powers of enumerated sets and their applications to ω-operations
Dialectica interpretation of well-founded induction
Products of Compact Spaces and the Axiom of Choice
Compactness, the LöWenheim-Skolem Property and the Direct Product of Lattices of Truth Values
On n -Place Strictly Monotonic Functions
The Computation of Partial Recursive Word-Functions Without Read Instructions
When is a real generic over L?
Isolation and the Jump Operator
Affine Ebenen mit OrthogonalitäTsrelation
A Note on Parallelism in Affine Geometry
New combinatorial principle on singular cardinals and normal ideals
Eine Bemerkung Zur Spektralen Darstellung Von ϱ-Stelligen Aufzählbaren Und Koaufzählbaren Prädikaten Durch Ausdrücke Aus ∃ ∞ ∀ ϵ ∃(ϱ, 1) ∀ ∞ ∃(ϱ, 1) Und ∀ ∞ ∃(∞, 1)
A note concerning the V* relation on Λ r
Injective tests of low complexity in the plane
Untersuchungen zur Theorie der linearen Ordnung in Logiken mit MäChtigkeitsquantoren
A simple construction of representable relation algebras with non-representable completions
The Completeness of Presupposition-Free Tense Logic
Indexmengen und Erkennung Rekursiver Funktionen
Coding of real-valued continuous functions under WKL $\mathsf {WKL}$
Tree-Properties for Ordered Sets
Weak Covering at Large Cardinals
Convergence Laws for Very Sparse Random Structures with Generalized Quantifiers
Another Constructive Axiomatization of Euclidean Planes
Hall's universal group has ample generic automorphisms
On splitting trees
Polyadic and cylindric algebras of sentences
Hierarchies of Delta 0 2 -measurable k -partitions
The Suszko operator relative to truth-equational logics
Confined modified realizability
Unbounded actions of metric groups and continuous logic
Index sets for computable differential equations
Fuzzy closure systems on L - ordered sets
On the linear Lindenbaum algebra of Basic Propositional Logic
Linear extensions of partial orders and reverse mathematics
Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse
More on the Least Strongly Compact Cardinal
Special subsets of the generalized Cantor space and generalized Baire space
Completeness of intermediate logics with doubly negated axioms
Elementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory
Decidable Model Companions
Completeness, Compactness, Effective Dimensions
Normal Domain Representations of Topological Spaces
Tall cardinals
Algebraic Semantics for Modal Predicate Logic
On b Q 1 $bQ_1$ -degrees of c.e. sets
A characterization of complexity sequences
On the Expressive Power of Equality-Free First Order Languages
A spatial modal logic with a location interpretation
Relations between cardinalities of the finite sequences and the finite subsets of a set
Some Weak Forms of the Axiom of Choice Restricted to the Real Line
Geometric properties of semilinear and semibounded sets
The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
The simplest protoalgebraic logic
Compactness in Countable Tychonoff Products and Choice
Ordinal arithmetic with simultaneously defined theta-functions
A note on ordinal exponentiation and derivatives of normal functions
Minimality conditions on circularly ordered structures
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
The Inequivalence of Two Well-Known Notions of Randomness for Binary Sequences
A Generalization of a Theorem of H. Friedman
Which subsets of an infinite random graph look random?
Editorial: MLQ - Math. Log. Quart. 1/2006
On the (semi)lattices induced by continuous reducibilities
Strict Implication in A Sequence of Extensions of S4
On a logic of involutive quantales
Degrees of analytic Sets
Generic separations and leaf languages
On Special Implicative Filters
Zerlegung mit Vergleichsbedingungen Einer Gödelnumerierung
On models of exponentiation. Identities in the HSI-algebra of posets
Zur Reduktionstheorie des Entscheidungsproblems
On Partial Classes Containing All Monotone and Zero-Preserving Total Boolean Functions
Herbrandizing search problems in Bounded Arithmetic
Arithmetische und Bairesche Operatoren
Some extensions of built-upness on systems of fundamental sequences
Understanding preservation theorems, II
Preservation theorems in linear continuous logic
Strongly NIP almost real closed fields
On monotone hull operations
Fregean Extensions of First-Order Theories
Recursively Enumerable L -Sets
On Preservation of Stability for Finite Extensions of Abelian Groups
The First-Order Theory of the c -Degrees With the #-Operation
L p -Computability
Automorphisms of Medial Fields
Implication and Iterated Implication
On the Additive Group Structure of the Nonstandard Models of the Theory of Integers
Arrow's Theorem, Weglorz' Models and the Axiom of Choice
On Intervals in Relational Structures
A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus
On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
Contents: (Math. Log. Quart. 4/2021)
Some Decidability Results for ℤ[ G ]-Modules when G is Cyclic of Squarefree Order
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
Weakly representable atom structures that are not strongly representable, with an application to first order logic
Metrisch-Euklidische RäUme beliebiger Dimension im Aufbau der Geometrie aus dem Spiegelungsbegriff
A Nonstandard Approach to Pseudotopological Compactifications
Light monotone Dialectica methods for proof mining
Registermaschinen üBER Quotiententermmengen
Eine Logik Erster Stufe mit Einem Infinitären Zeitoperator
Partial n 1- homogeneity of the countable saturated model of an n 1 -categorical theory
The cofinality of the strong measure zero ideal for κ inaccessible
Combinatorial Criteria for Ramifiable Ordered Sets
Nondeterministic Ω-Computations and the Analytical Hierarchy
ON THE EXPRESSIVE POWER OF THE LOGICS L (Q α n1 , ..., n m )
Nonstandard analysis of global attractors
Adjoining Almost Disjoint Permutations
A Game-Theoretic Proof of analytic Ramsey Theorem
A Predicative Approach to Nonstandard Mathematics
On Pairs and Tuples
What is a Classical Connective?
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property
G delta -pieces of canonical partitions of G -spaces
A partition property of a mixed type for P kappa (lambda)
Bishop's Lemma
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
Intuitionistic notions of boundedness in N
Ein Rekursiv Definiertes Geordnetes Paar
Relatively Recursively Enumerable Versus Relatively Sigma 1 in Models of Peano Arithmetic
Elimination of Quantifiers on Łukasiewicz Logics
Elimination of Quantifiers over Vectors in Some Theories of Vector Spaces
Precipitousness of a Sum of Ideals on Complete Boolean Algebras