yusuke1997/dblp-id-title huggingface dataset:
Constructive Assertions in an Extension of Classical Mathematics
Regularity in Models of Arithmetic
Backwards Easton Forcing and 0 #
Indecidabilite de Corps de Series Formelles
A Minimal Degree Which Collapses omega 1
The importance of Pi 0 1 classes in effective randomness
On the Godel Class with Identity
Some Improvements to Turner's Algorithm for Bracket Abstraction
A Many Permutation Group Result for Unstable Theories
Indifferent sets for genericity
Relative Recursive Enumerability of Generic Degrees
On the Radicals of a Group that does not have the Independence Property
Decidability and Classification of the Theory of Integers with Primes
A System of Axiomatic Set Theory: Part V. General Set Theory
Extensions Separees et Immediates de Corps Values
Combinatorics on Ideals and Axiom A
The Boolean Algebras of Abelian Groups and Well-Orders
Generalized Weak Presentations
Model Completeness of O-Minimal Fields with Convex Valuations
Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames
European Meeting of the Association for Symbolic Logic
Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem
A Strongly Minimal Expansion of (omega, s)
Correction to A Note on the Entscheidungsproblem
A Quasi-Intuitionistic Set Theory
Meager-additive Sets in Topological Groups
On Derivability
On The Consistency of The Definable Tree Property on Alef-Symbol 1
How to Glue Analysis Models
On the Ring of Differentially-Algebraic Entire Functions
The Logic of Comparative Cardinality
About the Proof-Theoretic Ordinals of Weak Fixed Point Theories
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View
The Equivalence of Determinacy and Iterated Sharps
Lifschitz Realizability as a Topological Construction
The Calculus of Individuals and Its Uses
Seminormal lambda-Generated Ideals on P k lambda
Recursion Theory on Orderings. I. A Model Theoretic Setting
Theory of Models with Generalized Atomic Formulas
A Theory of Pairs for non-valuational Structures
BASIS THEOREMS FOR ${\rm{\Sigma }}_2^1$ -SETS
A Note on the Number of Zeros of Polynomials and Exponential Polynomials
The Shuffle Hopf Algebra and Noncommutative Full Completeness
On Propositions Neither Necessary Nor Impossible
Notes on the Stability of Separably Closed Fields
Countable Fréchet Boolean groups: An independence result
A Non-Standard Construction of Haar Measure and Weak König's Lemma
Two Arithmetical Techniques with Numbered Classes
On The Role of Implication in Formal Logic
An Existence Theorem for Recursion Categories
On The Binding Group in Simple Theories
Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics
Geometry of *-Finite Types
Measure theory aspects of locally countable orderings
CM-Triviality and Stable Groups
Degrees of Structures
Sublocales in formal topology
Hechler Reals
Approximation Theorems and Model Theoretic Forcing
The Independence of The Prime Ideal Theorem From The Order-Extension Principle
Models of the Alternative Set Theory
Reductions of Hilbert's Tenth Problem
Products of Two-Sorted Structures
Pi 0 1 Classes and Boolean Combinations of Recursively Enumerable Sets
A Transfinite Sequence of omega-Models
Proofs of Strong Normalisation for Second Order Classical Natural Deduction
Combinatorial images of sets of reals and semifilter trichotomy
Locally O-Minimal Structures With Tame Topological Properties
A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1
Term Models for Weak Set Theories with a Universal Set
Functionals Defined by Transfinite Recursion
The Work of Kurt Gödel
The Number of One-Generated Cylindric Set Algebras of Dimension Greater than Two
Generalized Nonsplitting in the Recursively Enumerable Degrees
Solution of a Problem of Tarski
The hierarchy theorem for second order generalized quantifiers
A Symposium on Hilbert's Program
Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy
Relationships between Computability-Theoretic Properties of Problems
Adding linear orders
On The Maximality of Logics with Approximations
Undecidability of the Identity Problem for Finite Semigroups
A Reduction Theorem for Predicate Logic
On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property, Part A
The Lazy Logic of Partial Terms
Chains and Antichains in P(omega)
On Solvable Centerless Groups of Morley Rank 3
Abelian Groups with Modular Generic
Generalizations of the Recursion Theorem
Automorphism Groups of Models of Peano Arithmetic
Theories very close to PA where Kreisel's Conjecture is false
A Reduction in the Number of Primitive Ideas of Arithmetic
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables
What the łukasiewicz Axioms mean
Cardinal characteristics on graphs
Characterizing Lowness for Demuth Randomness
Aronszajn lines and the club filter
A Very Weak Square Principle
The Consistency of Lesniewski's Mereology Relative to the Real Number System
Common Knowledge Logic and Game Logic
A Note on Definable Skolem Functions
Reducts of Some Structures over the Reals
Ns saturated and -Definable
Correction to a Paper on Modal Set Theory
The Combinatory Foundations of Mathematical Logic
The Theory of Truth Tabular Connectives, both Truth Functional and Modal
Hauptsatz for Higher Order Logic
An Elementary Sentence which Has Ordered Models
Theories with Recursive Models
Forcing and the Halpern-läUchli Theorem
New examples of small Polish structures
Rings which Admit Elimination of Quantifiers
Degrees Joining to 0?
Parsimony hierarchies for inductive inference
Universal Rosser Predicates
Lowness and Π 2 0 nullsets
Higher Independence
Ramsey-like cardinals II
On Groups with Definable F -generics Definable in P -Adically closed Fields
Herbrand's Theorem for Nonstandard Inference Operations (Abstract)
Polynomially and Superexponentially Shorter Proofs in Fragments of Logic
The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations
On countable simple unidimensional theories
PDL with intersection and converse: satisfiability and infinite-state model checking
A Minimal Degree not Realizing Least Possible Jump
Strong Partition Properties for Infinite Cardinals
Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets
An Ordinal Partition Avoiding Pentagrams
Π 1 0 classes and strong degree spectra of relations
Flagg Realizability in Arithmetic
Solovay-Type Characterizations for Forcing-Algebras
Continuity and Elementary Logic
Expedited Broda-Damas Bracket Abstraction
On LP -models of arithmetic
~Delta 1 n Sets of Reals
Elementary properties of the Boolean hull and reduced quotient functors
Finding paths through narrow and wide trees
Digital Simulation of Analog Computation and Church's Thesis
On an Implication Function in Many-Valued Systems of Logic
On skinny stationary subsets of P κ λ
-Ultrafilters in the rational Perfect Set Model
Alfred Tarski's Work in Set Theory
Towards applied theories based on computability logic
Exact Completion and Constructive Theories of Sets
The full binary tree cannot be interpreted in a chain
kappa-Suslin Logic
An Undecidable Problem in Correspondence Theory
Distality Rank
Definability Via Enumerations
Testing Singly Quantified Tautologies
Nonabsoluteness of Elementary Embeddings
Models for Recursion Theory
Computably Categorical Structures and Expansions by Constants
Classes of Structures with no Intermediate Isomorphism Problems
Extendible Sentential Calculus
An incompleteness theorem for gamma n -models
Descending Sequences of Degrees
From Multisets to Sets in homotopy Type Theory
On a Set Theory of Bernays
Systematization of Finite Many-Valued Logics Through the Method of Tableaux
Recursion in Kolmogorov's R-Operator and the Ordinal sigma 3
The Monadic Theory of omega 1 2
Computable Polish Group Actions
Effectiveness and multivalued logics
On Cuts in Ultraproducts of linear Orders II
Theories Incomparable with Respect to Relative Interpretability
Discretely Ordered Modules as a First-Order Extension of The Cutting Planes Proof System
Ten Modal Models
Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic
Annual Meeting of the Association for Symbolic Logic
Some Applications of Coarse Inner Model Theory
Sigma 1 -Compactness in Languages Stronger than L A
On the consistency strength of the inner model hypothesis
Fourth Meeting of the Association for Symbolic Logic
Initial Segments Of The Σ 2 0 Enumeration Degrees
Counting siblings in Universal Theories
Sets Which Do Not Have Subsets of Every Higher Degree
Reconstruction of Separably Categorical Metric Structures
The Lattice of Modal Logics: An Algebraic Investigation
On the Interpretation of Aristotelian Syllogistic
Local Club Condensation and L-Likeness
Nonsplitting Subset of P ( + )
Forcing With Stable Posets
Woodin for Strong compactness Cardinals
Meeting of the Association for Symbolic Logic: San Francisco, 1981
Transcendence of Cardinals
The geometry of Hrushovski constructions, II. The strongly minimal case
The number of normal measures
Variations on Determinacy and ℵω1
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem
Tight Eventually Different families
Imaginary Modules
The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields
Mad families, splitting families and large continuum
On Absolute Properties of Relations
Gentzenizations of Relevant Logics Without Distribution, I
A Set Mapping with No Infinite Free Subsets
Extension of Relatively |sigma-Additive Probabilities on Boolean Algebras of Logic
Unbounded and dominating reals in Hechler extensions
Embeddability of PTYKES
Interpreting Second-Order Logic in the Monadic Theory of Order
Flag algebras
Effectively Retractable Theories and Degrees of Undecidability
Corrigendum to: "Relation algebra reducts of cylindric algebras and complete representations"
Bi-Borel reducibility of essentially countable Borel equivalence relations
Finding generically stable measures
Stability Theory for Topological Logic, with Applications to Topological Modules
Universal Subgroups of Polish Groups
Henselianity and the Denef-Pas language
Complexity of kappa-Ultrafilters and Inner Models with Measurable Cardinals
A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras
Decidable Fragments of Field Theories
The Bass-Milnor-Serre Theorem for Nonstandard Models in Peano Arithmetic
An equiconsistency for universal indestructibility
Sequential Method in Quantum Logic
Monadic Binary Relations and the Monad Systems at Near-Standard Points
Ultrafilters Generated by a Closed Set of Functions
A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem
A New Deconstructive Logic: Linear Logic
Modest Theory of Short Chains. II
The 1-Section of a Countable Functional
Forcing and Reducibilities
Subcomplete forcing, Trees, and Generic Absoluteness
Lemmon-Style Bases for the Systems S1 ring - S4 ring
Retraction - Measuring Club-sequences Together with the continuum Large
Orthomodularity is not Elementary
The Isomorphism Property for Nonstandard Universes
Nonstandard Analysis in Topology: Nonstandard and Standard Compactifications
Notes on some ERDőS-Hajnal Problems
On subgroups of the additive group in differentially closed fields
Arithmetical Representations of Brownian Motion I
On the T-Degrees of Partial Functions
The Topological Vaught's Conjecture and Minimal Counterexamples
Expansions of Models of omega-Stable Theories
Pure Three-Valued Lukasiewiczian Implication
The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees
A High Strongly Noncappable Degree
The Weak Square Property
Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics
Exactly controlling the non-supercompact strongly compact cardinals
A Note on a Proof of Hilbert's Second epsilon-Theorem
Adjoining Dominating Functions
The approximation structure of a computably approximable real
Bases for Functions beyond the First Baire class
Tarski on Truth and Logical Consequence
A Note on the Entscheidungsproblem
Polynomial Rings and Weak Second-order Logic
Bounding non-GL 2 and R.E.A
Superstable Differential Fields
JSL volume 89 issue 1 Cover and Front matter
Rothberger's Property and Partition Relations
The Genericity Conjecture
Returning to semi-bounded sets
Jónsson Cardinals, Erdös Cardinals, and The Core Model
Note on a Paradox
Branching-Time Logic with Quantification over Brances: The Point of View of Modal Logic
Unification in Intermediate Logics
Model-Complete Theories of Formally Real Fields and Formally p-Adic Fields
Topological dynamics of definable group actions
The Combinatorial Principle
Sheaf Recursion and a Separation Theorem
Diagonals and D-Maximal Sets
A Derivation of Number Theory from Ancestral Theory
Scott's problem for Proper Scott sets
On Quantification with A Finite Universe
The Model Theory of Ordered Differential Fields
On properties of (weakly) small groups
Bimodal Logics for Extensions of Arithmetical Theories
There are no Intermediate Structures between the Group of Integers and Presburger Arithmetic
Omitting Types and the Real Line
Bounds for covering numbers
Choice-Free Stone duality
Standard sets in nonstandard set theory
The Model-Theoretic Significance of Complemented Existential Formulas
The Consistency strength of the Perfect Set Property for Universally Baire Sets of Reals
Modèles Saturés et Modèles Engendrés Par des Indiscernables
Effective Aspects of Profinite Groups
A version of p-adic minimality
Systems of Syntactic Analysis
Natural 3-Valued Logics - Characterization and Proof Theory
Explicit Mathematics with The Monotone Fixed Point Principle. II: Models
On the Definition of an Infinitely-Many-Valued Predicate Calculus
Mapping a Set of Reals Onto the Reals
On the Structure of Computable Reducibility on Equivalence Relations of Natural numbers
Algebraic Independence
Logics of Belief Change without Linearity
Completeness and incompleteness for intuitionistic logic
Differentially Algebraic Group Chunks
Isomorphism of computable structures and Vaught's Conjecture
An Algebraic Approach to MSO-Definability on Countable linear Orderings
Copeland Algebras
Indefiniteness in Semi-Intuitionistic Set Theories: on a Conjecture of Feferman
The McKinsey Axiom Is Not Canonical
SN and CR for Free-Style LK tq : Linear Decorations and Simulation of Normalization
A Note on Modified Abstraction Principles
A Refinement of the Ramsey Hierarchy via Indescribability
Which Number Theoretic Problems can be Solved in Recursive Progressions on O 1/1 -Paths Through O?
Saturation of Homogeneous Resplendent Models
An Improvement in the Theory of Simplicity
Lebesgue Measure Zero Modulo ideals on the Natural numbers
Deducibility and Many-Valuedness
Meeting of the Association for Symbolic Logic Manchester 1969
Hyperimmune-free degrees and Schnorr triviality
Weak Compactness and Square Bracket Partition Relations
The Geometry of Forking and Groups of Finite Morley Rank
Sets of Theorems with Short Proofs
Changing Cardinal Invariants of the Reals without Changing Cardinals or the Reals
Nondefiniability Results for Expansions of the Field of Real Numbers by the Exponential Function and by the Restricted Sine Function
Some remarks on generic structures
On the Semantic Non-Completeness of Certain Lewis Calculi
On Theories T Categorical in absolut T
Explicit Mathematics with the Monotone Fixed Point Principle
Topological Completeness of Logics above S4
Intrinsic Smallness
A Result on Implications of sigma; 1 -Sentences and Its Application to Normal Form Theorems
Many-Times Huge and Superhuge Cardinals
Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor ??
Weak indestructibility and Reflection
On a Combinatorial Principle of Hajnal and Komjath
Extender Based Forcings
The isomorphism problem for computable Abelian p -groups of bounded length
Functional Interpretation of the beta-Rule
On Wide Aronszajn Trees in the presence of MA
Set-Theoretical Basis for Real Numbers
Complete Theories with Countably many Rigid Nonisomorphic Models
Weakly Remarkable Cardinals, ERDőS Cardinals, and the Generic VOPěNka Principle
JSL volume 89 issue 1 Cover and Back matter
Existence and Feasibility in Arithmetic
On Supervaluations in Free Logic
Dependence Logic in pregeometries and ω -stable Theories
Noncompactness in Propositional Modal Logic
The Dense Linear Ordering Principle
Simplicity in Effective Topology
On Ultracoproducts of Compact Hausdorff Spaces
Borel Sets and Ramsey's Theorem
An Effective Selection Theorem
Finest Partitions for Ultrafilters
Type Two Partial Degrees
Who Were the American Postulate Theorists
Partition forcing and Independent families
On Effective Topological Spaces
The McKinsey Axiom Is Not Compact
Game Sentences, Recursive Saturation and Definability
Toward Model Theory Through Recursive Saturation
Twentieth Meeting of the Association for Symbolic Logic
On Definability of Ordinals in Logic with Infinitely Long Expressions
Definability of Types, and Pairs of O-Minimal Structures
1-Genericity in the Enumeration Degrees
Fat sets and saturated ideals
Models of Intuitionistic TT and NF
Some Remarks on Modular Regular Types
Ein Verfahren der mathematischen Logik
A 12th Century Paradox of the Infinite
Meeting of the Association for Symbolic Logic: San Diego, 1979
Randomness Notions and Reverse Mathematics
Undecidable Complexity Statements in E alpha S -Arithmetic
On Equivalence Relations Generated by Schauder Bases
On Closure Under Direct Product
Weakly 2-Randoms and 1-generics in Scott Sets
First-order Homotopical Logic
Contraction-Free Sequent Calculi for intuitionistic Logic: a correction
P-ideal dichotomy and weak squares
Red fields
Discrete Sets Definable in Strong expansions of Ordered Abelian Groups
Normalized natural deduction systems for some relevant logics I: The logic DW
Some remarks on one-basedness
Analytic Determinacy and 0 #
On Central Extensions of Algebraic Groups
Independence in Generic incidence Structures
How to Extend The Semantic Tableaux and Cut-Free Versions of The Second Incompleteness Theorem Almost to Robinson's Arithmetic Q
Replacement and Collection in Intuitionistic Set Theory
Some Theorems on R-Maximal Sets and Major Subsets of Recursively Enumerable Sets
Implicit Measurements of Dynamic Complexity Properties and Splittings of Speedable Sets
Cardinality Logics. Part II: Definability in Languages Based on 'Exactly'
Subgroups of Stable Groups
Metamathematical Problems
Corrections to a Theory of Restricted Quantification
Lattice of Algebraically Closed Sets in One-Based Theories
Theories with Exactly Three Countable Models and Theories with Algebraic Prime Models
On Classes Closed Under Unions of Chains
Weakly pointed trees and partial injections
A Notion of Effectiveness in Arbitrary Structures
The Classical and the omega-Complete Arithmetic
Über eine abgeschwächte Fassung des Auswahlaxioms
Toward A Constructive Theory of Unbounded Linear Operators
The Turing Degrees below generics and randoms
Σ1(κ)-DEFINABLE SUBSETS OF H(κ +)
Negative Results on Precipitous ideals on
Equality and Lyndon's Interpolation Theorem
A Classification of the Wadge Hierarchies on Zero-dimensional Polish Spaces
Monotone but not Positive Subsets of the Cantor Space
Sheaves and Boolean Valued Model Theory
Axiomatization of Provable n-Provability
Two Remarks on the Lifschitz Realizability Topos
Forking and stability in the Representations of a C *-Algebra
Blunt and Topless End Extensions of Models of Set Theory
Generic Sigma 1 3 absoluteness
The Harrington-Shelah Model with Large continuum
Some Model Theory of Guarded Negation
Constructive interpolation in hybrid logic
An Axiomatisation of Quantum Logic
The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation
Notions of Relative Ubiquity for Invariant Sets of Relational Structures
The Cupping Theorem in R/M
Sur La Structuration du Tableau Des Connectifs Interpropositionnels Binaires
Recursively Presented Abelian Groups: Effective p-Group Theory. I
A triangle 0 2 Theory of Regressive Isols
Equivalence structures and isomorphisms in the difference hierarchy
Canonical Seeds and Prikiry Trees
1-Reducibility Inside an m-Degree with a Maximal Set
Orthogonal Decomposition of Definable Groups
Infinite substructure lattices of models of Peano Arithmetic
Remarks on Galois Cohomology and Definability
Intermediate beta-R.E. Degrees and the Half-Jump
Martin's Axiom in the Model Theory of L A
The Craig-Lyndon Interpolation Theorem in 3-Valued Logic
Ordinal Analysis of Partial Combinatory Algebras
Isomorphic but not Lower Base-Isomorphic Cylindric Set Algebras
Categorical Semantics for Higher Order Polymorphic Lambda Calculus
Tait's conservative extension theorem revisited
Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations?
Measuring Club-sequences Together with the continuum Large
An Abstraction Algorithm for Combinatory Logic
Logical Questions Concerning The mu-Calculus: Interpolation, Lyndon and Los-Tarski
Countable Initial Segments of the Degrees of Unsolvability
Model Theory of Strictly Upper Triangular Matrix Rings
Omitting Types in Set Theory and Arithmetic
Definability Problems for Modules and Rings
A Complete Theory with Arbitrarily Large Minimality Ranks
Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound
Nonstandard Set Theory
On Idempotent Ultrafilters in Higher-order Reverse Mathematics
Examples of non-locality
Inner Models for Set Theory - Part I
Rungs and Trees
Local homogeneity
A Logical Measure Function
Mad spectra
On the Proof Theory of the Modal Logic for Arithmetic Provability
The Ackermann functions are not optimal, but by how much?
Twenty-Fourth Annual Meeting of the Association for Symbolic Logic
Banishing the Rule of Substitution for Functional Variables
Array nonrecursiveness and relative recursive enumerability
Classical and constructive hierarchies in extended intuitionistic analysis
Supersimple omega-Categorical Groups and Theories
On n-Valued Functionally Complete Truth Functions
A Consistent Propositional Logic Without any Finite Models
Logics Containing K4. Part I
Consequences of Arithmetic for Set Theory
Cardinalities of Ultraproducts of Finite Sets
On Computational Complexity in Weakly Admissible Structures
The Elimination Theorem When Modality is Present
Aronszajn Tree Preservation and Bounded forcing Axioms
Alternative Postulate Sets for Lewis's S5
On the Cantor-Bendixon Rank of Recursively Enumerable Sets
Initial Segments of triangle 1 2n + 1 -Degrees
On Forking and Definability of Types in some DP-Minimal Theories
Definability in Well Quasi-Ordered Sets of Structures
Note on a Property of Matrices for Lewis and Langford's Calculi of Propositions
On the Syntactical Construction of Systems of Modal Logic
Some Applications of Ordinal Dimensions to The Theory of Differentially Closed Fields
On omega;-Inconsistency and a So-Called Axiom of Infinity
Hausdorff measure on o-minimal structures
On the Undecidability of Finite Planar Cubic Graphs
The Theory of all Substructures of a Structure: Characterisation and Decision Problems
Generic Automorphisms with prescribed Fixed Fields
An Incomplete Decidable Modal Logic
On PAC and bounded substructures of a stable structure
A definable nonstandard model of the reals
The Isomorphism Property Versus the Special Model Axiom
Hierarchies of Computable Groups and the Word Problem
A Measurable Cardinal with a Nonwellfounded Ultrapower
Results Concerning Some Modal Systems That Contain S2
Embeddings Into Outer Models
Solving Pell Equations Locally in Models of I Delta 0
Limit Ultraproducts
Projective Algebra and the Calculus of Relations
Some Results about Borel Sets in Descriptive Set Theory of Hyperfinite Sets
Recursively Enumerable m- and tt-Degrees. I: The Quantity of m- Degrees
Suslin Tree Preservation and Club Isomorphisms
Independence Proofs in Predicate Logic with Infinitely Long Expressions
Combinator Realizability of a Constructive Morse Set Theory
Embedding the Diamond in the Sigma 2 Enumeration Degrees
Entailment and Relevance
A Strong Multi-Typed Intuitionistic Theory of functionals