yusuke1997/dblp-id-title huggingface dataset:
Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology
An Order-Theoretic Characterization of the Schütte-Veblen-Hierarchy
Substructure lattices and almost minimal end extensions of models of Peano arithmetic
Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces
Iterating the Superjump Along Definable Prewellorderings
Soft ordered semigroups
On the strength of marriage theorems and uniformity
Corrigendum to F. Point, Existentially closed ordered difference fields and rings
A Completeness Result for Fixed-Point Algebras
Equivalence of some Hierarchies of Primitive Recursive Functions
Countably Categorical Structures with n -Degenerate Algebraic Closure
Exact calculation of inverse functions
On a Conjecture of Kleene and Post
Intrinsic Reducibilities
On Löb algebras
A Remark on M. K. Rennie's Paper "Models for Multiply Modal Systems"
Indestructible strong compactness and level by level inequivalence
Some EC ∑ Classes of Rings
An Extension Principle for Fuzzy Logics
The permutations with n non-fixed points and the subsets with n elements of a set
Capturing Relativized Complexity Classes without Order
On The Imaginary Logic of N. A. VASILIEV
On Shattering, Splitting and Reaping Partitions
The covering number and the uniformity of the ideal I f
Quasi-completeness and functions without fixed-points
The space of minimal structures
Homogeneous Universal Models of Universal Theories
Weakly binary expansions of dense meet-trees
Combinatorial Isols and the Arithmetic of Dekker Semirings
Bounded Namba forcing axiom may fail
On a positive set theory with inequality
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers
The Henkin Quantifier and Real Closed Fields
A Formalisation of the Integers in a Multi-Successor Arithmetic
Stetigkeitseigenschaften Berechenbarer Funktionale
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces
On the uniqueness property of forking in abstract elementary classes
On the Number of Elementary Submodels of an Unsuperstable Homogeneous Structure
Some Results in Aczel-Feferman Logic and Set Theory
Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten
Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences
Concerning Completeness and Abelian Semigroups
Computable Real-Valued Functions on Recursive Open and Closed Subsets of Euclidean Space
Computable symbolic dynamics
Hilbert's ϵ-Operator in Intuitionistic Type Theories
Complexity and expressive power of second-order extended Horn logic
Corrigendum to "Kripke-style semantics for many-valued logics"
On deciding the non-emptiness of 2SAT polytopes with respect to First Order Queries
Locally Orderable Structures
Shelah's strong covering property and CH in V [ r ]
Collapsing functions
Variations on A System Of Gentzen
Some Propositional Calculi with Constant and Variable Functors
Specker sequences revisited
A Simplified Proof of the 0-1 Law for Existential Second-Order Ackermann Sentences
Syllogistics of Some Theories
Multiple Forms of Gentzen's Rules and Some Intermediate Logics
Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
Sequenzenschliessen in Der Algebraischen Attributenlogik
Weak Hausdorff Gaps and the p≤t Problem
The Equivalence of Unidirectional Lambek Categorial Grammars and Context-Free Grammars
On the extender algebra being complete
Cut Elimination for Propositional Dynamic Logic without
Some properties of infinite factorials
Filterkonvergenz in der Nichtstandard-Analysis bei Nichtelementaren Funktionen
A Note on a Theorem of H. FRIEDMAN
Winning strategies in club games and their applications
On Genericity and Ershov's Hierarchy
Gödel's Second Incompleteness Theorem for General Recursive Arithmetic
The weak pigeonhole principle for function classes in S 1 2
The axiom of determinacy implies dependent choice in mice
Two remarks on elementary theories of groups obtained by free constructions
Topologische Maximalprinzipien
Effectivity in Spaces with Admissible Multirepresentations
Logics Which Are Characterized by Subresiduated Lattices
Basic Propositional Calculus I
Some Special Pairs Of Σ 2 e-Degrees
Substandard models of finite set theory
A Note on Two-Cardinal Models
On the strength of a weak variant of the axiom of counting
On Solvable Congruences in Finitely Decidable Varieties
On the absoluteness of types in boolean valued lattices
A game-theoretic proof of Shelah's theorem on labeled trees
Elementary explicit types and polynomial time operations
An Ehrenfeucht-Fraïssé class game
A Completeness Theorem for Correlation Lattices
Choiceless large cardinals and set-theoretic potentialism
Kolmogorov complexity and characteristic constants of formal theories of arithmetic
Weak forms of elimination of imaginaries
Algebraic Analysis of the Topological Logic L(I)
A Logic For Distributed Processes
Semigroups with apartness
An Addition to "Cut Elimination in ϵ-Calculi"
How much sweetness is there in the universe?
When cardinals determine the power set: inner models and Härtig quantifier logic
Remarks on nonmeasurable unions of big point families
A discrete representation of free MV-algebras
A parametrised choice principle and Martin's conjecture on Blackwell determinacy
Generic cuts in models of arithmetic
Compactness Without Languages
Eine Klassifizierung endlich erzeugbarer Gruppen durch formale Sprachen
Yosida Type Representation for Perfect MV-Algebras
Long Borel hierarchies
Combinatory Reductions and Lambda Reductions Compared
On extensions of supercompactness
Eine syntaktisch-algebraische Methode zur Konstruktion von Modellen
On Non-Determined Ehrenfeucht-FRAïSSé Games and unstable Theories
A splitting theorem for the Medvedev and Muchnik lattices
Approximation representations for reals and their wtt-degrees
Extreme Choices on Complete Lexicographic Orders
A variant of Shelah's characterization of Strong Chang's Conjecture
Oracle-Constructions to Prove All Possible Relationships Between Relativizations of P, NP, EL, NEL, EP and NEP
Note on Quantifier Prefixes Over Diophantine Equations
A Splitting with Infimum in the d-c. e. Degrees
A Consistent Higher-Order Theory Without a (Higher-Order) Model
The choice property in tame expansions of o-minimal structures
An intuitionistic formula hierarchy based on high-school identities
Gamma 0 May Be Minimal Subrecursively Inaccessible
Supplements to "A Predicative Approach to Nonstandard Mathematics"
The hilbert type axiomatization of some three-valued propositional logic
Contents: (Math. Log. Quart. 2/2022)
On A Theory of Classes
New Proofs of Some Intuitionistic Principles
Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension
Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor
On the Topological Size of Sets of Random Strings
Algebraic Characterizations for Universal Fragments of Logic
A Direct Proof of a Result of Shelah
Some Elementary Results About the Equivalence of Computability and Decidability
Interpolation and Approximate Semantic Derivations
The Existence of Level Sets in a Free Group Implies the Axiom of Choice
Destructibility of stationary subsets of P kappa lambda
Every Rooted Narrow Tree Kripke Model of HA is Locally PA
Bounded Immunity and Btt-Reductions
Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors
Ultrafilter extensions do not preserve elementary equivalence
A Concrete Representation Theorem for Intervals of Multirelations
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
A solution to identities problem in 2-element HSI-algebras
Recursion in Partial Type-1 Objects With Well-Behaved Oracles
Martin's Axiom and the Dual Distributivity Number
Finitary Algebraic Logic II
A quick axiomatisation of LTL with past
Zur Wellengleichung mit konstruktiven Randbedingungen
A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic
Independence results for weak systems of intuitionistic arithmetic
Mathias and set theory
A p-adic probability logic
Extremal numberings and fixed point theorems
Polygones
On witnessed models in fuzzy logic III - witnessed Gödel logics
Intrinsically Hyperarithmetical Sets
Stable theories and representation over sets
Analytic Completeness Theorem for Singular Biprobability Models
Note on algebraic models for relevance logic
Non-saturation of the non-stationary ideal on P κ (λ) with λ of countable cofinality
The Recursively Saturated Part of Models of Peano Arithmetic
A note on stable sets, groups, and theories with NIP
Omega- and Beta-Models of Alternative Set Theory
Feasible Operations and Applicative Theories Based on lambda-eta
Spatiality and classical logic
Cardinal characteristics and countable Borel equivalence relations
Dimension Versus Number of Variables, and Connectivity, too
On the effective universality of mereological theories
The Continuous Realizability of Entailment
Indestructibility, HOD, and the Ground Axiom
Craig interpolation for semilinear substructural logics
The Banach-Steinhaus theorem for the space D(R) in constructive analysis
First order theory for literal-paraconsistent and literal-paracomplete matrices
Some subrecursive versions of Grzegorczyk's Uniformity Theorem
Some variations of the Hardy hierarchy
Recursively Enumerable Images of Arithmetic Sets
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
On some peculiar aspects of the constructive theory of point-free spaces
A note on a forcing related to the S-space problem in the extension with a coherent Suslin tree
Incompleteness and Fixed Points
Removing Laver functions from supercompactness arguments
Positive Frege and its Scott-style semantics
A short proof of a well-known theorem of intuitionistic analysis
On the Completeness of Chronological Logics with Modal Operators
Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability
A Constructive Look at Generalised Cauchy Reals
The Preservation of submodel Relation by Taking Primitive Models
The strong partition relation on omega 1 revisited
Indexmengen Rekursiver Reeller Zahlen
Barwise Completeness Theorems for Some Biprobability Logics
A note on sequences witnessing singularity, following Magidor and Sinapova
F-products and nonstandard hulls for semigroups
Separation Properties of Ideals Over ω
Logics of Complementarity in Information Systems
Post's Problem for Reducibilities of Bounded Complexity
Some Reflections on the Foundations of Ordinary Recursion Theory and a New Proposal
Atomic saturation of reduced powers
A localic theory of lower and upper integrals
On Σ11-complete equivalence relations on the generalized Baire space
Arithmetic of divisibility in finite models
Corrigendum to "Generalized periodicity and primitivity for words"
Sets derived by deterministic systems with axiom
A property of forcing notions and preservation of cardinal invariants
Spectra and halting problems
Masstheoretische Ergebnisse für WT-Grade
Günter Asser (1926-2015)
The Prime Spectrum of an MV-Algebra
Model Companions with Finitely Many Countable Models
A Generalization of Lindenbaum's Theorem for Predicate Calculi
Closure Algebras and Boolean Algebras
Non-effective Quantifier Elimination
Reduzierbarkeit von Berechenbaren Numerierungen von P 1
On the generator problem
Proofs with monotone cuts
Minimal systems
On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice
An Application of Non-Wellfounded Sets to the Foundations of Geometry
Typical Ambiguity and Elementary Equivalence
Der Satz von Dilworth und Souslin's Hypothese
Totally non-immune sets
On the Definition of Ordered n -Tuples
Non-isolated quasi-degrees
On semilattice relevant logics
Vollständige Mengen von Algebren
On the Cauchy completeness of the constructive Cauchy reals
A Note on Transitive Equivalence
A Definitive Constructive Open Mapping Theorem?
Some Model-Theoretic Results for the Relevant Logic with Quantification
The Robinson property and amalgamations of higher arities
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren
The Relation Reflection Scheme
Computable operators on regular sets
A Formalisation of an M -Valued Propositional Calculus with Variable Functors
A P-Completeness Result for Visibility Graphs of Simple Polygons
The cofinality of the least Berkeley cardinal and the extent of dependent choice
Some New Lattice Constructions in High R. E. Degrees
A Logic of Knowledge
Modal logics with n -ary connectives
A Note on the Definition of Identity in Quine's New Foundations
Cut-conditions on sets of multiple-alternative inferences
Filterkonvergenz in der Nichtstandard-Analysis
Computability of solutions of operator equations
Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
Coding into HOD via normal measures with some applications
The finite subsets and the permutations with finitely many non-fixed points of a set
A Brief Survey of Frames for the Lambek Calculus
Nonstandard methods for finite structures
Relativized Cylindrification
Eine Bemerkung Zum Reduktionstyp ∀ 3 ∃(0, 1)
Maximality of linear continuous logic
A Note on Connected Coverings of the Plane
Correction to "Strong Reducibilities of Enumerations and Partial Enumerated Algebras"
Indestructibility and level by level equivalence and inequivalence
Ideals with bases of unbounded Borel complexity
Heyting Algebras with a Dual Lattice Endomorphism
A remark on the definability of the Fitting subgroup and the soluble radical
Bernoulli randomness and Bernoulli normality
Metric complements of overt closed sets
On the Nonboundability of total Effective Operators
Algebraically and Existentially Closed Distributive Lattices
Cyclic Indiscernibles and Skolem Functions
Formalizing falsification: Three delete operations
Sur une Extension Simple du calcul intuitionniste des predicats du premier ordre Appliquee a L'analyse
Jump Theorems for REA Operators
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models
A short proof of the preservation of the omega omega -bounding property
Ulm Classification of Analytic Equivalence Relations in Generic Universes
SO(forall-exist*) Sentences and Their Asymptotic Probabilities
Definable Partitions and the Projectum
Decreasing sentences in Simple Type Theory
Definability and nondefinability results for certain o-minimal structures
Formally continuous functions on Baire space
Decoding in the automorphism group of a recursively saturated model of arithmetic
Squares of Primal Algebras
Quantified propositional calculi and fragments of bounded arithmetic
On Fuzzy Logic I Many-valued rules of inference
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic
Totally and Partially Ambiguous Points of Planar Functions
On languages with two variables
Nice ℵ 1 generated non-P-points, Part I
A note on the deductive strength of the Nielsen-Schreier theorem
Some Remarks on Finite Löwenheim-Skolem Theorems
Sequenzen von Klassen und Individuen
A cumulative hierarchy of predicates
Independence logic and abstract independence relations
On the Existence and Recursion Theoretic Properties of ∑
Indestructibility, measurability, and degrees of supercompactness
Strategic equivalence among hat puzzles of various protocols with many colors
Das Kompressionstheorem FüR Tempomasze
An Axiomatisation of the Conditionals of Post's Many Valued Logics
Finiteness of U-rank implies simplicity in homogeneous structures
Universal classes of Monadic Algebras
Einfache Beweise Für Die Eindeutige Zerlegbarkeit Von Ausdrücken Endlicher und Unendlicher Sprachen
Notes on local o-minimality
Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them
Models of Set Theory in Which Every Normal Precipitous Ideal is Uniformly Normed
A Note on Boolos' Proof of the Incompleteness Theorem
Invisible Ordinals and Inductive Definitions
Intuitionistic Logic and Local Mathematical Theories
On the Gentzen Type Formalizations
On Interstices of Countable Arithmetically Saturated Models of Peano Arithmetic
About Segment Complexity of Turing Reductions
Evolving Shelah-Spencer graphs
A Note on Real Subsets of A Recursively Saturated Model
A Note on BΣ n and an Intermediate Induction Schema
Contents: (Math. Log. Quart. 4-5/2018)
A Real Number Structure that is Effectively Categorical
Deduction Theorems for T, E and R Reconsidered
A note on the independence of premiss rule
The Strengths of Some Violations of Covering
Reductions on equivalence relations generated by universal sets
Intermediate arithmetic operations on ordinal numbers
Tallness and level by level equivalence and inequivalence
Validity Measurement in Some Propositional Logics
Editorial: Math. Log. Quart. 1/2008
On Skolem Ultrapowers and Their Non-Standard Variant
Products of Closure Algebras and Their Dual Spaces
Recursive logic frames
Corrigendum to "The complexity of plane hyperbolic incidence geometry is (forall)(exist)(forall)(exist)"
Forcing and Consistency Results for Recursion in 3 E Together with Selection Over ℵ 1
An Interval of Computably Enumerable Isolating Degrees
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability
The theory of hereditarily bounded sets
Playing in the first Baire class
Graph Coloring and Reverse Mathematics
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements
Sequential, Pointwise, and Uniform Continuity: A Constructive Note
Regressive Isols and Comparability
Indestructibility under adding Cohen subsets and level by level equivalence
Correction to "A Cohesive Set which is not High"
Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally bounded, Metric Spaces
Modelltheoretische Eigenschaften Endlichvalenter Graphen
A Note on the Compactness Theorem in First Order Logic
Consistency of Heyting arithmetic in natural deduction
Zur Präfixoptimalität Gewisser ∄ ... ∄-Darstellungen Aufzählbarer Prädikate
Recursive complexity of the Carnap first order modal logic C
The Finite Cutset Property
κ-Madness and definability
Zum Vergleich von HäRtigquantor und Rescherquantor
On existence of complete sets for bounded reducibilities
The hardness of the grid problem G i Under the Routine Resolution Method
A Generalization of the Boolean Filter Concept
Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets
Die Teilweise Geordnete Menge ϕ k der Vertauschbarkeitsmengen der K -Wertigen Logik
A Complete Semantics for Implicational Logics
The "Dialectica" Interpretation and Categories
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus
The HOD Hypothesis and a supercompact cardinal
An Independence Result on Weak Second Order Bounded Arithmetic
L'ensemble des Intervalles d'une Multirelation Binaire et Reflexive
The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters
The First-Order Theory of the C-Degrees
Weitere Verschärfungen zu den Reduktionstypen ∀∃ ∞ ∀(0, 1), ∃ ∞ ∀ 3 ∃(∞, 1)
A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game
On infinite-dimensional Banach spaces and weak forms of the axiom of choice
P max variations related to slaloms
A Remark an Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices
Iterative Systems and Diagram Algorithms
Continued fractions of primitive recursive real numbers
Some observations on the substructure lattice of a Delta 1 ultrapower
What is the theory without power set?
Definably connected nonconnected sets
The algebraic significance of weak excluded middle laws
Arithmetical Measure
Provability Logic in the Gentzen Formulation of Arithmetic
Existentially Incomplete Tame Models and a Conjecture of Ellentuck
L -Σ
Unsupported Boolean algebras and forcing
Forcing in Ackermanns Mengenlehre
On the Computational Complexity of Best L 1 -approximation
An Intuitionistic Axiomatisation of Real Closed Fields
Finitary Algebraic Logic
A Fine Structure in the Theory of Isols
Contents: (Math. Log. Quart. 1/2022)
Probabilistic Semantics for First-Order Logic
On Nondeterminism, Enumeration Reducibility and Polynomial Bounds
Weakly minimal modules over integral group rings and over related classes of rings
A Nonstandard Delta Function in a Predicative Theory
Ramifiable Directed Sets
Note on the E
A Groszek-Laver pair of undistinguishable E0-classes
Reconstruction of Binary Relations from their Restrictions of Cardinality 2, 3, 4 and ( n - 1) II
Ordre de Rudin-Keisler et Poids Dans les Theories Stables
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
The Theory of Abelian Groups With the Quantifier (≦ x )
Singular coverings and non-uniform notions of closed set computability
Numeration Models of λ-Calculus
On the Herbrand functional interpretation
A Tukey decomposition of P kappa lambda and the tree property for directed sets
Closure Algebras and T 1 -Spaces
A More Natural Alternative to Mostowski's (MFL)
On unstable and unoptimal prediction
n -fold filters in BL-algebras
On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders
From Bolzano-Weierstraß to Arzelà-Ascoli
On the Logic of Common Belief
Approximate decidability in euclidean spaces
Some Results on L-Delta- - n +1
A fixed point theorem for o-minimal structures
Clubs on quasi measurable cardinals
Correction to "Some Remarks on Heyting Matrices"
Extensional Characterization of Index Sets
On neat embeddings of cylindric algebras
Eventually open action
A note on the monotone functional interpretation
The finite model property for semilinear substructural logics
Highness and Bounding Minimal Pairs
Definable nilpotent and soluble envelopes in groups without the independence property
The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
A Second Normal Form for Functions of the System EP
Horn Sentences of Small Size in Identity Theory
Exponential Polynomials of Linear Height
Strong Minimal Covers for Recursively Enumerable Degrees
Orderings of Types of Countable Arithmetic
On elimination of quantifiers in some non-classical mathematical theories
The constructive completion of the space D (R)
∑ 1 -Density and Turing Degrees
Computability of measurable sets via effective metrics
Note on Deduction Theorems in contraction-free logics
Models of expansions of &equation image; with no end extensions
A classification of low c.e. sets and the Ershov hierarchy
Two Observations About S5
The Hartogs-Lindenbaum spectrum of symmetric extensions
Non Standard Models of the Theory of Elementary Functions of a Real Variable
Weak forms of the Regularity Principle in the presence of &equation image;
Modal-type orthomodular logic
Triadic partial implicational propositional calculi
Construction of a Coideal of a Ring Compatible with a Principal Ideal
A Problem Concerning Projective Prewellorderings
Consequences of neocompact quantifier elimination
Two kinds of fixed point theorems and reverse mathematics
Pairwise disjoint eight-shaped curves in hybrid planes
Eine Einfache Universelle Menge Endlicher Automaten
An Elementary System as and its Semi-Completeness and Decidability
The Structure of Loop Programs and Subrecursive Hierarchies
Generating sets of free groups and the axiom of choice
Σ-algebraically compact modules and Lω1ω-compact cardinals
On The Uniqueness of the Lindenbaum Extension
Density and Baire category in recursive topology
Classically Complete Modal Relevant Logics
Effective Borel measurability and reducibility of functions
Bi-embeddability spectra and bases of spectra
Abelian pro-countable groups and non-Borel orbit equivalence relations
Killing them softly: degrees of inaccessible and Mahlo cardinals
On the Constructive Convergence of Series of Independent Functions
Meeting numbers and pseudopowers
The localic compact interval is an Escardó-Simpson interval object
Successor levels of the Jensen hierarchy
Characterizing strong compactness via strongness