yusuke1997/dblp-id-title huggingface dataset:
Ramsey's Theorem for Pairs and k Colors as a sub-Classical Principle of Arithmetic
On Defining C infty
A Theorem on Deducibility for Second-Order Functions
The Jensen Covering Property
On the Derivability of Instantiation Properties
Algebraic Completeness Results for R-Mingle and Its Extensions
On Automorphism Groups of Countable Structures
Indescribable Cardinals and Elementary Embeddings
The completeness of Heyting first-order logic
Which structural rules admit cut elimination? An algebraic criterion
Definability and Initial Segments of c-Degrees
Reflecting Stationary Sets
Decidable Fragments of First-Order Modal Logics
Monotone Reducibility and the Family of Infinite Sets
Algebraically Closed Commutative Local Rings
The Decision Problem for Formulas with a Small Number of Atomic Subformulas
A Note on Quine's Treatment of Transfinite Recursion
The Theory of Classes a Modification of Von Neumann's System
Constructible Falsity and Inexact Predicates
Paires de Structures O-Minimales
There are Infinitely many Diodorean Modal Functions
Kripke Models for Linear Logic
Some New Natural a-RE-Degrees
N 0 -Complete Cardinals and Transcendency of Cardinals
On Forcing Without the Continuum Hypothesis
A New Proof of a Theorem of Shelah
Functional Completeness in One Variable
Lower Bounds for Cutting Planes Proofs with Small Coefficients
The additive Groups of and with Predicates for being square-Free
Displaying The Modal Logic of Consistency
Jump inversions inside effectively closed sets and applications to randomness
A Note on the Hyperarithmetical Hierarchy
An Invariance Notion in Recursion Theory
Asymptotic Probabilities for Second-Order Existential Kahr-Moore-Wang Sentences
Monotone Inductive Definitions in Explicit Mathematics
A Note on Two-Place Predicates and Fitting Sequences of Measure Functions
Minimal Types in Separably Closed Fields
A Gitik iteration with nearly Easton factoring
Actions of Non-Compact and Non-Locally Compact Polish Groups
On relationships between algebraic properties of groups and rings in some model-theoretic contexts
A Proof of Beigel's Cardinality Conjecture
Lifting Proof Theory to the Countable Ordinals: Zermelo-Fraenkel Set Theory
Full Reflection of Stationary Sets Below aleph omega
A Completeness Theorem for Zermelo-Fraenkel Set Theory
The Reducts of the homogeneous Binary Branching C-Relation
The characterization of Weihrauch Reducibility in Systems containing
On the equational theory of projection lattices of finite von Neumann factors
Some Theories with Positive Induction of Ordinal Strength phi omega 0
Comparing two Versions of the Reals
The Determinacy of Blackwell Games
Diverse Classes
Global Inductive Definability
Direct Product Decomposition of Theories of Modules
Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis
Automorphism groups of trivial strongly minimal structures
The Complexity of Topological Group Isomorphism
A Recursive Model for Arithmetic with Weak Induction
A Delta 0 2 Set With Barely Sigma 0 2 Degree
Ideals of Nowhere Ramsey Sets Are Isomorphic
Representations of ideals in Polish Groups and in Banach Spaces
The number of Atomic Models of uncountable Theories
Continuous Logic and Borel Equivalence Relations
The Set Theoretical Foundations of Nonstandard Analysis
Short Definitions of the Ordinals
A Remark on Infinitary Languages
Axiom Schemes for M-Valued Propositional Calculi
Modular Many-Valued Semantics for combined Logics
Pac Structures as Invariants of finite Group Actions
A Demonstrably Consistent Mathematics - Part II
Splitting and Nonsplitting, II: A Low 2 C.E. Degree above Which 0' Is Not Splittable
Fair Bets and Inductive Probabilities
Can Partial Indexings be Totalized?
Tameness from Large Cardinal Axioms
A Generalized Model Companion for a Theory of Partially Ordered Fields
Variations on a Theme by Weiermann
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic
Corrigendum to "A proof - technique in uniform space theory"
Computability and λ-Definability
Simplifications of the Recursion Scheme
Filtral Powers of Structures
Fields interpretable in superrosy groups with NIP (the non-solvable case)
The Diversity of Quantifier Prefixes
Intuitionistic Modal Logic and Set Theory
The complexity of learning SUBSEQ(A)
A System of Axiomatic Set Theory - Part I
An Axiomatization for a Class of Two-Cardinal Models
On almost orthogonality in simple theories
Compactness and Transfer for a Fragment of L 2
Languages in Which Self Reference is Possible
More on Imaginaries in p-adic Fields
A completeness theorem for symmetric product phase spaces
Games and Ramsey-like Cardinals
Reflection in second-order Set Theory with abundant urelements bi-interprets a Supercompact cardinal
Consistency of Lesniewski's Mereology
Sufficient conditions for Local Tabularity of a Polymodal Logic
Some jump-like operations in β-recursion theory
Logic, Sheaves, and Factorization Systems
Computability and uncountable Linear Orders II: degree spectra
Semistationary and stationary reflection
Canonizing relations on nonsmooth sets
On the Uncountability of ℝ R
Partitioning large vector spaces
Some Remarks on the Algebraic Structure of the Medvedev Lattice
A New Proof that Analytic Sets are Ramsey
Automatic structures of bounded degree revisited
Every polynomial-time 1-degree collapses if and only if P = PSPACE
The Definable (P, Q)-Theorem for distal Theories
Corrigendum: On Diophantine Equations Solvable in Models of Open Induction
European Meeting of the Association for Symbolic Logic: Oxford, England, 1976
Classification of -Categorical Monadically stable Structures
Jumps of Quasi-Minimal Enumeration Degrees
Contributions to the Theory of F-Automatic Sets
Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals
On notions of genericity and mutual genericity
An Extensional Variety of Extended Basic Logic
Forcing and Stable Ordered-Union Ultrafilters
The Positive Properties of Isolic Integers
ℛ max variations for separating club guessing principles
On Finite and Infinite Modal Systems
Prefix Classes of Krom Formulas
The <-Order on Submodels
On Deciding the Provability of Certain Fixed Point Statements
Some Applications of Infinitely Long Formulas
Every countably presented formal topology is spatial, classically
What is Strict Implication?
Intuitionistic logic freed of all metarules
A Relative Consistency Proof
The Steel hierarchy of ordinal valued Borel mappings
Non-finitely axiomatisable two-dimensional modal logics
From A 1 to D 5 : towards a forcing-Related Classification of Relational Structures
On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications
Isomorphisms and Nonisomorphisms of Graph Models
Groups of small Cantor rank
Real Functions on the Family of All Well-Ordered Subsets of a Partially Ordered Set
Reducibilities in Intuitionistic Topology
Bases of Supermaximal Subspaces and Steinitz Systems. I
Finite Axiomatizability for Equational Theories of Computable Groupoids
On Extensions of Partial Isomorphisms
Notes on Polynomially Bounded Arithmetic
Strong Reduction and Normal Form in Combinatory Logic
Connexive Class Logic
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes
On Precipitousness of the Nonstationary Ideal Over a Supercompact
Weakly Algebraizable Logics
Dp-Minimality: Invariant Types and DP-rank
The Consistency of One Fixed Omega
Interpreting a field in its Heisenberg Group
Models with Regular Generic Types, Part IV
Canonical rules
Modal Semantics without Possible Worlds
On Partitions of the Real Line Into Compact Sets
The Generic Degrees of density-1 Sets, and a characterization of the Hyperarithmetic Reals
Witnessing Functions in Bounded Arithmetic and Search Problems
A monotonicity theorem for dp-minimal densely ordered groups
Equational Bases of Boolean Algebras
Determinacy of Banach Games
Corrigendum to: 'A constructive view on ergodic theorems'
Wild edge colourings of graphs
Compact metrizable Structures and Classification Problems
The Heine-Borel Theorem in Extended Basic Logic
Combining Resurrection and Maximality
Undecidable Semiassociative Relation Algebras
Logic of Reduced Power Structures
On Chains of Relatively Saturated Submodels of a Model Without the Order Property
Proof of the Law of Infinite Conjunction using the Perfect Disjunctive Normal Form
First Order Topological Structures and Theories
The self-iterability of L[E]
An analogue of the Baire category theorem
Existentially Closed Models of The Theory of Artinian Local Rings
Definability of groups in Alef 0 -stable metric structures
The Consistency of the Axiom of Universality for the Ordering of Cardinalities
Computability and uncountable Linear Orders I: Computable Categoricity
Local Behaviour of the Chebyshev Theorem in Models of I Delta 0
Generalisation of First-Order Logic to Nonatomic Domains
Nonhemimaximal degrees and the high/low hierarchy
Flat Morley Sequences
Completeness of Transfinite Evaluation in an Extension of the Lambda Calculus
Relative enumerability and 1-genericity
Robust separations in inductive inference
An Algebraic Study of Tense Logics with Linear Time
Towers in filters, cardinal Invariants, and Luzin Type families
On Polish groups admitting a compatible complete left-invariant metric
The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic
Maximal Towers and Ultrafilter Bases in Computability Theory
A Ramsey Theorem on Semigroups and a General van der Corput Lemma
Meeting of the Association for Symbolic Logic: Berkeley, 1983
Pseudo-Finite Homogeneity and Saturation
Definability and Simplicity
Abstract Hierarchies and Degrees
Some Weak Fragments of HA and Certain Closure Properties
On Countable Fractions from an Elementary Class
Complete intuitionistic Temporal Logics for Topological dynamics
On Axiomatizability Within a System
Investigating the Computable Friedman-Stanley jump
Enumerations of the Kolmogorov function
The Permutability of Rules in the Classical Inferential Calculus
An Axiomatic Version of Positive Semilattice Relevance Logic
About some fixed Point Axioms and Related Principles in Kripke-Platek Environments
Strong Measure Zero Sets Without Cohen Reals
Iterates of the core model
Preservation of Elementary Equivalence Under Scalar Extension
Notions of Weak Genericity
The 116 reducts of (Q, <, a)
Decision Problems for Tag Systems
Property Theory and The Revision Theory of Definitions
The Independence of a Weak Axiom of Choice
Universal Countable Borel quasi-Orders
Grouplike minimal sets in ACFA and in T A
Independence of Rose's Axioms for m-Valued Implication
Coloring Isosceles Triangles in Choiceless Set Theory
Completeness in the Theory of Properties, Relations, and Propositions
Derivation Rules as Anti-Axioms in Modal Logic
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump
Some Properties of Invariant Sets
Exchange Rules
On Ramsey's Theorem and the existence of Infinite Chains or Infinite Anti-Chains in Infinite Posets
Club guessing sequences and filters
Non-genericity phenomena in ordered Fraïssé classes
A polarized partition relation for weakly compact cardinals using elementary substructures
A Combinatorial Forcing for Coding the Universe by a Real When There Are No Sharps
Enumeration of Recursive Sets
Weak compactness and no partial squares
The Classification of Small Weakly Minimal Sets. III: Modules
Regressive Partitions and Borel Diagonalization
Lebesgue Density and ∏ 1 0 Classes
Plongement Dense d'un Corps Ordonné dans sa Clôture Réelle
Random Models and Solvable Skolem Classes
Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra
A Fundamental Dichotomy for definably Complete expansions of Ordered Fields
Unique Decomposition in Classifiable Theories
Corps et Chirurgie
Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983
Reverse mathematics and the equivalence of definitions for well and better quasi-orders
Fragments of Frege's Grundgesetze and Gödel's Constructible Universe
Initial Segments of The Lattice of PI 0 1 Classes
Des Belles Paires aux Beaux Uples
One-Dimensional Fibers of Rigid Subanalytic Sets
Algebraic New Foundations
Grafted Frames and S1-Completeness
Interpretable Sets in Dense O-Minimal Structures
The Complexity of the Embeddability Relation between torsion-Free Abelian Groups of uncountable Size
On the Interpretation of Intuitionistic Number Theory
Strongly Minimal Reducts of Valued Fields
On the Period of Sequences (A n (p)) in Intuitionistic Propositional Calculus
The Lattice of Varieties of Representable Relation Algebras
On Deciding the Truth of Certain Statements Involving the Notion of Consistency
An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic
Bases for First-Order Theories and Subtheories
Multiplicative valued difference fields
Indécidabilité des Corps de Courbe Réelle
A Formalization of the Theory of Ordinal Numbers
Weihrauch Goes Brouwerian
Omitting Types for Stable CCC Theories
Keisler's Theorem and cardinal Invariants
Small Stable Groups and Generics
Theories with Models of Prescribed Cardinalities
On First-Order Theories with Provability Operator
The Theory of Integer Multiplication with Order Restricted to Primes Is Decidable
Variations on Promptly Simple Sets
Diagonal actions and Borel equivalence relations
Remark on a System of Bernays
Definition by Induction in Quine's New Foundations for Mathematical Logic
Scott Complexity of Countable Structures
Free L-Algebras
The Rise and Fall of Typed Sentences
A Note on the Deductive Completeness of M-Valued Propositional Calculi
Hereditarily Structurally Complete Modals Logics
A Jump Class of Noncappable Degrees
Epsilon theorems in Intermediate Logics
Dividing in the algebra of compact operators
Twenty-Third Annual Meeting of the Association for Symbolic Logic
Vaught's Conjecture for Modules Over A Serial Ring
Wadge Hierarchy of differences of Co-analytic Sets
The Countably Based Functionals
On the Proof Theory of the Intermediate Logic MH
2-ExpTime lower bounds for propositional dynamic logics with intersection
Inductive Inference and Unsolvability
Uniform Upper Bounds on Ideals of Turing Degrees
Ideals over omega and Cardinal Invariants of the Continuum
List of Officers and Members of the Association for Symbolic Logic
Axioms for the "Gergonne"-Relations
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup
A remark on Zilber's pseudoexponentiation
Learning Theory in the Arithmetic Hierarchy
Differential forms in the model theory of differential fields
Undefinability of kappa-Well-Orderings in L infty kappa
Extensions of the Lewis System S5
A Characterization of Martin's Axiom in Terms of Absoluteness
Minimal Models of Heyting Arithmetic
Transfering Saturation, The Finite Cover Property, and Stability
The Center of an Orthologic
Where Do Sets Come From?
Alfred Tarski and Decidable Theories
Some Remarks Concerning Theories with Recursively Enumerable Complements
Uniformly Introreducible Sets
Some Results on Permutation Group Isomorphism and Categoricity
On the Ordering of Certain Large Cardinals
Can There be no Nonrecursive Functions?
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$
A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis
Extended Ultrapowers and the Vopenka-Hrbácek Theorem Without Choice
Kleene Index Sets and Functional m-Degrees
Simplest Normal Truth Functions
On the prewellorderings associated with the directed systems of mice
Normality and P(kappa)/J
Constructing Pure Injective Hulls
Corrigendum to "Number systems with simplicity hierarchies: A generalization of Conway's theory of surreal numbers"
Generic Embeddings
Computational Speed-Up by Effective Operators
The Decidability of Certain Intermediate Propositional Logics
Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing
The Generalized Continuum Hypothesis is Equivalent to the Generalized Maximization Principle
On the Hanf Number of Souslin Logic
A Theory of Properties
Schnorr triviality and genericity
The Structure of Intrinsic Complexity of Learning
Meeting of the Association for Symbolic Logic: Perth, 1983
Quadratic Forms in Normal Open Induction
Forcing and Reducibilities. III. Forcing in Fragments of Set Theory
Open Questions in The Theory of Spaces of Orderings
Topological Logic
Canonical Modal Logics and Ultrafilter Extensions
General Random Sequences and Learnable Sequences
L'Égalité au Cube
Recursive Boolean Algebras with Recursive Atoms
A Correction to the Sentential Calculus of Tarski's Introduction to Logic
Groupoids, covers, and 3-uniqueness in stable theories
Canonical Formulas for K4, Part III: The Finite Model Property
Free Ordered Algebraic Structures Towards Proof Theory
Ordinal Definability in Jensen's Model
Groupoids and Relative Internality
Abstract Beth definability in institutions
Some Relations Between Classical and Constructive Mathematics
There Is No Sharp Transitivity on q 6 when q Is a Type of Morely Rank 2
Implicational Logics in Natural Deduction Systems
An Almost Deep Degree
Modifications of Quine's ML and Inclusive Quantification Systems
Conservativity of Ultrafilters over Subsystems of second order Arithmetic
The Combinatorics of Combinatorial Coding by a Real
Corps Portant Un Nombre Fini de Valuations
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language
Groupes fins
Friedberg Splittings in Sigma 0 3 Quotient Lattices of Epsilon
Diophantine Relations Between Rings of S-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic
Pfaffian Differential Equations over Exponential O-Minimal Structures
Algebraically Closed Commutative Rings
Possible Behaviours for the Mitchell Ordering II
A Boundedness Lemma for Iterations
A Constructive Interpretation of the Full Set Theory
Logic in the Twenties: The Nature of the Quantifier
Expansions of the real field by open sets: definability versus interpretability
A First Approach to Abstract Modal Logics
Weakly Atomic-Compact Relational Structures
Separable Models of Randomizations
Formal Topologies on The Set of First-Order Formulae
The Faithfulness of the Interpretation of Arithmetic in the Theory of Constructions
Descriptive Complexity in Cantor Series
Infinite Combinatorics Plain and Simple
Logic of Many-Sorted Theories
Elementary differences between the (2p)-c. e. and the (2p+1)-c. e. enumeration degrees
Measure-Theoretic Construction of Incomparable Hyperdegrees
Inequivalent representations of geometric relation algebras
Decidability and Essential Undecidability
A Problem in Recursive Function Theory
Generalized R-Cohesiveness and The Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness"
Forcing Isomorphism
Embedding Finite Lattices into The Ideals of Computably Enumerable Turing Degrees
On 0 -Categorical Nilrings. II
First-Order Topological Axioms
Unions of Rectifiable Curves in Euclidean Space and The Covering Number of The Meagre Ideal
Applications of Strict Pi 1 1 Predicates to Infinitary Logic
Corrigendum: "Rings which Admit Elimination of Quantifiers"
The Hanf Number of Second Order Logic
Forcing for the Impredicative Theory of Classes
Degrees of rigidity for Souslin trees
On Kueker's conjecture
Silver Antichains
Interpolation and Preservation for Pebble Logics
From bi-immunity to absolute undecidability
Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics
Variations on a Game of Gale (I): Coding Strategies
On computable self-embeddings of computable linear orderings
The Diophantine Problem for Addition and Divisibility over subrings of the Rationals
Successive Weakly Compact or Singular Cardinals
Model Companions for Finitely Generated Universal Horn Classes
Some Useful Preservation Theorems
Infinite Products of Recursive Equivalence Types
Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory
Degree spectra of prime models
Separation Principles and the Axiom of Determinateness
Summer Meeting of the Association for Symbolic Logic
The modal µ-calculus hierarchy over restricted classes of transition systems
Indestructibility of the Tree Property
Proof of a Conjecture of Goodman
Results Concerning the Decision Problem of Lewis's Calculi S3 and S6
On Projective Ordinals
The axiom of elementary sets on the edge of Peircean expressibility
A Note on Direct Sums of Friedbergnumberings
Equivalence Between Semantics for Intuitionism. I
Quelques Propriétés de Théories de Jonsson
Ramsey-like theorems and moduli of Computation
On spectra of sentences of monadic second order logic with counting
The eightfold Way
Martin's Axiom and the Continuum
alpha-Degrees of alpha-Theories
Least Upper Bounds For Minimal Pairs of alpha-R.E. alpha Degrees
European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983
Ladder gaps over stationary sets
The Veblen functions for computability theorists
On rational limits of Shelah - Spencer graphs
Existentially Closed Algebras and Boolean Products
The proof-theoretic analysis of transfinitely iterated quasi least fixed points
On the Axiom of Extensionality-Part I
An Axiomatization of Full Computation Tree Logic
On P-Points Over a Measurable Cardinal
Small representations of SL 2 in the finite Morley rank category
Ultrafilters on Spaces of Partitions
Classifying the Computational Complexity of Problems
Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984
A forcing Notion Collapsing $\aleph _3 $ and Preserving All other Cardinals
$F_\sigma $ GAMES AND REFLECTION IN $L(\mathbb {R})$
On some small cardinals for Boolean algebras
Madness in Vector Spaces
Open Induction and the True Theory of Rationals
On the Formalization of Semantic Conventions
Randomness, lowness and degrees
On Order-Types of Models
Randomness and halting probabilities
Classical Determinate Truth I
Analytic Inductive Definitions
The Theory of the Godel Functionals
The Hierarchy Theorem for Generalized Quantifiers
On Uniqueness of Prime Models
On the number of Countable Models of a Countable Nsop1 Theory without weight ω
On Hyper-Torre Isols
Louveau's Theorem for the Descriptive Set Theory of Internal Sets
Flipping Properties in Arithmetic
A Definable Continuous Rank for Nonmultidimensional Superstable Theories
The Ketonen order
Forcing in Intuitionistic Systems Without Power-Set
On ω-categorical, generically stable groups
Decidable Models of ω -Stable Theories
The Decision Problem for Formulas in Prenex Conjunctive Normal Form with Binary Disjunctions
Fondements de la logique positive
Game Semantics and the Geometry of Backtracking: a New Complexity Analysis of Interaction
Computable linear Orders and Products
On colimits and elementary embeddings
Weakly Semirecursive Sets
Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure
Topological properties of sets definable in weakly o-minimal structures
Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic
Decidable Properties of Finite Sets of Equations in Trivial Languages
Hiearchies of Boolean Algebras
An untyped higher order logic with Y combinator
Probabilistic algorithmic randomness
sigma 1 2 -Sets of Reals
Some Properties of Epistemic Set Theory with Collection
Minimal Groups in Separably Closed Fields
The NEAT Embedding Problem for Algebras Other than cylindric Algebras and for Infinite Dimensions
Unimodularity Unified
Convexly orderable Groups and Valued Fields
A Converse of the Barwise Completeness Theorem
On the jump classes of noncuppable enumeration degrees
Lower bounds for modal logics
An Embedding of Classical Logic in S4
Meeting of the Association for Symbolic Logic: Biloxi, 1979
Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree
Completely metrisable groups acting on trees
Measurable Cardinals and a Combinatorial Principle of Jensen
Kolmogorov and Mathematical Logic
A Consistent Combinatory Logic with an Inverse to Equality
The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals
The Post Correspondence Problem
Chang's Conjecture and Powers of Singular Cardinals
Identities on Cardinals less than aleph omega
On the Strong Martin Conjecture
A Combinatorial Property of p kappa lambda