yusuke1997/dblp-id-title huggingface dataset:
Reconstruction of homogeneous relational structures
Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined
No Elementary Embedding From V into V Is Definable From Parameters
Variations of the Martin-Solovay Tree
Definability of Henselian Valuations by conditions on the Value Group
The disjunction and related properties for constructive Zermelo-Fraenkel set theory
Embedding Finite Lattices into the Sigma 0 2 Enumeration Degrees
Applications of PCF Theory
Major Subspaces of Recursively Enumerable Vector Spaces
Categories of Frames for Modal Logic
Proof Mining in LP Spaces
A structural investigation on formal topology: coreflection of formal covers and exponentiability
Pure Inductive Logic with Functions
Decision Problems Concerning Properties of Finite Sets of Equations
On Partitioning the Infinite Subsets of Large Cardinals
Null Sets and Combinatorial Covering Properties
A Pseudoexponential-like Structure on the Algebraic numbers
Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications
Minimal predicates, fixed-points, and definability
A Note on Finitely Generated Models
Construction of Models from Groups of Permutations
The Use of Dots as Brackets in Church's System
Accessible Categories, Saturation and Categoricity
Regular ultrafilters and finite square principles
Arithmetical independence results using higher recursion theory
Amenable Equivalence Relations and Turing Degrees
The Strong Homogeneity Conjecture
A Remark on Locally Pure Measures
Scott's Interpolation Theorem Fails for L omega1, omega
A New Omitting Types Theorem for L(Q)
On Direct Products of Theories
L(Q)-Preservation Theorems
An Intuitionistic Version of Zermelo's Proof That Every Choice Set Can Be Well-Ordered
The Inconsistency of F * 21
Universal sets for pointsets properly on the n th level of the projective hierarchy
Assignment of ordinals to patterns of resemblance
Generic expansions of Geometric Theories
Semi-bounded relations in ordered modules
Unexpected imaginaries in valued fields with analytic structure
Asperó-Mota Iteration and the Size of the continuum
The Fine Structure of Real Mice
Almost Disjoint and MAD families in Vector Spaces and Choice Principles
A Note on Lascar Strong Types in Simple Theories
alpha-Decompositions of alpha-Spaces
Determinacy for games ending at the first admissible relative to the play
More on Blurry HOD
The kappa-Closed Unbounded Filter and Supercompact Cardinals
Stationary Reflection and the Failure of the SCH
Pac Structures as Invariants of finite Group Actions - erratum
There may be infinitely many near-coherence classes under 픲 < 픡
Uniformization and Skolem Functions in the Class of Trees
Canonical Formulas for K4, Part II: Confinal Subframe Logics
Truncation and Semi-Decidability Notions in Applicative Theories
On the Interplay between Effective Notions of Randomness and Genericity
Associativity of the Morley Product of Invariant Measures in NIP Theories
Additive Structure in Uncountable Models for a Fixed Completion of P
A Recursion Principle for Linear Orderings
Pseudo-Superstructures as Nonstandard Universes
MM. Borel, Tits, Zil'ber et le General Nonsense
Universal Structures in Power aleph 1
Model Existence Theorems for Modal and Intuitionistic Logics
Singular sigma-Dense Trees
Injectives in Finitely Generated Universal Horn Classes
Model Theory and Proof Theory of the Global Reflection Principle
Inner Models for Set Theory - Part III
Maharam Spectra of Loeb Spaces
Weight omega in Stable Theories with Few Types
Recovering the hyperdefinable group action in the group configuration theorem
HODHOD\operatorname {HOD} IN INNER MODELS WITH WOODIN CARDINALS
Predicate Calculus with Free Quantifier Variables
ZF + 'Every set is the same size as a wellfounded set'
A Weak Dodd-Jensen Lemma
Gδ Sets in σ-ideals Generated by Compact Sets
Definability and Decision Problems in Arithmetic
On External Scott Algebras in Nonstandard Models of Peano Arithmetic
Random Models and the Godel Case of the Decision Problem
Non-splittings of Speedable Sets
Partial Degrees and the Density Problem
Complexity of Complexity and Strings with Maximal Plain and Prefix Kolmogorov Complexity
A Note on Nonmultidimensional Superstable Theories
On Kueker simple theories
G δσ GAMES AND INDUCTION ON REALS
Axioms of Symmetry: Throwing Darts at the Real Number Line
New Sets of Postulates for Combinatory Logics
On Ordered Pairs
Strong normalization proof with CPS-translation for second order classical natural deduction
A Model-Theoretic characterization of Monadic second order Logic on Infinite Words
A Formal Theorem in Church's Theory of Types
Some Remarks on Initial Segments in Models of Peano Arithmetic
The Contributions of Alfred Tarski to General Algebra
Conservation theorems on Semi-Classical Arithmetic
The Number of Countable Models
Self-Reference with Negative Types
Conservative Extensions of Models of Set Theory and Generalizations
Unsound Inferences Make Proofs Shorter
On a Question of G. E. Sacks
On Characterizing Spector Classes
Classification Theory for Accessible Categories
Splitting Number at Uncountable Cardinals
Reduced Products of Metric Structures: a Metric Feferman-Vaught Theorem
Von Mises' Definition of Random Sequences Reconsidered
Automorphism Groups of Countable Arithmetically saturated Models of Peano Arithmetic
Some Stable Non-Elementary Classes of Modules
Fluted Formulas and the Limits of Decidability
Embeddability and the Word Problem
Multiplication Complexe et Équivalence Élémentaire Dans Le Langage des Corps
The Word Problem for Free Fields
A Note on S5
On The Confinality of Ultrapowers
A Complete L omega 1omega -Sentence Characterizing N 1
Indecomposable Ultrafilters Over Small Large Cardinals
The Group Configuration Theorem for Generically stable Types
Erdos-Rado without choice
Cores over Ramsey Structures
Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types
Closure and Quine's *101
Thirteenth Meeting of the Association for Symbolic Logic
Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus
Infinite Subscripts from Infinite Exponents
Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras
Hybrid Logics: Characterization, Interpolation and Complexity
Constructive Validity is Nonarithmetic
On Downey's conjecture
Stable Canonical Rules
On Systems Containing Aristotle's Thesis
Vaught's Conjecture for Almost chainable Theories
Remarks on Some Theorems of Keisler
Note on a Problem of Paul Bernays
Did Tarski Commit "Tarski's Fallacy"?
Consistency of Suslin's Hypothesis, a Nonspecial Aronszajn Tree, and GCH
ED-Regressive Sets of Order n
Reduced Coproducts of Compact Hausdorff Spaces
A System of Axiomatic Set Theory-Part VII
Blowing up The Power Set of The Least Measurable
On Intermediate Propositional Logics
Eleventh Meeting of the Association for Symbolic Logic
Algebraic Semantics for Modal Logics I
A Weakly 2-Generic which Bounds a Minimal degree
The Weak Vopenka Principle for Definable Classes of Structures
The Entire NS Ideal on P gamma µ Can Be Precipitous
The complexity of resolution refinements
If There Is an Exactly lambda-free Abelian Group There There Is an Exactly lambda-Separable One in lambda
Analytic Sets Having Incomparable Kleene Degrees
Truth definitions without exponentiation and the Σ₁ collection scheme
Undecidability and Non-Axiomatizability of Modal Many-Valued Logics
Gödel Theorems for Non-Constructive Logics
The non-Axiomatizability of O-Minimality
A Co-analytic Cohen-Indestructible Maximal cofinitary Group
Axiom Systems for First Order Logic with Finitely Many Variables
First-Order Definability in Modal Logic
Believing the Axioms I
Products of 'transitive' modal logics
The Spectrum of Resplendency
On the Number of Nonisomorphic Models of Size |T|
Fractal Dimensions of k -Automatic Sets
Jensen's Principles and the Novak Number of Partially Ordered Sets
Analytic equivalence relations and bi-embeddability
Finite Axiomatizability Using Additional Predicates
Derived Rules of Inference Related to the Continuity of Effective Operations
A co-analytic maximal set of orthogonal measures
Stable embeddedness and NIP
Anneaux p-Adiquement Clos et Anneaux de Fonctions Définissables
Meetings of the Association for Symbolic Logic
"Helping": Several Formalizations
Friedberg numbering in fragments of Peano Arithmetic and α-recursion theory
A Saturation Property of Ideals and Weakly Compact Cardinals
On the definability of radicals in supersimple groups
A random set which only computes strongly jump-traceable c.e. sets
Second-Order Languages and Mathematical Practice
Meeting of the Association for Symbolic Logic: New York 1979
Co-stationarity of the ground model
Necessary use of Σ¹₁ induction in a reversal
Meeting of the Association for Symbolic Logic Washington, D.C., 1975
Vaught's Theorem Recursively Revisited
Games Played on Boolean Algebras
Deux Ou Trois Choses Que je Sais de L n
Arithmetical Interpretations of Dynamic Logic
On The Commutativity of Jumps
Borel reducibility and Hölder(α) embeddability between Banach spaces
Ramsey's Theorem and Recursion Theory
A Polarized Partition Relation Using Elementary Substructures
A strong polarized relation
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability
Getting more colors II
Nonexistence of minimal pairs for generic computability
Non Sigma n Axiomatizable Almost Strongly Minimal Theories
A Survey of Partial Degrees
The Degrees of Hyperhyperimmune Sets
Zfc Proves that the class of Ordinals is not Weakly Compact for Definable Classes
Model Companions of Theories with An Automorphism
Proof-Theoretic strengths of Weak Theories for positive Inductive Definitions
Almost theorems of Hyperarithmetic Analysis
Separating diagonal stationary Reflection Principles
Forbidden intervals
Decidability for some justification logics with negative introspection
A New Approach to Semantics-Part I
Homogeneity and Fix-Points: Going Forth!
The omega-Consistency of Number Theory Via Herbrand's Theorem
A Construction for Recursive Linear Orderings
Combinatorial principles weaker than Ramsey's Theorem for pairs
Lovely pairs of models: the non first order case
Axiomatizability by a Schema
A Completeness Theorem for Higher Order Logics
Classifying Borel automorphisms
A Note on Existential Instantiation
Modal Functions in Two-Valued Logic
The Free Pseudospace is n -ample, but not ( n + 1)-ample
Isomorphisms Between HEO and HROE, ECF and ICFE
The Decision Problem for Branching Time Logic
Mass Problems and initial Segment Complexity
Weak Strong Partition Cardinals
Construction of saturated quasi-minimal structure
Marginalia on a Theorem of Woodin
Undecidable Properties of Finite Sets of Equations
Autonomous progression and transfinite iteration of self-applicable truth
Fifteenth Meeting of the Association for Symbolic Logic
There Exist Two Regressive Sets Whose Intersection is Not Regressive
Positive Deissler Rank and the Complexity of Injective Modules
High Dimensional Ellentuck Spaces and initial Chains in the Tukey Structure of non-P-Points
Uniform model-completeness for the real field expanded by power functions
An Abstract Form of the Church-Rosser Theorem. I
Functions which Remain Partial Recursive Under all Similarity Transformations
DESCRIPTIONS AND CARDINALS BELOW $\delta _5^1$
Independent Godel Sentences and Independent Sets
Dimension and Measure in pseudofinite H -Structures
Logical Paradoxes for Many-Valued Systems
Coherent Extension of Partial automorphisms, Free Amalgamation and automorphism Groups
Canonical Partition Relations
Solution to the P-W Problem
Partial Degrees and the Density Problem. Part 2: The Enumeration Degrees of the sigma 2 Sets are Dense
The Recursive Irrationality of |pi
On the Interpolation Theorem for the Logic of Constant Domains
Two Consistency Results on Set Mappings
Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic
Glivenko and Kuroda for Simple Type Theory
Heights of Models of ZFC and The Existence of End Elementary Extensions II
Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations"
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences
An Application of Nonstandard Analysis to Game Theory
On the Strength of König's Duality Theorem for Countable Bipartite Graphs
omega * 1 as an Initial Segment of the c-Degrees
Twenty-Fifth Annual Meeting of the Association for Symbolic Logic
First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo
Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory
A Lift of a Theorem of Friedberg: A Banach-Mazur Functional that Coincides with No alpha-Recursive Functional on the Class of alpha-Recursive Functions
A Generalization of Specker's Theorem on Typical Ambiguity
Determinacy in strong cardinal models
Definability of Models by Means of Existential Formulas without Identity
Meager Sets on the Hyperfinite Time Line
A computable Alef 0 -categorical structure whose theory computes true arithmetic
The Consistency of ZFC + 2 aleph 0 > aleph omega + F(aleph 2 ) = F(aleph omega )
Ideographic Computation in the Propositional Calculus
Wellordering Proofs for Metapredicative Mahlo
A Hierarchy of Filters On Regular Uncountable Cardinals
Strict-pi 1 1 Predicates on Countable and Cofinality omega Transitive Sets
Elimination of Extra-Logical Postulates
On quasiminimal excellent classes
Power-Like Models of Set Theory
Cylindric-Relativised Set Algebras have Strong Amalgamation
On the Structure of Semialgebraic Sets Over p-Adic Fields
A Minimal Pair of pi 0 1 Classes
Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility
The Kim-Pillay Theorem for Abstract Elementary Categories
A Finite Family Weak Square Principle
On Measures on Complete Boolean Algebras
Co-Critical Points of Elementary Embeddings
The Identity of Individuals in a Strict Functional Calculus of Second Order
Relational and Partial Variable Sets and Basic Predicate Logic
Orthogonal Familes of Real Sequences
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails
Generic stability and stability
Core Models with More Woodin Cardinals
Requirement Systems
A Model With No Magic Set
A Problem in the Theory of Constructive Order Types
Hilbert's Program Sixty Years Later
Weak Presentation of Computable Fields
Belief Contraction in the Context for the General Theory of Rational Choice
Small Decidable Sheaves
Finite Injury and sum-1-Induction
A Game Characterizing Baire class 1 Functions
Proof Theory in the USSR 1925-1969
Characterizing existence of a Measurable cardinal via Modal Logic
On the complexity of Gödel's proof predicate
The Decidability of Dependency in Intuitionistic Propositional Logic
A Transfer Theorem for Henselian Valued and Ordered Fields
pi 1 1 Sets, omega-Sets, and Metacompleteness
Finite Automata, Real Time Processes and Counting Problems in Bounded Arithmetics
Turing degree spectra of differentially Closed Fields
A Large Power Set Axiom
Alternative Proof of a Theorem of Kleene
Non-well-foundedness of well-orderable power sets
Decidability and Finite Axiomatizability of Theories of 0 -Categorical Partially Ordered Sets
The Cofinality Spectrum of the Infinite Symmetric Group
On the existence of Large Antichains for Definable quasi-Orders
Effectively Nowhere Simple Sets
Limit Ultrapowers and Abstract Logics
A Special Class of Almost Disjoint Families
Reducts of the Random Graph
On the Solvability of a Subclass of the Suranyi Reduction Class
Maximality of Logic without Identity
Transfinite Recursive Progressions of Axiomatic Theories
The Pure Calculus of Entailment
An Inside View of EXP; or, The Closed Fragment of the Provability Logic of I Delta 0 +Omega 1 with a Propositional Constant for EXP
The Meta-R.E. Sets, but Not the pi 1 1 Sets, Can Be Enumerated Without Repetition
Splitting definably compact groups in o-minimal structures
Théeories Compléetes de Paires de Corps Valuées Henseliens
Set forcing and Strong Condensation for H ( ω 2 )
Imbedding of the Quantum Logic in the Modal System of Brower
Measurable chromatic numbers
Hechler's Theorem for tall analytic P-ideals
On Relations as Coextensive with Classes
Degrees of Categoricity on a cone via η-Systems
Rich Co-ordinals, Addition Isomorphisms, and Rets
Syntactical and Semantical Properties of Simple Type Theory
Maximal irredundance and maximal ideal independence in Boolean algebras
Maximal R.E. Equivalence Relations
The discontinuity Problem
A note on Nsop1 in One variable
On the Embedding of alpha-Recursive Presentable Lattices into the alpha-Recursive Degrees Below 0'
On Universals
Automorphism Groups of Randomized Structures
A Solution to the Completeness Problem for Weakly Aggregative Modal Logic
Intrinsic bounds on complexity and definability at limit levels
Finite Support Iteration and Strong Measure Zero Sets
Modules with Few Types over A Hereditary Noetherian Prime Ring
Cylindric Algebra with Terms
Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems
A characterization of the Delta 0 2 hyperhyperimmune sets
The False Assumption Underlying Berry's Paradox
Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n))
Constructibility as a Criterion for Existence
Safe Recursive Set Functions
An AD-Like Model
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory
The Model Theory of Finitely Generated Finite-by-Abelian Groups
On C(n)-Extendible Cardinals
Definability of R. E. Sets in a Class of Recursion Theoretic Structures
d-computable categoricity for algebraic fields
More on Definable Sets of p-Adic Numbers
An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model
Foundations of Mathematics for the Working Mathematician
A simplification of combinatory Logic
Hypermachines
On Scott and Karp Trees of Uncountable Models
Perfect Subsets of generalized Baire Spaces and Long Games
Some Interesting Connections Between The Slow Growing Hierarchy and The Ackermann Function
A Problem of Rosser and Turquette
Core Models
Type Two Cuts, Bad Cuts and Very Bad Cuts
Interpretability Logics and generalised Veltman Semantics
Amalgamable Diagram Shapes
On the Logic of Incomplete Answers
A Note on Subgroups of the Automorphism Group of a Saturated Model, and Regular Types
Freeness in Classes Without Equality
A New Inner Model for ZFC
On Tao's "finitary" infinite pigeonhole principle
The Decidability of Normal K5 Logics
The System LD
The Logic of First Order Intuitionistic Type Theory with Weak Sigma-Elimination
Can the Logic of Indirect Discourse be Formalised?
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening
Combinatory Logic with Discriminators
A New Approach to Semantics-Part II
On Tarski on Models
Uncountable dense categoricity in cats
On finite approximations of topological algebraic systems
Definability of Derivations in the Reducts of differentially closed Fields
Infinitary Logic and Admissible Sets
Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields
Arithmetic on semigroups
Embedding jump upper semilattices into the Turing degrees
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman
Generalized Amalgamation and homogeneity
Sone of George and V = L
There Are Reasonably Nice Logics
Determinateness and the Separation Property
The Word Problem for Free Fields: A Correction and an Addendum
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis
Orbits of Hyperhypersimple Sets and the Lattice of Sigma 0 3 Sets
Well-Behaved Modal Logics
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic
Theories with Finitely Many Models
Distal and non-distal Pairs
An almost-universal cupping degree
Vanishing Borel Sets
Coding with Ladders A Well Ordering of The Reals
Ordering MAD families a la Katetov
Products of some special compact spaces and restricted forms of AC
Arithmetic with Creative Definitions by Induction
Fragments of Approximate Counting
Winning the pressing down game but not Banach-Mazur
Glimm-Effros for coanalytic equivalence relations
Prototypes for Definable Subsets of Algebraically Closed Value Fields
Quasi-O-Minimal Structures
Topological differential fields and dimension functions
Preserving sigma-Ideals
Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae
Paradox of the Class of All Grounded Classes
An Extension of the Nondiamond Theorem in Classical and alpha-Recursion Theory
Interpretations of Sets of Conditions
Degrees of Unsolvability of Constructible Sets of Integers
STABLE ORDERED UNION ULTRAFILTERS AND cov $\left( \mathcal{M} \right) < \mathfrak{c}$
The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems
Existential ∅-Definability of Henselian Valuation Rings
Implicational Relevance Logic is 2-EXPTIME-Complete
Conditions Affecting the Application of Symbolic Logic
A Metric Version of Schlichting's Theorem
Elementary Axioms for Canonical Points of Toposes
Missionary Mathematics
The Modal Logics of Kripke-Feferman Truth
Recursively Saturated Nonstandard Models of Arithmetic; Addendum
Some Results on Higher Suslin Trees
Finitude Simple et Structures O-Minimales (Finiteness Property Implies O-Minimality)
A Note on Modal Formulae and Relational Properties
The Classification of Small Weakly Minimal Sets II
Representability in Second-Order Propositional Poly-Modal Logic
Complete Logics for Elementary Team Properties
The Model Theory of Chain-Closed Fields
An Axiomatization of the Logic with the Rough Quantifier
The Largest Countable Inductive Set is A Mouse Set
Meeting of the Association for Symbolic Logic Seattle 1973
Amalgamations Preserving aleph 0 -Categoricity
Categoricity in quasiminimal Pregeometry Classes
The Ordertype of beta-R.E. sets
The Baire Closure and its Logic
Corrigendum to "A Schanuel Condition for Weierstrass Equations"
On an algebra of lattice-valued logic
O-Minimalism
The Universal Complementation Property
A Result Concerning Cardinalities of Ultraproducts
The Dimension of the Negation of Transitive Closure
Hybrid Partial Type Theory
The determined Property of Baire in Reverse Math
The model completion of the theory of modules over finitely generated commutative algebras
The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets
A Guide to "Coding the Universe" by Beller, Jensen, Welch
Uniform distribution and algorithmic randomness
Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication
On the Notion of Algebraic Closedness for Noncommutative Groups and Fields
Twenty-First Annual Meeting of the Association for Symbolic Logic
Principles weaker than BD-N
Generalized Quantification as Substructural Logic
Cardinal Functions on Ultraproducts of Boolean Algebras
Implicational F-Structures and Implicational Relevance Logics
Epsilon substitution method for Π 0 2 -FIX
The Formalization of Mathematics
Normal forms for elementary patterns
Closed Sets and Chain Conditions in Stable Theories
The L omega1, omega1 -Theory of Hilbert Spaces
A Theorem on Hyperhypersimple Sets
Connecting many-sorted theories
A Direct Proof of the Finite Developments Theorem
On Modal Logics Between K x K x K and S5 x S5 x S5
Flat algebras and the translation of universal Horn logic to equational logic
Hyper-Regular Lattice-Ordered Groups
Typical Ambiguity and the Axiom of Choice
On the existence of Stone-Cech compactification
On Natural Deduction
Prime and Atomic Models
Ikp and Friends
Hierarchies of forcing axioms II
On Generalized Quantifiers in Arithmetic
A Lambda Proof of The P-W Theorem
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Pi 0 2 -operators
European Summer Meeting of the Association for Symbolic Logic
A Modal View of Linear Logic
Note on Truth-Tables
On Constraints and dividing in Ternary homogeneous Structures
A proof-technique in uniform space theory
An Extension of Ackermann's Set Theory
Relative Consistency of an Extension of Ackermann's Set Theory