yusuke1997/dblp-id-title huggingface dataset:
Boolean Algebras and Distributive Lattices Treated Constructively
Bisimulations and bisimulation games between Verbrugge models
If vector spaces are projective modules then multiple choice holds
Contents: (Math. Log. Quart. 1/2021)
Enumerationen in Speziellen Standardklassen Rekursiv-Aufzählbarer Mengen
A Note on Hardy's Persistent Numbers
The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier
A topology for galois types in abstract elementary classes
ℵ0-categorical Banach spaces contain ℓ p or c0
Cofinal Indiscernibles and some Applications to New Foundations
The Complexity of Some Combinatorial Constructions
S-Storage Operators
Zur Raumkompliziertheit mehrdimensionaler Turing-Automaten
Double Enlargements of Topological Spaces
Entscheidbarkeit der Theorie der Linearen Ordnung in L
Fuzzy Recursion, RET's, and Isols
A Note on the Theorems of Church-Turing and Trachtenbrot
Intuitionistic propositional probability logic
Countable Admissible Ordinals and Dilators
Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
Semicomplemented Lattices and the Finite Model Property
Analyzing Gödel's T Via Expanded Head Reduction Trees
Varieties of Demi-Pseudocomplemented Lattices
Continuous fuzzy Horn logic
Embedding Boolean Structures into Atomic Boolean Structures
The Boolean (k, m, p 1 , ..., p m )-Shift-Registers I
Degree spectra and immunity properties
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic
First-Order Formulas in Conjunctive Quantificational Form
Arithmetische Operatoren
Polynomial Time Uniform Word Problems
Small Grzegorczyk classes and limited minimum
Automorphism invariant measures and weakly generic automorphisms
The Computational Complexity of Choice Sets
Large Cardinals and Ramifiability for Directed Sets
Grothendieck Topology as Geometric Modality
An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory
Dense subtrees in complete Boolean algebras
Hierarchies of ineffabilities
On the Boolean algebras of definable sets in weakly o-minimal theories
Compatibility of a Categorial Grammar With an Associated Category System
Definable topological dynamics for trigonalizable algebraic groups over Q p
Euler characteristic of imaginaries in o-minimal structures
Existentially closed ordered difference fields and rings
On ( ELEMENT OF , ELEMENT OF OR q)-fuzzy filters of R 0 -algebras
Some Theorems on the Lattice of Local Interpretability Types
No Abelian Semigroup Operation is Complete
Sequential real number computation and recursive relations
On a strengthening of Jónssonness for א ω
A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic
A preservation theorem for theories without the tree property of the first kind
Sequence encoding without induction
The Axiom of Choice in Quantum Theory
Products of 3 or 4 Ordinals
A Note on Generic Ultrafilters
An Equivalence-Theoretic Equivalent of the Axiom of Choice
The Vectorized Grzegorczyk Hierarchy
Prototype Proofs in Type Theory
The isomorphism theorem for linear fragments of continuous logic
Uncountable Homogeneous Partial Orders
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
Non-standard analysis in ACA 0 and Riemann mapping theorem
Intuitionistic Fixed Point Theories for Strictly Positive Operators
Worms, gaps, and hydras
A New Realizability Notion for Intuitionistic Analysis
Expansions of real closed fields with the Banach fixed point property
Machines Over the Reals and Non Uniformity
A Note on Applications of the Löwenheim-Skolem-Theorem in General Topology
Subtlety and partition relations
Phase transition thresholds for some Friedman-style independence results
Boolean Valued Dedekind Domains
Notes on Craig interpolation for LJ with strong negation
Level by level equivalence and strong compactness
A Note on Relative Efficiency of Axiom Systems
The torsion-free part of the Ziegler spectrum of orders over Dedekind domains
Representation of One-One Degrees by n -Cylindrical Decision Problems
Non-well-founded extensions of V
A Note on the Interpolation Theorem in First Order Logic
Properties of Tense Logics
Weak Logics with Strict Implication
Categoricity and universal classes
Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
The Logic of Contradiction
Limit models in metric abstract elementary classes: the categorical case
Brouwer and Souslin on Transfinite Cardinals
Definable topological dynamics and real Lie groups
On a Method of Axiomatization of Some Propositional Calculi
The small-is-very-small principle
On the Consistency of a Positive Theory
Groupwise density cannot be much bigger than the unbounded number
The equality S1 = D = R
Stetigkeitseigenschaften Berechenbarer Reeller Funktionen
On weakly circularly minimal groups
Open Subspaces of Locally Compact Metric Spaces
Formalisations With Non-Standard Degrees of Completeness
Forcing with adequate sets of models as side conditions
A probabilistic extension of intuitionistic logic
An omniscience principle, the König Lemma and the Hahn-Banach theorem
The completeness of monotonic modal logics
Intuitionistic Free Abelian Groups
A syntactic characterization of Kleene's strong connectives with two designated values
A Note on Effective Ultrapowers: Uniform Failure of Bounded Collection
Effective Structures
Spectra and satisfiability for logics with successor and a unary function
Elementary constructive theory of Henselian local rings
Measurable groups of low dimension
Brouwer's fan theorem and unique existence in constructive analysis
An Isomorphism Type of Arithmetically Productive Sets
Entscheidbarkeit Der Theorie Der Linearen Ordnung In L
Properly Sigma 2 minimal degrees and 0'' complementation
Computability of Self-Similar Sets
Existentially Complete Nerode Semirings
A Decision Method for the Universal Theorems of Quine's New Foundations
On the proof theory of type two functionals based on primitive recursive operations
The Fraenkel-Carnap question for Dedekind algebras
Lattice embeddings and array noncomputable degrees
On the Mathematical Content of the Theory of Classes KM
A Possible Modal Formulation of Comprehension Scheme
Minimizing the Size of Vertexlights in Simple Polygons
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II
Bounded dagger principles
Two cardinal models for singular µ
Bounded BCK-algebras and their generated variety
Relation Minimale Pour Son Ǎge
A consistency proof for some restrictions of Tait's reflection principles
A Note on Conservativity Relations among Bounded Arithmetic Theories
On definability of types and relative stability
Second-order and Inductive Definability on Finite Structures
The polynomial and linear time hierarchies in V 0
A note on the existence property for intuitionistic logic with function symbols
The Complexity of Defining a Relation on a Finite Graph
The gap-two cardinal problem for uncountable languages
A theorem on cocongruence of rings
De Morgan Heyting algebras satisfying the identity x n (′*) ≈ x ( n +1)(′*)
Some Ramsey Theory in Boolean Algebra for Complexity Classes
Bounds in the Turing Reducibility of Functions
L(aa)-Elementary Types of Well-Orderings
Domino f -Sets
On Schauder equivalence relations
Definability degrees
Contributions to the theory of semisets V: On the axiom of general collapse
On A Problem Concerning Parameter Free Induction
On local non-compactness in recursive mathematics
Bounded Induction and Satisfaction Classes
Quasi-complements of the cappable degrees
CO-Simple Higher-Order Indecomposable Isols
Parameter-Free Universal Induction
Paracompactness of Metric Spaces and the Axiom of Multiple Choice
Dual-Context Sequent Calculus and Strict Implication
Satisfaction Classes and Combinatorial Sentences Independent From PA
A New General Approach to the Theory of the Many-One Equivalence of Decision Problems for Algorithmic Systems
A note on simple graphic algebras
Radical of filters in BL -algebras
Some Remarks on Dodgson's Voting Rule
Some More Minimal Pairs of α-Recursively Enumerable Degrees
Souslin trees at successors of regular cardinals
Homogeneous Forms in Two Ordinal Variables
Polish circles
On Vapnik-Chervonenkis density over indiscernible sequences
When does every definable nonempty set have a definable element?
Higher Type Categories
Partial Isomorphism Extension Method and a Represntation Theorem for Post-Language
A generalization of the Keisler-Morley theorem to recursively saturated ordered structures
Lambda-Algebras and C -Monoids
p-ℵ 0 -Categorical Lattice-Ordered Structures
Algebraic semantics for the (↔, ¬)-fragment of IPC and its properties
Some Continuity Properties for Ultraproducts
Prefinitely Axiomatizable Modal and Intermediate Logics
Über ein mit der Bar-Induktion Verwandtes Schema
The Semantical Characterization of de Dicto in Continuous Modal Model Theory
An alternative Gentzenisation of RW+∘
Alternative Axioms for Peirce's Triadic Logic
Lukasiewicz and Symmetrical Heyting Algebras
Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I
Correction to "Note on Quantifier Prefixes Over Diophantine Equations"
Etude D'Un Forcing en Théorie des Modèles
On Automorphisms of Resplendent Models of Arithmetic
On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory
Exact Expressions for Some Randomness Tests
Implikative BCK-Algebren
Weak-quasi-Stone algebras
Hyper-Archimedean BL-algebras are MV-algebras
Reconstructible and Half-Reconstructible Tournaments: Application to Their Groups of Hemimorphisms
Borel on the Questions Versus Borel on the Answers
Asymmetric Interpretations for Bounded Theories
The First Recursion Theorem for Iterative Combinatory Spaces
A remark on pseudo proof systems and hard instances of the satisfiability problem
An Infinitary Graded Modal Logic (Graded Modalities VI)
Complete L ω 1 , ω -sentences with maximal models in multiple cardinalities
Complete, Recursively Enumerable Relations in Arithmetic
Orderings in Exponential Fields of Term Defined Functions
Scales with various kinds of good points
Interstitial and pseudo gaps in models of Peano Arithmetic
Extensions Respectueuses de Chaines
Church-Rosser Property for Some Extensions of λβ-Reducibility Relation
On Different Concepts of Resolution
Contribution to the theory of semisets VI: (Non-existence of the class of all absolute natural numbers)
There is no safe pairing function over an arbitrary structure
Weak completeness and Abelian semigroups
On End-Extensions of Models of ¬exp
More about divisibility in β N
The evolution of risk attitudes with fertility thresholds
Strategy-proofness and essentially single-valued cores revisited
Bargaining in small dynamic markets
Learning from a black box
Risk aversion and optimal reserve prices in first- and second-price auctions
On the foundations of competitive search equilibrium with and without market makers
Goals and bracketing under mental accounting
Limited attention and status quo bias
When is the lowest equilibrium payoff in a repeated game equal to the minmax payoff?
Herding with costly information
Rational inattention in the frequency domain
The network origins of the gains from trade
Dynamic mechanism design with hidden income and hidden actions
Inertia in social learning from a summary statistic
How to make ambiguous strategies
Corrigendum to "Multilateral matching" [J. Econ. Theory 156 (2015) 175-206]
On equilibrium prices in continuous time
Redistributive effects of minimal equal sacrifice taxation
Information aggregation with runoff voting
Internet auctions with many traders
Inefficient stage Nash is not stable
Stochastic differential utility as the continuous-time limit of recursive utility
Ambiguity and robust statistics
Power brokers: Middlemen in legislative bargaining
Two-sided matching with interdependent values
On the Economic Meaning of Machina's Fréchet Differentiability Assumption
Bidding for the Surplus : A Non-cooperative Approach to the Shapley Value
Welfare egalitarianism in non-rival environments
Robustness of public equilibria in repeated games with private monitoring
When mandatory disclosure hurts: Expert advice and conflicting interests
Constrained efficiency with adverse selection and directed search
Value computation and modulation: A neuroeconomic theory of self-control as constrained optimization
Observable restrictions of general equilibrium models with financial markets
Market versus optimum allocation in open economies
Optimal debt contracts and product market competition with exit and entry
Objective and subjective foundations for multiple priors
Endogenous liquidity and volatility
Pricing long-lived securities in dynamic endowment economies
Cardinal Bayesian allocation mechanisms without transfers
Asset bubbles and inflation as competing monetary phenomena
A general theory of risk apportionment
Parametric weighting functions
Softening competition through forward trading
Trees and extensive forms
Credible sets
The screening role of market tightness in a competitive search equilibrium with adverse selection
A perfectly robust approach to multiperiod matching problems
"Almost" subsidy-free spatial pricing in a multi-dimensional setting
Stability of Functional Rational Expectations Equilibria
Optimal selling mechanisms with buyer price search
Networks in labor markets: Wage and employment dynamics and inequality
Universal social welfare orderings and risk
Liquidity and asset prices in a monetary model with OTC asset markets
Contagion of self-fulfilling financial crises due to diversification of investment portfolios
Learning in games with unstable equilibria
Robust perfect equilibrium in large games
Learning over the business cycle: Policy implications
Simple preference intensity comparisons
Allocating positions fairly: Auctions and Shapley value
Endogenous discounting, wariness, and efficient capital taxation
Robert W. Rosenthal
An evolutionary theory of monogamy
Debt enforcement and the value of money
Structural unemployment, underemployment, and secular stagnation
The strategy-proof provision of public goods under congestion and crowding preferences
Optimal selling mechanisms under moment conditions
Optimal epidemic control in equilibrium with imperfect testing and enforcement
Increasing returns and unsynchronized wage adjustment in sunspot models of the business cycle
Market-making with search and information frictions
Equilibrium using credit or money with indivisible goods
On the space of players in idealized limit games
Trade and revelation of information
Competition among auctioneers in large markets
Atomic Cournotian traders may be Walrasian
Reference dependent ambiguity
Mixed bundling auctions
Infinitely repeated games with public monitoring and monetary transfers
The Condorcet Jur(ies) Theorem
Renegotiating Moral Hazard Contracts under Limited Liability and Monotonicity
Joint production in teams
Efficient mechanisms with information acquisition
Collusion as public monitoring becomes noisy: Experimental evidence
The demand for information: More heat than light
The Perils of Taylor Rules
A folk theorem for competing mechanisms
The cyclical behavior of the Beveridge Curve in the housing market
Micro and macro elasticities in a life cycle model with taxes
Incompatibility of Usual Conditions for Equilibrium Existence in Continuum Economies without Ordered Preferences
Money and price posting under private information
Analogies, Adaptation, and Anomalies
Match length realization and cooperation in indefinitely repeated games
Widening access in university admissions
The spatial evolution of economic activities and the emergence of cities
The perils of friendly oversight
Institutions and growth in limited access societies
Organizing growth
Innovation and international trade in technology
Recursive utility and optimal growth with bounded or unbounded returns
Asymptotically optimal prior-free clock auctions
A note on small income effects
Credit attribution and collaborative work
Ordering ambiguous acts
A model of the gold standard
Dutch vs. first-price auctions with expectations-based loss-averse bidders
Correlation-robust auction design
Spontaneous discrimination with endogenous information disclosure
Asymmetric budget constraints in a first-price auction
Government guarantees and financial stability
Comment on "Modeling non-monotone risk aversion using SAHARA utility functions" [J. Econ. Theory 146 (2011) 2075-2092]
Targeted search in matching markets
Pairwise trade and coexistence of money and higher-return assets
Marital preferences and stable matching in cultural evolution
Bounded rationality is rare
Cheating and compensation in price-fixing cartels
Testing the sender: When signaling is not enough
Robustly optimal monetary policy in a new Keynesian model with housing
Imperfect competition with complements and substitutes
Branching bandits: a sequential search process with correlated pay-offs
Monopoly pricing with optimal information
Reshaping the schooling system: The role of immigration
Corrigendum to "Simple preference intensity comparisons" [J. Econ. Theory 192 (2021) 105199]
A revealed preference approach to approximate utility maximisation
Expert advice to a voting body
A constructive proof of the ordinal efficiency welfare theorem
Viscous demand
Preference for Flexibility and Dynamic Consistency
Justifying social discounting: The rank-discounted utilitarian approach
Actions and signals
The Optimal Mechanism for Selling to a Budget-Constrained Buyer
Trend-reverting fluctuations in the life-cycle model
Hope springs eternal: learning and the stability of cooperation in short horizon repeated games
Social norms in networks
Fairness and efficiency for allocations with participation constraints
Strategic real options
Secular stagnation: Theory and remedies
Monotone equilibria in Bayesian games of strategic complementarities
Coasian dynamics and endogenous learning
Increases in risk aversion and the distribution of portfolio payoffs
An axiomatic theory of political representation
Corrigendum to "Time consistency and time invariance in collective intertemporal choice" [J. Econ. Theory 176 (2018) 158-169]
Stable matching mechanisms are not obviously strategy-proof
The winner's curse: Conditional reasoning and belief formation
Insider trading with penalties in continuous time
Measuring discrimination using principles of stochastic dominance
Aggregate Substitution Effects Implying Global Stability
The role of independence in the Green-Lin Diamond-Dybvig model
Intrinsic correlation in games
Intertemporal equilibria with Knightian uncertainty
Correlation concern
On efficiency of the English auction
Noise-independent selection in multidimensional global games
A complete characterization of Pareto optimality for general OLG economies
Power fluctuations and political economy
Corrigendum to Gerasimou (2021) and comment on Banerjee (2022)
A general equilibrium model of statistical discrimination
Symmetric play in repeated allocation games
Induced uncertainty, market price of risk, and the dynamics of consumption and wealth
Correlation and common priors in games with incomplete information
Limits of Exact Equilibria for Capacity Constrained Sellers with Costly Search
Maximal manipulation of envy-free solutions in economies with indivisible goods and money
Stable near-rational sunspot equilibria
Introduction to a General Equilibrium Approach to Economic Growth
Arbitrage with financial constraints and market power
An efficient solution to the informed principal problem
Bayesian social aggregation with accumulating evidence
Reserve price signaling
Ordients: Optimization and comparative statics without utility functions
A more general Pandora rule?
Individually rational, budget-balanced mechanisms and allocation of surplus
Rational behavior under correlated uncertainty
Rational asset pricing bubbles and portfolio constraints
Strategyproof social choice when preferences and outcomes may contain ties
Consistency of the doctor-optimal equilibrium price vector in job-matching markets
Auctions with uncertain numbers of bidders
Bargaining and efficiency in networks
Implementation in undominated strategies with applications to auction design, public good provision and matching
A Suggested Interpretation of Some Experimental Results on Preplay Communication
Social orderings for the assignment of indivisible objects
Portfolio choice, attention allocation, and price comovement
Informational separability and entropy
Information transmission in coalitional voting games
The envelope theorem, Euler and Bellman equations, without differentiability
Robust consumption and portfolio policies when asset prices can jump
Identification in the random utility model
Implementation via approval mechanisms
Incomplete Markets, Allocative Efficiency, and the Information Revealed by Prices
Stochastic choice and rational inattention
Belief hedges: Measuring ambiguity for all events and all models
Evolutionary implementation in a public goods game
Cheap talk in games with incomplete information
Efficient propagation of shocks and the optimal return on money
Uniqueness of an Equilibrium in Infinite-Horizon Economies Subject to Taxes and Externalities
Dynamic consistency in games without expected utility
Financial fragility and over-the-counter markets
Belief-weighted Nash aggregation of Savage preferences
Decision Rules with Bounded Memory
Certainty Independence and the Separation of Utility and Beliefs
Voluntary formation of communities for the provision of public projects
Monetary policy rules in a non-rational world: A macroeconomic experiment
Choice theory when agents can randomize
Aggregate risk and the Pareto principle
Mediation, arbitration and negotiation
Stable matchings and preferences of couples
Reciprocal contracting
Discrete/continuous choice models and representative consumer theory
The effects of rivalry on scientific progress under public vs private learning
Interdependent preference models as a theory of intentions
Dynamic signaling and market breakdown
Disclosure in epidemics
Efficient assignment with interdependent values
Ambiguous information and dilation: An experiment
Stationary equilibria in stochastic games: structure, selection, and computation
Directed search with multi-vacancy firms
A note on Peters and Severinov, "Competition among sellers who offer auctions instead of prices"
A three state model of worker flows in general equilibrium
An existence result for discontinuous games
Matching markets with adverse selection
Wealth inequality, preference heterogeneity and macroeconomic volatility in two-sector economies
Existence of adaptively stable sunspot equilibria near an indeterminate steady state
Exploitation and time
Fictitious play in 2×n games
An ascending auction with multi-dimensional signals
Redistribution by means of lotteries
Democratic public good provision
A constructive study of Markov equilibria in stochastic games with strategic complementarities
Smoothing sudden stops
An informational rationale for action over disclosure
Supply function equilibria: Step functions and continuous representations
An inequality measure for stochastic allocations
Performance pay, trade and inequality
A theory of (relative) discounting
Bargaining in a non-stationary environment
The anatomy of sentiment-driven fluctuations
The Shill Bidding Effect versus the Linkage Principle
Incentives in the probabilistic serial mechanism
Time-consistent equilibria in dynamic models with recursive payoffs and behavioral discounting
Life insurance and life settlement markets with overconfident policyholders
Linear and non-linear price decentralization
The possibility of informationally efficient markets
An experimental study of estimation and bidding in common-value auctions with public information
On the Indices of Zeros of Nash Fields
Alliances and negotiations
Trade and Indeterminacy in a Dynamic General Equilibrium Model
Resource egalitarianism with a dash of efficiency
Imperfect monitoring in communication networks
Financial market structures revealed by pricing rules: Efficient complete markets are prevalent
Maxmin Expected Utility over Savage Acts with a Set of Priors